o-santi / functional-structures
my studies through functional implementations of common data-structures
☆9Updated 2 years ago
Alternatives and similar repositories for functional-structures:
Users that are interested in functional-structures are comparing it to the libraries listed below
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated last month
- ☆11Updated 2 years ago
- Toy programming language☆18Updated 8 months ago
- ☆41Updated last week
- my personal lang☆15Updated last year
- ☆40Updated 3 years ago
- ☆24Updated 2 years ago
- Reference compiler for c0☆29Updated 5 months ago
- Category Theory & Cobordism Categories in Lean 4☆15Updated 6 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆13Updated 2 years ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.☆10Updated last year
- 🍞 | IDE focused programming language study☆35Updated 10 months ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆34Updated this week
- Set up a specific version of Agda for your GitHub Actions workflow.☆26Updated 2 months ago
- ☆35Updated 3 years ago
- A dependently typed programming language with direct style effects and linearity☆19Updated 5 months ago
- Formalization of category theory in Agda☆15Updated last year
- 🪆 A Staged Type Theory☆34Updated last year
- VimL lisp evaluator☆10Updated 3 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 2 years ago
- high-performance cubical evaluation☆69Updated last month