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: 5 days 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 (almost 7 years ago)
- Default Branch: main
- Last Pushed: 2021-05-16T05:04:56.000Z (over 3 years ago)
- Last Synced: 2024-10-07T14:47:18.364Z (about 1 month 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: 610
- Watchers: 30
- Forks: 26
- Open Issues: 31
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - Pikelet - small, functional, dependently typed programming language. (Programming Language / Libraries)
README
# Pikelet!
![Pikelet Mascot][pikelet-mascot]
[pikelet-mascot]: ./book/assets/pikelet.png
[![Actions Status][actions-badge]][actions-url]
[![Matrix][matrix-badge]][matrix-lobby]
[![License][license-badge]][license-url][actions-badge]: https://github.com/pikelet-lang/pikelet/workflows/ci/badge.svg
[actions-url]: https://github.com/pikelet-lang/pikelet/actions
[matrix-badge]: https://img.shields.io/matrix/pikelet:matrix.org?label=%23pikelet%3Amatrix.org
[matrix-lobby]: https://app.element.io/#/room/#pikelet:matrix.org
[license-badge]: https://img.shields.io/github/license/pikelet-lang/pikelet
[license-url]: ./LICENSEPikelet is a small, functional, dependently typed programming language.
Dependent types allow us to do a bunch of really interesting things, like using
records for modules, declaring the length of arrays at the type level, and
much more — many of great utility for low-level and high-level code alike!We hope to one day grow Pikelet into fully-fledged systems programming language,
with support for unboxed data types, control over memory layout and allocation
strategy, linear types, and a flexible phase distinction and support for calling
other languages. At the moment however we've only implemented a type checker and
very slow interpreter, so don't get your hopes up too much yet! There's still a
whole lot to do before it is even remotely useful to anyone! 😅## Roadmap
Check out our plans in [the roadmap](./book/src/development/roadmap.md).
## Code of Conduct
Please note that this project is released with a [Code of Conduct](./CODE_OF_CONDUCT.md).
By participating in this project you agree to abide by its terms.