Alternatives and similar repositories for COSEC

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

• xlq / aos
  Applied operating system - an operating system kernel written in the ATS programming language.
  ☆44Updated 13 years ago
• grigory-rechistov / interpreters-comparison
  Sample programs for comparison of different VM interpretation techniques
  ☆36Updated 7 months ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆24Updated 12 years ago
• picrin-scheme / libpicrin
  Super Tiny Scheme Interpreter for Freestanding Environment
  ☆55Updated 8 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• hayato-hashimoto / jit-scheme
  JIT compiler of scheme
  ☆15Updated 13 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 8 years ago
• EarlGray / SECD
  Scheme on SECD
  ☆43Updated 4 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆159Updated 11 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• dirk / hivm
  High-level VM (like LLVM's little brother)
  ☆39Updated 10 years ago
• EarlGray / dolphinos
  A simple bare-metal shell using x86 assembly in real mode.
  ☆9Updated 11 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 3 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago
• dagit / Cyclone-Language
  My branch of the Cyclone programming language
  ☆19Updated 13 years ago
• sayon / dwarf-vm
  This is a simple stack virtual machine to be a translation target for toy languages.
  ☆12Updated 4 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆59Updated 9 years ago
• texodus / forml
  A programming language
  ☆77Updated 12 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 5 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• stokito / fortress-lang
  ☆56Updated 8 years ago
• davidmalcolm / jittest
  Experiments with JIT compilation
  ☆65Updated 8 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• 2bt / minilang
  Bootstrapped compiler of a C-like but Python-looking language
  ☆47Updated 7 years ago
• intoverflow / Potential
  x86-64 assembly as a Haskell EDSL
  ☆36Updated 14 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• chrisosaurus / icarus
  Programming language designed as an experiment to explore mutation and aliasing control
  ☆33Updated 5 years ago
• arkanis / lisp.c
  My second Lisp interpreter (bytecode compiler and interpreter) written in GNU C
  ☆26Updated 6 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 7 years ago