rongarret / clmm
An exercise in cryptographic minimlism
☆24Updated 10 years ago
Alternatives and similar repositories for clmm
Users that are interested in clmm are comparing it to the libraries listed below
Sorting:
- A prolog-like language with compound truth value logic☆68Updated 7 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- FLVIz - Finite Automata Simulator written in QT/Graphviz☆36Updated 9 years ago
- A graph based REPL that saves to and loads from disk☆44Updated 9 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- An Actor-based framework for Lua☆37Updated 9 years ago
- An interpreter for the Mistral language.☆19Updated 7 years ago
- An example of PEG usage☆55Updated 8 years ago
- Control and diagnostic applications for rump kernels☆36Updated 8 years ago
- Some code in C that allows one thread to pass items to another thread without locking☆39Updated 8 years ago
- Scripting with Least Privilege☆108Updated 7 years ago
- exokernel style operating system based on lightweight virtual machines☆25Updated 9 years ago
- empirical measurement of code constructs that seem like they should have constant execution time regardless of values of inputs☆9Updated 9 years ago
- Software Development Platform for ARM / Android terminals☆39Updated 8 years ago
- ZeroScript☆83Updated 9 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 9 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆65Updated 3 years ago
- pacc: a compiler-compiler☆37Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 4 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- MLton with Realtime GC and Threading features☆103Updated last year
- ☆14Updated 9 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- A fast secure userspace pseudorandom number generator☆82Updated 10 years ago
- ZeroVM Run-Time environment☆65Updated 10 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 9 years ago
- An arrow-based parser combinator library for C☆40Updated 15 years ago
- Efficient and customisable compression of short strings☆49Updated 8 years ago
- Bootstrap compiler☆44Updated 6 years ago