An exercise in cryptographic minimlism
☆24Jan 23, 2015Updated 11 years ago
Alternatives and similar repositories for clmm
Users that are interested in clmm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Skype4Py bot☆17May 1, 2014Updated 12 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 6 years ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 11 years ago
- SF Devs build a Bitcoinjs-lib deterministic wallet forked from Carbon Wallet☆19Jun 19, 2014Updated 12 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- T1 Documentation☆11May 14, 2019Updated 7 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- Experimental modular probabilistic programming language in Rust, with modeling and inference separated by a generative function trait int…☆15Jul 4, 2026Updated 2 weeks ago
- Firmware for Xilinx Platform Cable 1 USB Jtag adapter☆10Jul 24, 2016Updated 9 years ago
- SDL2 (with support for Pandora, and CHIP). Status: Working☆10Aug 16, 2019Updated 6 years ago
- lazy generators with observation☆14Nov 2, 2023Updated 2 years ago
- A kind of deployment tool thingy☆16Nov 12, 2014Updated 11 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A fork of tc-play (https://github.com/bwalex/tc-play) that adds support for VeraCrypt volumes☆15Jun 6, 2015Updated 11 years ago
- yet another lexical preprocessor☆40Updated this week
- My favorite quotes☆17Oct 12, 2025Updated 9 months ago
- Allows creation of a PBX to accept calls from prisoners and post their recorded messages on SoundCloud and Twitter. Makes the Bureau of P…☆20Jun 13, 2014Updated 12 years ago
- HTTP POST data parser.☆20Nov 25, 2024Updated last year
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- ☆12Aug 24, 2020Updated 5 years ago
- Statsd Admin Interface GUI☆12Jul 21, 2015Updated 11 years ago
- Applied operating system - an operating system kernel written in the ATS programming language.☆47Mar 29, 2012Updated 14 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- DNSSEC/TLS tools☆36Jan 25, 2014Updated 12 years ago
- ☆12Aug 30, 2025Updated 10 months ago
- Puppet module for OpenSCAP☆14Mar 21, 2025Updated last year
- Tcl interface to the Apache Kafka distributed messaging system☆12Dec 30, 2020Updated 5 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 11 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ☆61Jan 26, 2016Updated 10 years ago
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SOM - Simple Object Machine☆77Aug 18, 2025Updated 11 months ago
- command line issue tracker☆16Apr 24, 2016Updated 10 years ago
- asynchronous I/O in Rust☆14Jan 8, 2017Updated 9 years ago
- gui for dialogue graphs, et al.☆12May 16, 2017Updated 9 years ago
- A Tauri app File Explorer written in Rust and Vue.js☆12Nov 9, 2020Updated 5 years ago
- ☆16Nov 9, 2017Updated 8 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago