smarr / CSOM

Related projects ⓘ

Alternatives and complementary repositories for CSOM

• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated this week
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• poplog / poplog
  Poplog
  ☆21Updated 14 years ago
• flavioc / meld
  Meld virtual machine.
  ☆29Updated 9 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 6 years ago
• slburson / fset-java
  Java implementation of the FSet functional collections library.
  ☆10Updated 8 years ago
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• nojb / mlpolyr
  MLpolyR
  ☆7Updated 8 years ago
• donaldsonjw / bigloo
  Bigloo Scheme Compiler
  ☆12Updated 8 years ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆19Updated 7 years ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 8 years ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 12 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆46Updated 10 years ago
• clarus / coq-blog
  A blog about Coq
  ☆10Updated 3 years ago
• gvx / deja
  The Déjà Vu programming language
  ☆15Updated 10 years ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆18Updated 5 months ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆33Updated 5 years ago
• texodus / forml
  A programming language
  ☆76Updated 11 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆12Updated 7 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆42Updated 6 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• munificent / bulfinch
  Just a little toy language to learn about register-based VMs.
  ☆20Updated 12 years ago
• ilyasergey / monadic-cfa
  Generic implementation of different CFA families based on monadic decomposition
  ☆21Updated 11 years ago
• fourtf / wasm
  Web assembly interpreter in C. Unfunctional and discontinued.
  ☆10Updated 5 years ago