Alternatives and similar repositories for clmm

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

• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 10 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆70Updated 7 years ago
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• LeptaSpace / zs
  ZeroScript
  ☆83Updated 10 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.
  ☆105Updated 7 months ago
• Tarsnap / libcperciva
  BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.
  ☆117Updated last month
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 9 years ago
• incrediblesound / Graph-Reply
  A graph based REPL that saves to and loads from disk
  ☆44Updated 10 years ago
• luqui / vatican
  A lazy specializing virtual machine for purely functional languages
  ☆103Updated 7 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• in4lio / yupp
  yet another lexical preprocessor
  ☆40Updated 5 years ago
• vladpalos / PrimaLuce
  Software Development Platform for ARM / Android terminals
  ☆39Updated 9 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 9 years ago
• zarkzork / servasm
  X86_64 Linux webserver in assembler
  ☆107Updated 10 years ago
• yomimono / simple-nat
  Demonstration NATting unikernel.
  ☆29Updated 9 years ago
• marssaxman / fleet
  exokernel style operating system based on lightweight virtual machines
  ☆25Updated 9 years ago
• kgaughan / memoize.py
  Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
  ☆117Updated 3 years ago
• r0nk / corvus
  Genetic BF programming
  ☆61Updated 5 months ago
• compiler-dept / speck
  A small unit testing framework for C
  ☆123Updated 8 years ago
• mirage / mirage-decks
  These are the MirageOS slide decks, written as a self-hosting unikernel
  ☆13Updated 8 years ago
• djcapelis / atomic-ring
  Some code in C that allows one thread to pass items to another thread without locking
  ☆40Updated 9 years ago
• WetDesertRock / Yarn
  A small embeddable VM with a custom instruction set and everything stored in a statically allocated memory space.
  ☆238Updated 2 years ago
• MichaelRFairhurst / wake-compiler
  C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.
  ☆55Updated 10 years ago
• uwplse / arvo
  A proof assistant.
  ☆12Updated 9 years ago
• jbclements / molis-hai
  Password Generation using Markov models, Huffman trees, and Charles Dickens
  ☆43Updated 6 years ago
• RaphaelJ / rusty
  A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.
  ☆127Updated 10 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆324Updated 9 years ago
• bjornedstrom / timmy
  Use some TLS servers for trusted timestamping
  ☆42Updated 10 years ago