31 results found Sort:
- Filter by Primary Language:
- Rust (5)
- Scala (3)
- Swift (3)
- TypeScript (3)
- Python (3)
- Haskell (3)
- PHP (3)
- Java (2)
- C++ (2)
- OCaml (1)
- F# (1)
- HTML (1)
- C# (1)
- +
TypeScript-first schema validation with static type inference
Created
2020-03-07
2,031 commits to main branch, last one 9 hours ago
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Created
2020-05-24
922 commits to main branch, last one 8 days ago
Awesome autocompletion, static analysis and refactoring library for python
Created
2012-02-19
8,419 commits to master branch, last one 7 days ago
A static analysis tool for finding errors in PHP applications
Created
2016-11-21
14,355 commits to 5.x branch, last one 26 days ago
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Created
2015-01-05
299 commits to master branch, last one 7 years ago
A static, type inferred and embeddable language written in Rust.
Created
2015-08-02
3,939 commits to master branch, last one 5 months ago
Extensions giving Swift's Codable API type inference super powers 🦸♂️🦹♀️
Created
2019-04-06
20 commits to master branch, last one 5 years ago
PySonar2: a semantic indexer for Python with interprocedual type inference
Created
2013-10-29
552 commits to master branch, last one 2 years ago
A compiler frontend for the C programming language
Created
2016-11-07
556 commits to master branch, last one about a month ago
Strict TypeScript types for Ethereum ABIs
Created
2022-08-03
295 commits to main branch, last one 3 days ago
🏹 Parse JSON with style
Created
2015-06-07
224 commits to master branch, last one 2 months ago
PHPStan based SQL static analysis and type inference for the database access layer
Created
2021-12-26
517 commits to main branch, last one 22 hours ago
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Created
2012-02-14
191 commits to master branch, last one 18 days ago
Type System for Data Analysis in Python
Created
2019-12-12
1,065 commits to develop branch, last one about a month ago
A semantic indexer for Ruby with interprocedual type inference
Created
2013-12-17
474 commits to master branch, last one 4 years ago
Code from the book "Types and Programming Languages" in Scala
Created
2012-02-03
77 commits to master branch, last one 2 years ago
Programming is like drinking tea.
Created
2019-10-05
272 commits to master branch, last one 3 months ago
A simple ML-like programming language with subtyping and full type inference.
Created
2020-06-21
69 commits to master branch, last one 9 days ago
The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Created
2021-08-13
1,737 commits to mlscript branch, last one 8 days ago
Hypertypes - generic programming for heterogeneous recursive types
Created
2018-11-22
1,217 commits to master branch, last one 10 months ago
Using Large Language Models for Gradual Type Inference
Created
2022-09-02
513 commits to main branch, last one 5 months ago
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Created
2018-11-20
421 commits to master branch, last one about a year ago
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Created
2019-11-25
233 commits to master branch, last one about a year ago
Swift type checking and semantic analysis for developer tools
Created
2019-04-18
91 commits to main branch, last one 2 years ago
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
Created
2022-08-08
82 commits to master branch, last one about a year ago
A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to be simple and fast
Created
2022-07-25
583 commits to master branch, last one 8 months ago
A pure functional type-inferred language based on JavaScript
Created
2016-10-10
95 commits to master branch, last one about a year ago
Expressions Evaluator for .NET
Created
2019-02-02
925 commits to master branch, last one 10 months ago
WIP: Python Type Checker and LSP 🔎
Created
2023-02-17
530 commits to main branch, last one 6 days ago
A general purpose statically-typed concatenative programming language.
Created
2021-07-03
485 commits to master branch, last one about a year ago