hmac / kiteLinks
A Haskell-like language for scripting and web apps
☆13Updated last year
Alternatives and similar repositories for kite
Users that are interested in kite are comparing it to the libraries listed below
Sorting:
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- a self-hosting lambda calculus compiler☆36Updated 4 months ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- translations of a lambda abstraction to combinations of operators☆18Updated 5 years ago
- A (very) unfinished OpenType Math layout and rendering engine in Racket☆59Updated 11 months ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Erlang BEAM emulator in Haskell☆48Updated 11 years ago
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆54Updated 5 months ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 9 months ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- ☆17Updated last year
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆40Updated last year
- ☆16Updated 3 years ago
- A Dependently Typed Esolang☆10Updated 8 years ago
- classical sequent calculus, embedded in Haskell☆21Updated 3 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- Pretty-print error messages of the ATS Compiler☆37Updated 6 years ago
- My Agda blog/lab/playground☆13Updated this week
- A compiler for a simple language using llvm☆35Updated 2 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- Practical type inference for arbitrary-rank types☆11Updated 6 years ago
- Formalised embedding of an imperative language with effect system into session-typed pi calculus.☆29Updated 8 months ago
- Fast, CommonMark-compliant Markdown parser written in Racket☆33Updated 10 months ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆75Updated 5 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆59Updated 2 months ago