Here are
164 public repositories
matching this topic...
Updated
Oct 1, 2020
Haskell
Collection of TypeScript type challenges with online judge
Updated
Oct 1, 2020
TypeScript
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.
🔥 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
Sep 29, 2020
Rust
Additional types and types adjusted utilities for TypeScript
Updated
Oct 1, 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
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
A macro for defining type operators in Rust.
Updated
Mar 16, 2017
Rust
Type System for Data Analysis in Python
Updated
Oct 1, 2020
Python
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
[WIP] A session-typed Erlang
Updated
Sep 16, 2020
OCaml
Tangent bundle / vector space category and functors
Updated
Sep 12, 2020
Julia
Tensor algebra abstract type interoperability setup
Updated
Oct 1, 2020
Julia
Updated
Apr 8, 2020
Python
Interpreter for simply typed lambda calculus implemented in JavaScript λ
Updated
Aug 7, 2017
JavaScript
A typed, multilingual, functional language
Updated
Oct 1, 2020
Haskell
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