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
• HarryR / nanac
  Tiny modular assembler & vm for lightweight control microcode
  ☆36Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆12Updated 11 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆53Updated 5 years ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated last week
• catseye / Thue
  Cat's Eye Technologies' distribution of John Colagioia's Thue programming language
  ☆29Updated 10 years ago
• aaronjanse / marble-complete
  Design a turing-complete marble run with ascii/unicode art
  ☆57Updated 7 years ago
• emeraldlang / emerald
  Emerald is an object oriented language that uses prototypal based inheritance.
  ☆24Updated 3 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆20Updated 10 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• mmastrac / bootstrap
  Bootstrapping VM for bare metal to trusted C compilation
  ☆50Updated last year
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 12 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆174Updated last week
• jheusser / satcoin
  SAT-based Bitcoin Mining
  ☆88Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last week
• andychu / pratt-parsing-demo
  ☆29Updated 4 years ago
• serprex / Befunge
  lang befunge 93 fast
  ☆21Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• aheui / jsaheui
  Aheui interpreter in Javascript
  ☆22Updated 9 years ago
• murisi / L2
  A minimalist type-inferred programming language with procedural macro support
  ☆136Updated 5 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 6 years ago