Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
https://github.com/pikelet-lang/pikelet
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 3 months ago
JSON representation
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
- Host: GitHub
- URL: https://github.com/pikelet-lang/pikelet
- Owner: pikelet-lang
- License: apache-2.0
- Created: 2017-12-19T05:15:40.000Z (over 6 years ago)
- Default Branch: main
- Last Pushed: 2021-05-16T05:04:56.000Z (about 3 years ago)
- Last Synced: 2024-03-19T05:03:41.318Z (3 months ago)
- Topics: bidirectional-typechecking, compiler, dependent-record-types, dependent-records, dependent-types, programming-language, rust, systems-language, systems-programming, type-system, type-theory, typechecker
- Language: Rust
- Homepage: https://pikelet-lang.github.io/pikelet/
- Size: 5.56 MB
- Stars: 606
- Watchers: 30
- Forks: 25
- Open Issues: 31
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Lists
- programming-languages - Pikelet - Small, functional, dependently typed programming language. (Functional)
- awesome-rust-formalized-reasoning - Pikelet - small, functional, dependently typed programming language. (Programming Language / Libraries)
- awesome-stars - pikelet-lang/pikelet - A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧 (Rust)