robotlolita / cursed-aoc
Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles
☆13Updated 2 years ago
Related projects: ⓘ
- A very small implementation of the Calculus of Constructions for experimentation purposes☆13Updated 6 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- Toy programming language☆18Updated 4 months ago
- ☆13Updated this week
- ☆12Updated this week
- The Haskell implementation of the Milho programming language.☆29Updated last year
- VimL lisp evaluator☆10Updated 3 years ago
- my personal lang☆15Updated 8 months ago
- ☆14Updated last year
- ☆16Updated this week
- A dependently typed programming language with direct style effects and linearity☆18Updated last month
- ☆13Updated last year
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- Source code for haskle.net☆29Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 7 months ago
- ☆26Updated 3 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 8 months ago
- A Haskell implementation of the Formality language☆18Updated 4 years ago
- Wrapper around the OCaml `lsp` library to make it easier to write LSP servers☆26Updated 3 weeks ago
- A frontend for the 1111 stable diffusion API☆16Updated 2 weeks ago
- ☆29Updated this week
- Fωμ type checker and compiler☆51Updated last year
- Soluções dos problems do adventofcode.com☆13Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated 3 months ago
- An unofficial Idris2 package repository for Nix☆45Updated last year
- Specification of the Formality proof and programming language☆40Updated last year
- Package manager for Idris☆35Updated 2 years ago
- Playing with type systems☆43Updated 2 years ago
- OCaml plus Jane Street extensions☆73Updated 2 months ago