Alternatives and similar repositories for clmm:

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

• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 9 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 6 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 11 months ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• rlt3 / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 8 years ago
• vladpalos / PrimaLuce
  Software Development Platform for ARM / Android terminals
  ☆39Updated 8 years ago
• melsman / aplcompile
  APL compiler written in Standard ML
  ☆35Updated 4 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 9 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• in4lio / yupp
  yet another lexical preprocessor
  ☆40Updated 4 years ago
• GaloisInc / mistral
  An interpreter for the Mistral language.
  ☆19Updated 7 years ago
• hawkw / mnemosyne
  A functional systems programming language with compile-time memory management
  ☆31Updated 3 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 8 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• LeptaSpace / zs
  ZeroScript
  ☆83Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• regehr / const_time
  empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs
  ☆9Updated 9 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 8 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago
• dcreager / libpush
  An arrow-based parser combinator library for C
  ☆40Updated 14 years ago
• MagnusS / jitsu
  A DNS server that automatically starts unikernels on demand
  ☆22Updated 9 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆56Updated 9 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆101Updated 6 years ago
• BookOwl / scratching-forth
  A compiler from Forth to Scratch
  ☆22Updated 8 years ago
• rntz / rotten
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆96Updated 9 years ago
• google / autopiper
  ☆48Updated 9 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 9 years ago
• ZornsLemma / lib6502-jit
  JIT compiler for 6502 machine code, built on lib6502 and LLVM
  ☆54Updated 10 years ago