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 formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Updated 7 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 8 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- ☆36Updated 3 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆54Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 6 years ago
- Calculus of Constructions☆17Updated 5 years ago
- Absal ex☆57Updated last year
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- Soluções dos problems do adventofcode.com☆13Updated 4 years ago
- Wrap promises, never use .catch again☆25Updated 2 years ago
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆51Updated 7 years ago
- The Haskell implementation of the Milho programming language.☆29Updated last year
- 🥊Choose your favorite programming languages☆22Updated 7 years ago
- A simple, purely-functional programming language☆25Updated 2 years ago
- Telegram Bot☆10Updated 3 years ago
- Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course☆18Updated 8 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- Thoughts and stuff☆69Updated 5 years ago
- Toy programming language☆19Updated last year
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Updated 4 years ago
- annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski☆19Updated 5 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆48Updated last year
- An implementation of the Formality language in JavaScript☆71Updated 5 years ago
- [wip] a programming environment for collaboration☆109Updated 6 years ago
- small programming language. pls be gentle.☆39Updated last month