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
- ☆11Updated this week
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Jul 8, 2025Updated 7 months ago
- An implementation of the Formality language in JavaScript☆71Aug 27, 2019Updated 6 years ago
- A native iOS double slider for Titanium Mobile.☆27Feb 22, 2016Updated 9 years ago
- This is a translation of source code from SICP into SML/NJ.☆13Jun 2, 2010Updated 15 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 8, 2026Updated last week
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- MemPool is a module created to simplify the debugging of application performance in Appcelerator's Titanium☆11Jan 19, 2013Updated 13 years ago
- A collection of post-quantum cryptographic algorithms (and emerging standards) implemented in Rust.☆16Jul 18, 2025Updated 6 months ago
- Drivers for interfacing HackRF radios with REDHAWK☆11Jun 18, 2020Updated 5 years ago
- Online Binary Image Index☆13Nov 14, 2016Updated 9 years ago
- A JSON parser for VBScript.☆12Feb 21, 2021Updated 4 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- ⭕️ N2O: Haskell Application Server☆46Feb 16, 2022Updated 3 years ago
- ☆11Oct 27, 2021Updated 4 years ago
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- Camera intrinsics database☆19Jun 23, 2012Updated 13 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Exploits weaknesses in RC4 to mount a chosen-plaintext attack and recover the private key. The vulnerability is similar to the one used t…☆12Nov 22, 2022Updated 3 years ago
- Maximize yields on assets across different AAVE markets☆12Feb 11, 2021Updated 5 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- tickdream rust event - Async IO similar to libevent☆11May 13, 2022Updated 3 years ago
- 🗄️ Networked in-memory key-value store.☆11Jan 2, 2018Updated 8 years ago
- Hackathon project for Snarky workshop.☆11Jun 21, 2019Updated 6 years ago
- Erlang client for StatsD☆19Oct 9, 2018Updated 7 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated 2 weeks ago
- Specification of the Formality proof and programming language☆41Feb 5, 2023Updated 3 years ago
- Concise, powerful asynchronous flow control library for JavaScript☆84Jun 29, 2017Updated 8 years ago
- Full node of Substrate/Polkadot modules for decentralized communities: blogs, posts, comments, likes, reputation.☆10Jun 29, 2020Updated 5 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- ☆10Oct 16, 2017Updated 8 years ago
- ☆11Sep 4, 2019Updated 6 years ago
- The code used to generate the Quandoom QASM file☆14Nov 7, 2024Updated last year
- online decision-making platform☆14Sep 10, 2023Updated 2 years ago
- ☆11Jun 2, 2015Updated 10 years ago
- A Free-Software JavaScript Library made by people for the people!☆10Aug 1, 2020Updated 5 years ago