pikelet
by pikelet-lang
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
AI summary
Dependent type language
A systems programming language with first-class types, designed to support dependent records and types.
- stars
- 610
- forks
- 26
- watching
- 30
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ditto/ditto173
Research language
An experimentally designed dependently typed programming language with a focus on type checking and research
Dependent type prototype
A research prototype of a dependently typed language with sized types and variances
Dependent type systems
Mechanizations for two dependently-typed languages with graded types
Dependent type lang
A dependently typed functional programming language that compiles to native code through LLVM.
TLA-based spec language
A specification language with type checking and tooling based on temporal logic of actions
Type level language exploration
Exploring type-level programming in Rust with a focus on simplicity and expressiveness
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Embedded programming language
A statically structurally typed JIT-compiled programming language designed to be easily embedded in other programs.
Type composer
A library providing a foundation for type-level functions and compositions in Haskell
Programming language
A small, experimental programming language with unique features and a Haskell implementation.
jozefg/learn-tt2.2K
Type theory resource
A collection of resources for learning type theory and related fields
rsdn/nemerle622
Type programming language
A high-level statically-typed programming language with functional and object-oriented features, designed to compile to .NET executables.
pqwy/tpf23
Datatype-library
A minimalist library for writing datatype-generic functions in OCaml without runtime dependencies or meta-programming.
eeue56/derw378
Type-safe language
An Elm-inspired language that transpiles to TypeScript, designed for writing type-safe code with good productivity features
Type-based compiler
A compiler for a functional language with a powerful type system
Featured in 1 awesome list
Each link jumps to the spot where the list mentions pikelet.
