Alternatives and similar repositories for cantor

Users that are interested in cantor are comparing it to the libraries listed below

• brain-labs / brainstation
  A small video game console for Arduino using the Brainduino interpreter
  ☆28Updated 7 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• github-aux / linguist-unknown
  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
• brain-labs / brain-visualizer
  Brain Interpreter and Visualizer Online.
  ☆10Updated 9 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 2 years ago
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 6 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 9 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆42Updated 6 months ago
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆56Updated 7 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆116Updated 8 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 4 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 6 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆20Updated 6 years ago
• wilbowma / multi-lang-comp
  a compiler from a lambda language to an assembly language, as a rewrite system
  ☆16Updated 2 months ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 6 years ago
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆73Updated 6 years ago
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 4 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆58Updated 2 years ago
• brain-labs / brainduino
  Brain Interpreter for arduino
  ☆12Updated 7 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 7 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆211Updated 6 years ago
• Soonad / Formality-Haskell
  A Haskell implementation of the Formality language
  ☆18Updated 5 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• TikhonJelvis / Simple-Prolog
  A simple Prolog interpreter
  ☆42Updated 3 years ago
• robotlolita / siren
  [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…
  ☆128Updated 8 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆50Updated 2 years ago