Here are
163 public repositories
matching this topic...
Updated
Oct 20, 2019
Haskell
A list of computer-science readings I recommend
📚 Functions and algorithms implemented purely with TypeScript's type system
Updated
Aug 27, 2020
TypeScript
(Please don’t repost, this is still a WIP) A friendly little systems language with first-class types and unboxed data.
Updated
Aug 26, 2020
Rust
🔥 Fire up your API with this flamethrower
Updated
May 15, 2020
Python
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
BackboneJS compatibility layer for Type-R data framework.
Updated
Apr 29, 2020
HTML
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Updated
Aug 27, 2020
Rust
Additional types and types adjusted utilities for TypeScript
Updated
Jul 21, 2020
TypeScript
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Updated
Jun 22, 2019
Rust
Platform for collaboration and knowledge management
Updated
Aug 28, 2020
Java
Swift type checking and semantic analysis for developer tools
Updated
Jul 3, 2020
Swift
A toy language based on LLVM that implements the System Fω type-system
Updated
Oct 8, 2019
OCaml
[WIP] A type system for nix
Updated
Jul 11, 2019
OCaml
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Updated
Mar 9, 2018
JavaScript
tiny, yet Moo(se)-compatible type constraint
Updated
Aug 28, 2020
Perl
A macro for defining type operators in Rust.
Updated
Mar 16, 2017
Rust
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Updated
Jul 27, 2019
Haskell
Specification of the Formality proof and programming language
Updated
Jul 5, 2020
JavaScript
Compositional type checking for Haskell
Updated
Apr 14, 2011
Haskell
Tangent bundle / vector space category and functors
Updated
Aug 27, 2020
Julia
[WIP] A session-typed Erlang
Updated
Aug 24, 2020
OCaml
Updated
Apr 8, 2020
Python
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Updated
Aug 7, 2017
JavaScript
Tensor algebra abstract type interoperability setup
Updated
Aug 28, 2020
Julia
A typed, multilingual, functional language
Updated
Aug 15, 2020
Haskell
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Updated
Dec 21, 2018
OCaml
Improve this page
Add a description, image, and links to the
type-system
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
type-system
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
We have a reasonably good test suite with a lot of unit tests and a few test programs. It's very helpful and I use it all the time. But sadly, there are many cases that are not covered by the test suite. We can make it even more helpful! It'd be wonderful if people wanted to help out with this. It's also a very easy way to help out this project. I'm happy to assist anyone who wants to make a contr