luizperes / cantorLinks
A declarative toy language inspired on set comprehensions.
☆18Updated 6 years ago
Alternatives and similar repositories for cantor
Users that are interested in cantor are comparing it to the libraries listed below
Sorting:
- A small video game console for Arduino using the Brainduino interpreter☆28Updated 7 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- Hope programming language interpreter☆41Updated 4 months ago
- Calculus of Constructions☆17Updated 6 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆56Updated 7 years ago
- Thoughts and stuff☆70Updated 5 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- Absal ex☆58Updated 2 years ago
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- A minimal proof language.☆210Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 6 years ago
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆50Updated 7 years ago
- Toy programming language☆20Updated last year
- ☆36Updated 3 years ago
- Brain Interpreter for arduino☆11Updated 7 years ago
- Wrap promises, never use .catch again☆25Updated 2 years ago
- A computational way to study discrete mathematics using Haskell☆73Updated 6 years ago
- A [ functional stack ] based language.☆30Updated last year
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated 2 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆123Updated 6 years ago
- The Haskell implementation of the Milho programming language.☆29Updated 2 years ago
- Write yourself a typed functional language☆65Updated 7 years ago
- Totally functional programming literature☆60Updated 6 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 6 years ago
- Minimal, efficient proof language☆14Updated 6 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Updated 8 years ago