Alternatives and similar repositories for CodeSpace

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

• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated last week
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• thoppe / Cayley-Dickson
  Cayley Dickson algebra implementation in python
  ☆12Updated 6 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated 2 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• HarryR / nanac
  Tiny modular assembler & vm for lightweight control microcode
  ☆36Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 3 years ago
• darius / sketchbook
  Smallish programs written to learn something.
  ☆50Updated last year
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago
• emeraldlang / emerald
  Emerald is an object oriented language that uses prototypal based inheritance.
  ☆24Updated 3 years ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• dmishin / js-revca
  Reversible cellular automata simulator in HTML5 + Java Script.
  ☆32Updated 8 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆21Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 11 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• leegao / BullshitMath.lol
  You can't do that! Can you?
  ☆22Updated 9 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 7 years ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Updated 10 months ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆15Updated 5 years ago