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 2 years ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆58Updated 8 years ago
• VictorTaelin / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆35Updated 5 years ago
• qteatime / crochet
  Crochet: A tool for creating and remixing interactive experiences, safely.
  ☆124Updated last year
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• moonad / Moonad
  Moonad: a p2p academic journal, or a social network for code?
  ☆28Updated 2 years ago
• VictorTaelin / ultimate-calculus
  ☆36Updated 3 years ago
• moonad-archive / Formality-JavaScript
  An implementation of the Formality language in JavaScript
  ☆72Updated 5 years ago
• origamitower / purr
  [wip] a programming environment for collaboration
  ☆110Updated 6 years ago
• evaporei / hisp
  🌵 A lisp REPL interpreter made in Haskell
  ☆24Updated 5 years ago
• robotlolita / emoj
  Emoj is a modern, concatenative language for the browser. (april's fool project)
  ☆19Updated 5 years ago
• lambda-io / manifest
  The Lambda I/O Foundation Manifest.
  ☆57Updated 8 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated 2 weeks ago
• JoaoBaptMG / ReboundTheGame
  Another project, this time a platformer on engineless c++
  ☆52Updated 5 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆41Updated last year
• purr-platform / purr1
  An interactive programming platform. (see https://github.com/origamitower/purr for the most recent version of this)
  ☆50Updated 6 years ago
• EduardoRFS / youtube-channel
  ☆47Updated last year
• Lisias / mercadinho.js
  PORRA, OUTRO FRAMEWORK!
  ☆11Updated 7 years ago
• celsobonutti / milho
  The Haskell implementation of the Milho programming language.
  ☆29Updated last year
• anabastos / holographic-threejs
  V A P O R W A V E Hologram Generator
  ☆69Updated 7 years ago
• anabastos / batatascript
  🍟🥔🥣 JS compiler that turns javascript into javascript code!
  ☆36Updated 5 years ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 5 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
  ☆51Updated 6 years ago
• vrjuliao / sml-vscode-extension
  VSCode plugin for Standard ML
  ☆39Updated 10 months ago
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• VictorTaelin / Taelang
  my personal lang
  ☆15Updated last year
• robotlolita / compsci-answers
  A collection of answers I gave on Quora, categorised and easier to find
  ☆99Updated 6 years ago
• VitorLuizC / maybe
  🌯 The prettiest TypeScript implementation of Maybe monad.
  ☆19Updated 3 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆68Updated 4 years ago
• macabeus / macro-compiler
  🎭 The compiler of EventMacro to OpenKore plugin
  ☆81Updated 6 years ago