pikelet
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
610 stars
30 watching
26 forks
Language: Rust
last commit: almost 4 years ago
Linked from 1 awesome list
bidirectional-typecheckingcompilerdependent-record-typesdependent-recordsdependent-typesprogramming-languagerustsystems-languagesystems-programmingtype-systemtype-theorytypechecker
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ditto/ditto | An experimentally designed dependently typed programming language with a focus on type checking and research | 173 |
 andreasabel/miniagda | A research prototype of a dependently typed language with sized types and variances | 104 |
 sweirich/graded-haskell | Mechanizations for two dependently-typed languages with graded types | 24 |
 silt-lang/silt | A dependently typed functional programming language that compiles to native code through LLVM. | 240 |
 informalsystems/quint | A specification language with type checking and tooling based on temporal logic of actions | 834 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
 dflemstr/tin | A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs. | 63 |
 lysxia/first-class-families | A library providing a foundation for type-level functions and compositions in Haskell | 87 |
 japiirainen/fp | A small, experimental programming language with unique features and a Haskell implementation. | 102 |
 jozefg/learn-tt | A collection of resources for learning type theory and related fields | 2,180 |
 rsdn/nemerle | A high-level statically-typed programming language with functional and object-oriented features, designed to compile to .NET executables. | 622 |
 pqwy/tpf | A minimalist library for writing datatype-generic functions in OCaml without runtime dependencies or meta-programming. | 23 |
 eeue56/derw | An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features | 378 |
 linkdd/letlang | A compiler for a functional language with a powerful type system | 166 |