cur
Type system
An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.
A less devious proof assistant
222 stars
18 watching
18 forks
Language: Racket
last commit: almost 2 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 sweirich/challenge | An implementation of a strongly-typed System F in Haskell | 117 |
 microsoft/nova | A high-speed recursive proof system for cryptographic primitives | 714 |
 storyyeller/cubiml-demo | A language prototype with subtyping and type inference for teaching cubic biunification algorithms | 163 |
 s-expressionists/ctype | An implementation of the Common Lisp type system focusing on precise and simplified reification of type specifiers | 26 |
 starkware-libs/cairo-lang | A language and package for writing provable programs in Python. | 1,348 |
 phorward/colm | A programming language designed to analyze and transform computer languages through grammar-based parsing | 1 |
 cyrus-/typy | A Python library implementing a fragmentary bidirectional type system with support for pattern matching and algebraic data types. | 52 |
 typedefs/typedefs | A language-agnostic way to define algebraic data types using polynomials. | 366 |
 therealmichaelwang/nohopython | A compiled, statically typed language for Python-like programming with memory and type safety guarantees. | 12 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 williamdemeo/typefunc | Collects links and resources on type theory and functional programming. | 309 |
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 m4rw3r/chomp | A fast and expressive monadic-style parser combinator for Rust. | 244 |
 bramstein/stateofwebtype | Provides up-to-date data on support for type and typographic features on the web | 65 |