VictorTaelin / lsignView external linksLinks
Quantum-proof, 768-bit signatures for 1-bit messages
☆11Mar 11, 2020Updated 5 years ago
Alternatives and similar repositories for lsign
Users that are interested in lsign are comparing it to the libraries listed below
Sorting:
- An implementation of the Formality language in C☆13Oct 12, 2019Updated 6 years ago
- A simple, untyped, terminating functional language that is fully compatible with optimal reductions.☆17Jun 17, 2019Updated 6 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Jul 8, 2025Updated 7 months ago
- ☆11Updated this week
- An implementation of the Formality language in JavaScript☆71Aug 27, 2019Updated 6 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 years ago
- ☆11Oct 27, 2021Updated 4 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- ⭕️ N2O: Haskell Application Server☆46Feb 16, 2022Updated 3 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- A collection of post-quantum cryptographic algorithms (and emerging standards) implemented in Rust.☆16Jul 18, 2025Updated 6 months ago
- Online Binary Image Index☆13Nov 14, 2016Updated 9 years ago
- Drivers for interfacing HackRF radios with REDHAWK☆11Jun 18, 2020Updated 5 years ago
- A JSON parser for VBScript.☆12Feb 21, 2021Updated 4 years ago
- A native iOS double slider for Titanium Mobile.☆27Feb 22, 2016Updated 9 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10Feb 5, 2026Updated last week
- MemPool is a module created to simplify the debugging of application performance in Appcelerator's Titanium☆11Jan 19, 2013Updated 13 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Succinct cheatsheet of algorithms and when to use them☆10Sep 13, 2016Updated 9 years ago
- Simple example of motoko outcalls☆10Aug 21, 2024Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- ☆10Oct 22, 2021Updated 4 years ago
- C function library for working with the TMS9918A/28A/29A video processor using the MSX BIOS.☆10Jul 28, 2025Updated 6 months ago
- Context aware computing for Mac OS X☆19Sep 17, 2009Updated 16 years ago
- Pipe your Mac Contacts to stdout in NDJSON format☆13Dec 9, 2016Updated 9 years ago
- The original Vue Webpack, with Veux, Pug, CoffeeScript and Stylus added☆12May 29, 2024Updated last year
- Mobile Tuts Plus UIStoryboard☆22Nov 30, 2011Updated 14 years ago
- a complete rewrite of wscript.exe, for *NIX☆13Nov 2, 2018Updated 7 years ago
- btree written in c☆10Feb 26, 2015Updated 10 years ago
- K-means Algorithm in Ruby☆10Mar 14, 2015Updated 10 years ago
- ☆11Nov 10, 2021Updated 4 years ago
- Administrative repo for the Lathe collection of general-purpose libraries.☆14Jan 7, 2022Updated 4 years ago
- The code used to generate the Quandoom QASM file☆14Nov 7, 2024Updated last year
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- ☆10Oct 16, 2017Updated 8 years ago
- Free Scientific Research Sites and Repositories for scientific journals, articles, papers, monographs, dissertation and thesis☆12Oct 9, 2021Updated 4 years ago
- Camera intrinsics database☆19Jun 23, 2012Updated 13 years ago
- CHIP8 emulator for PlayStation2, PlayStation3 and Linux☆12Jul 31, 2022Updated 3 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago