bryal / carth
The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
☆22Updated last year
Related projects ⓘ
Alternatives and complementary repositories for carth
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆22Updated last year
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- A TOML parser for Idris 2☆15Updated 4 months ago
- Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)☆58Updated 4 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆12Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 5 months ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Educational implementation of dependent types☆19Updated 6 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- Automatic piecewise-mutable references for your types☆43Updated 4 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆19Updated 2 years ago
- Parser for Emacs org-mode files☆31Updated 9 months ago
- ☆11Updated 2 weeks ago
- "operating system" based on the calculus of constructions☆18Updated 2 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated 9 months ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- A usable type system for call by push-value☆28Updated 4 years ago
- A proof that Idris is pacman complete☆8Updated 7 years ago
- ☆21Updated 4 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 3 weeks ago
- A tiny statically typed programming language☆18Updated 10 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- ☆34Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated last year