caotic123 / KeiLinks
A small and expressive dependently typed language
☆129Updated 4 years ago
Alternatives and similar repositories for Kei
Users that are interested in Kei are comparing it to the libraries listed below
Sorting:
- The Makam Metalanguage☆198Updated 2 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆126Updated 5 years ago
- TiML: A Functional Programming Language with Time Complexity☆79Updated 7 years ago
- A less devious proof assistant☆224Updated 2 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- A minimal proof language.☆205Updated 6 years ago
- compiler with polyhedral optmization for a lazy functional programming language