guilevieiram / k
An interpreter for the (made up) k programming language all done in Haskell
☆8Updated last year
Alternatives and similar repositories for k:
Users that are interested in k are comparing it to the libraries listed below
- Modern Compiler Implementation in ML, in Haskell☆19Updated 3 years ago
- An implementation of Haskell’s MVars in Racket☆28Updated 5 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- A verified compiler for a lazy functional language☆34Updated last month
- A Haskell monad transformer library for data validation☆36Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- A Toy Inverse Bidirectional Typechecker☆31Updated 5 years ago
- A toy dependent typed language.☆28Updated last week
- 🪆 A Staged Type Theory☆35Updated last year
- Yet another Scheme implemented in Haskell☆20Updated 5 years ago
- Awesome Agda Programming☆16Updated 4 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Updated 3 months ago
- An implementation of a Zeilberger-style linear type theory.☆11Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 months ago
- Session types in Idris2!☆27Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated last year
- A compiler that translates a form of lambda calculus to C☆12Updated 11 months ago
- ☆17Updated 11 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- The place for submitting new articles to the Serokell blog.☆16Updated last year
- A small NuPRL style proof assistant☆31Updated 6 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆12Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆44Updated 2 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Updated 5 years ago
- A talk☆28Updated 3 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated last month
- An experimental language server for SomewhatML☆24Updated 2 years ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago