Skip to content

pikelet-lang/pikelet

Error
Looks like something went wrong!

About

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

pikelet-lang.github.io/pikelet/

Topics

programming-language rust typechecker dependent-types compiler type-theory systems-language type-system systems-programming bidirectional-typechecking dependent-record-types dependent-records

Resources

Readme

License

Apache-2.0 license

Code of conduct

Code of conduct
Activity
Custom properties

Stars

618 stars

Watchers

29 watching

Forks

26 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 12

Languages