Alternatives and similar repositories for theory:

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

• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• eeeeaaii / vodka
  Creative Coding Environment
  ☆126Updated 5 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• EiichiroIto / NovaStelo
  Block-style programming environment for multi agent system, based on MIT Scratch.
  ☆126Updated last month
• ericu / CellCulTuring
  Casual experiments with cellular automata
  ☆76Updated 6 years ago
• PlanetAPL / node-apl
  An ancient programming language adapted to a JavaScript-dominated world
  ☆28Updated 11 years ago
• jb55 / vrscript-samples
  Some vrscript samples by John Carmack
  ☆74Updated 5 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated 2 years ago
• Glench / Flowsheets-v2
  I got mad flow.
  ☆85Updated 7 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• kach / tower-of-power
  What is hip? Tell me, tell me (if you think you know)
  ☆110Updated 6 years ago
• cdglabs / sketchpad14
  Getting inspiration from Sutherland's 1961 Sketchpad and Overveld's retake on its relaxation technique 30 year after, we are working on a…
  ☆90Updated last year
• tompccs / scoopy
  A way for academics and research students to stay on top of research publications (using machine learning)
  ☆54Updated 6 years ago
• harc / seymour
  A live programming environment that lets you see the inner workings of programs
  ☆79Updated 3 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• kennethshawfriedman / Toski
  A Prototype Debugging Tool for MIT Scheme
  ☆32Updated 5 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆358Updated 8 months ago
• prathyvsh / notation
  Repo to track the evolution of notation in arts and sciences
  ☆138Updated 2 years ago
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• mcapodici / badlanguage
  A lisp-looking language with interpreter and compiler to JS
  ☆28Updated 5 years ago
• norswap / prolog-dry
  A terse Prolog course
  ☆41Updated 6 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 6 months ago
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆82Updated 4 years ago
• ohmjs / ohm-editor
  An IDE for the Ohm language (JavaScript edition)
  ☆98Updated 3 months ago
• SaraBee / nowplaying
  Some scripts and stuff that work with data from NYC classical radio station WQXR.
  ☆45Updated 4 years ago
• d-cook / SomethingNew
  Collaboration for reinventing software in human terms
  ☆172Updated 6 years ago