Alternatives and similar repositories for TaelinArena

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

• coproduto / unthrow
  Wrap promises, never use .catch again
  ☆25Updated 3 years ago
• moonad / Moonad
  Moonad: a p2p academic journal, or a social network for code?
  ☆27Updated 3 years ago
• VictorTaelin / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆36Updated 6 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 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
  ☆49Updated 7 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
• marcoonroad / sporadic
  Composable Concurrency Abstractions for JavaScript.
  ☆18Updated last year
• VictorTaelin / calculus-of-constructions
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆116Updated 8 years ago
• celsobonutti / milho
  The Haskell implementation of the Milho programming language.
  ☆29Updated 2 years ago
• algebraic-dev / nuko
  🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.
  ☆15Updated 3 years ago
• nythrox / effects.js
  Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…
  ☆108Updated 3 years ago
• brain-labs / brainstation
  A small video game console for Arduino using the Brainduino interpreter
  ☆28Updated 7 years ago
• VictorTaelin / lambda-calculus
  A simple, clean and fast implementation of the λ-calculus on JavaScript.
  ☆46Updated 5 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 6 years ago
• Soonad / FormalityFM
  Formality in itself
  ☆20Updated 5 years ago
• EduardoRFS / youtube-channel
  ☆52Updated 4 months ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆20Updated 6 years ago
• lettier / lambda-lantern
  🧙 ‎‎ A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.
  ☆169Updated 6 years ago
• robotlolita / tamago
  (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript
  ☆32Updated 2 years ago
• valmirjunior0088 / curios
  Work-in-progress functional dependently typed programming language
  ☆29Updated 2 years ago
• VictorTaelin / Cedille-Core
  A minimal proof language.
  ☆211Updated 6 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 9 years ago
• VictorTaelin / abstract-algorithm
  Optimal evaluator of λ-calculus terms.
  ☆282Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆62Updated 9 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆17Updated 2 years ago
• HigherOrderCO / Kindex
  Collection of Kind2 programs and proofs
  ☆12Updated last year
• lambda-study-group / advent-of-code
  Soluções dos problems do adventofcode.com
  ☆13Updated 5 years ago