cur
by wilbowma
A less devious proof assistant
AI summary
Type system
An experimental language with static and dynamic types, theorem proving, and meta-programming capabilities.
- stars
- 222
- forks
- 18
- watching
- 18
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Type inference system
An implementation of a strongly-typed System F in Haskell
Proof system
A high-speed recursive proof system for cryptographic primitives
Language prototype
A language prototype with subtyping and type inference for teaching cubic biunification algorithms
Type system implementation
An implementation of the Common Lisp type system focusing on precise and simplified reification of type specifiers
Programming language
A language and package for writing provable programs in Python.
Parses languages
A programming language designed to analyze and transform computer languages through grammar-based parsing
Type system library
A Python library implementing a fragmentary bidirectional type system with support for pattern matching and algebraic data types.
Type constructor
A language-agnostic way to define algebraic data types using polynomials.
Typed scripting language
A compiled, statically typed language for Python-like programming with memory and type safety guarantees.
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Type resources
Collects links and resources on type theory and functional programming.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
m4rw3r/chomp245
Parser library
A fast and expressive monadic-style parser combinator for Rust.
Type Web Data
Provides up-to-date data on support for type and typographic features on the web
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cur.
