Alternatives and similar repositories for cantor

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

• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated this week
• takanuva / coc
  Calculus of Constructions
  ☆17Updated 5 years ago
• brain-labs / brainstation
  A small video game console for Arduino using the Brainduino interpreter
  ☆28Updated 7 years ago
• purr-platform / purr1
  An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)
  ☆50Updated 6 years ago
• DestructHub / computer-programs-paradigms
  Solving Louv1.1x Paradigms of Computer Programming - Fundamentals Course
  ☆18Updated 8 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 8 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 6 years ago
• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 2 years ago
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 4 years ago
• haskellcamargo / papers-to-read
  My curated list of papers I need to read (or already did), mostly about PLT
  ☆55Updated 6 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• dmbaturin / hope
  Hope programming language interpreter
  ☆41Updated 3 weeks ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 6 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• VictorTaelin / absal-ex
  Absal ex
  ☆57Updated last year
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 5 years ago
• renanroberto / whatsyourquestion-bot
  Telegram Bot
  ☆10Updated 3 years ago
• origamitower / purr
  [wip] a programming environment for collaboration
  ☆110Updated 6 years ago
• diasbruno / language-js
  Parser for es6 and es7.
  ☆10Updated 7 months ago
• gusbicalho / haskell-todo
  Toy todo-list service
  ☆15Updated 5 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆71Updated 5 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆45Updated 3 years ago
• phadej / write-yourself-a-typed-functional-language
  Write yourself a typed functional language
  ☆65Updated 6 years ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated last year
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆113Updated 8 years ago
• rodrigogribeiro / agda-software-foundations
  Porting of software foundations book to Agda
  ☆38Updated 11 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆48Updated last year
• lortabac / ariel
  A simple, purely-functional programming language
  ☆25Updated 3 years ago
• purr-platform / purr0
  The Purr programming language — a small, portable functional language for writing highly concurrent web servers.
  ☆103Updated 9 years ago