luizperes / cantor
A declarative toy language inspired on set comprehensions.
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for cantor
- A small video game console for Arduino using the Brainduino interpreter☆26Updated 6 years ago
- An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)☆50Updated 6 years ago
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆19Updated 5 years ago
- The Lambda I/O Foundation Manifest.☆57Updated 7 years ago
- My curated list of papers I need to read (or already did), mostly about PLT☆53Updated 6 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 5 years ago
- Wrap promises, never use .catch again☆25Updated last year
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated this week
- Absal ex☆55Updated last year
- A Free-Software JavaScript Library made by people for the people!☆10Updated 4 years ago
- The Purr programming language — a small, portable functional language for writing highly concurrent web servers.☆105Updated 8 years ago
- Calculus of Constructions☆17Updated 5 years ago
- Agda libraries relevant to Moonad☆14Updated 5 years ago
- An EDSL implemented in Haskell for programming the Nintendo Game Boy.☆49Updated last year
- Brain Interpreter for arduino☆12Updated 6 years ago
- Thoughts and stuff☆67Updated 4 years ago
- Soluções dos problems do adventofcode.com☆13Updated 3 years ago
- learning cuda☆19Updated 8 years ago
- ☆36Updated 3 years ago
- Brain Interpreter and Visualizer Online.☆9Updated 8 years ago
- Hope programming language interpreter☆40Updated 4 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Updated 7 years ago
- 🥊Choose your favorite programming languages☆22Updated 6 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated last year
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆87Updated 5 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- Telegram Bot☆10Updated 3 years ago
- Resources for "One Monad to Prove Them All"☆29Updated 5 years ago
- A simple, purely-functional programming language☆24Updated 2 years ago