crates.io : pikelet
A friendly little systems language with first-class types.
Registry
-
Source
- Homepage
- Documentation
- JSON
purl: pkg:cargo/pikelet
Keywords:
bidirectional-typechecking
, compiler
, dependent-record-types
, dependent-records
, dependent-types
, programming-language
, rust
, systems-language
, systems-programming
, type-system
, type-theory
, typechecker
License: Apache-2.0
Latest release: about 7 years ago
First release: about 7 years ago
Downloads: 1,682 total
Stars: 610 on GitHub
Forks: 26 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago