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:
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆98May 1, 2015Updated 11 years ago
- Argument parsing library for C.☆13Dec 7, 2015Updated 10 years ago
- A simple HTTP redirector for custom short URLs☆11Oct 27, 2020Updated 5 years ago
- small c99 blas inspired routines for finite field algebra☆12Jan 29, 2021Updated 5 years ago
- experiments with optimizing sha256 on a 64-bit intel cpu☆23Apr 19, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- Detect some forms of linux kernel tampering☆12Jun 12, 2015Updated 11 years ago
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 8 years ago
- Optimized implementations of Poly1305, a fast message-authentication-code☆47Feb 6, 2015Updated 11 years ago
- Find out the resource utilization of the containers in the system☆16Oct 26, 2014Updated 11 years ago
- ☆10Jun 22, 2026Updated last month
- Firmware for Xilinx Platform Cable 1 USB Jtag adapter☆10Jul 24, 2016Updated 10 years ago
- A kind of deployment tool thingy☆16Nov 12, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SCAPtimony is SCAP database and storage server☆14May 31, 2018Updated 8 years ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- An in-browser JavaScript REPL which supports single-stepping☆34Jan 30, 2022Updated 4 years ago
- My favorite quotes☆17Oct 12, 2025Updated 9 months ago
- Grepify the GUI Regex Text Scanner for Code Reviewers☆23Apr 15, 2013Updated 13 years ago
- Hassle free restify servers☆13Jan 14, 2016Updated 10 years ago
- ☆59Apr 17, 2022Updated 4 years ago
- The 1st Golang challenge in Erlang☆11Mar 19, 2015Updated 11 years ago
- An Actor Library for Rust☆20Jun 11, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Header only debug module for c++11☆38Feb 6, 2015Updated 11 years ago
- An embedded dialect of the OMeta language for rapidly developing compilers and code analysis tools.☆16May 29, 2015Updated 11 years ago
- DNSSEC/TLS tools☆36Jan 25, 2014Updated 12 years ago
- Prolog Technology Theorem Prover☆14Jun 19, 2024Updated 2 years ago
- Tcl interface to the Apache Kafka distributed messaging system☆12Dec 30, 2020Updated 5 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Rebar3 Plugin for building & deploying AWS Lambda functions implemented in Erllambda☆15Apr 9, 2026Updated 4 months ago
- SOM - Simple Object Machine☆77Aug 18, 2025Updated 11 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Algorithm for locating anagrams and evaluating their quality☆13May 11, 2017Updated 9 years ago
- asynchronous I/O in Rust☆14Jan 8, 2017Updated 9 years ago
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- Synergy 1.4.12 cracking tool.☆17Mar 1, 2016Updated 10 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- Add a SimpleWebRTC video hangout to your site just by forking this repo and changing the CNAME.☆18Mar 8, 2014Updated 12 years ago