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 7 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
• geocar / qlua
  KDB bindings for lua
  ☆27Updated 5 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
• 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
• HarvardPL / shill
  Scripting with Least Privilege
  ☆108Updated 7 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 8 years ago
• djcapelis / atomic-ring
  Some code in C that allows one thread to pass items to another thread without locking
  ☆39Updated 8 years ago
• TobyGoodwin / pacc
  pacc: a compiler-compiler
  ☆37Updated 8 years ago
• in4lio / yupp
  yet another lexical preprocessor
  ☆40Updated 4 years ago
• vladpalos / PrimaLuce
  Software Development Platform for ARM / Android terminals
  ☆39Updated 8 years ago
• mirage / ocaml-9p
  An OCaml/Mirage-friendly implementation of the 9P protocol
  ☆64Updated 3 years ago
• aidanhs / schrotcl
  Schrödinger's Tcl
  ☆30Updated 10 years ago
• zerovm / zrt
  ZeroVM Run-Time environment
  ☆65Updated 10 years ago
• IonoclastBrigham / firth
  A simple Forth-like language intended for DSL creation, implemented in Lua.
  ☆27Updated 2 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 8 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• hnsl / librcd
  A library for Rapid {C|Concurrency|Correct} Development
  ☆34Updated 9 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• eatonphil / referenceserver
  Barebones UNIX socket servers
  ☆26Updated 7 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 9 years ago
• mato / opam-rumprun
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Updated 9 years ago
• djc / runa
  A Python-like systems programming language
  ☆84Updated 9 years ago
• foretspaisibles / bsdowl
  A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.
  ☆104Updated 6 years ago