34 results found Sort:
- Filter by Primary Language:
- Rust (6)
- Scala (4)
- TypeScript (3)
- PHP (3)
- Swift (3)
- Haskell (3)
- Python (3)
- Java (2)
- C++ (2)
- OCaml (1)
- F# (1)
- HTML (1)
- Jupyter Notebook (1)
- C# (1)
- +
TypeScript-first schema validation with static type inference
Created
2020-03-07
2,098 commits to main branch, last one 10 days ago
🎨 The exhaustive Pattern Matching library for TypeScript, with smart type inference.
Created
2020-05-24
984 commits to main branch, last one 5 days ago
Awesome autocompletion, static analysis and refactoring library for python
Created
2012-02-19
8,450 commits to master branch, last one 26 days ago
A static analysis tool for finding errors in PHP applications
Created
2016-11-21
14,408 commits to 5.x branch, last one 10 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,942 commits to master branch, last one 15 days 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
582 commits to master branch, last one about a month ago
Strict TypeScript types for Ethereum ABIs
Created
2022-08-03
344 commits to main branch, last one 16 hours ago
🏹 Parse JSON with style
Created
2015-06-07
229 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
581 commits to main branch, last one 8 days ago
Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
Created
2012-02-14
192 commits to master branch, last one 6 months ago
Type System for Data Analysis in Python
Created
2019-12-12
1,069 commits to develop branch, last one 4 months ago
A semantic indexer for Ruby with interprocedual type inference
Created
2013-12-17
474 commits to master branch, last one 5 years 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,747 commits to mlscript branch, last one 2 months ago
Code from the book "Types and Programming Languages" in Scala
Created
2012-02-03
77 commits to master branch, last one 3 years ago
A simple ML-like programming language with subtyping and full type inference.
Created
2020-06-21
70 commits to master branch, last one 20 days ago
Programming is like drinking tea.
Created
2019-10-05
313 commits to master branch, last one 2 months ago
Hypertypes - generic programming for heterogeneous recursive types
Created
2018-11-22
1,221 commits to main branch, last one 3 months ago
Using Large Language Models for Repo-wide Type Prediction
Created
2022-09-02
513 commits to main branch, last one about a year ago
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Created
2018-11-20
421 commits to master branch, last one 2 years 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
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
Swift type checking and semantic analysis for developer tools
Created
2019-04-18
91 commits to main branch, last one 2 years ago
Experimental Python Type Checker and LSP 🔎
Created
2023-02-17
604 commits to main branch, last one 8 days 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 about a year ago
Expressions Evaluator for .NET
Created
2019-02-02
925 commits to master branch, last one about a year 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
A Hindley-Milner polymorphic typing system
Created
2018-02-15
173 commits to main branch, last one about a year ago