☆14Feb 8, 2015Updated 11 years ago
Alternatives and similar repositories for ledgertheory
Users that are interested in ledgertheory are comparing it to the libraries listed below
Sorting:
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- arg(z)☆13May 7, 2022Updated 3 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆66Jun 26, 2024Updated last year
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31May 29, 2021Updated 4 years ago
- ☆11Sep 15, 2020Updated 5 years ago
- Bamboo: a morphing smart contract language☆37Nov 1, 2018Updated 7 years ago
- Machine Learning project to identify Japanese characters (hiragana) from a data set.☆14Nov 24, 2018Updated 7 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- A small Perl module to eliminate boilerplate overhead when using the Zabbix API☆11Jan 31, 2025Updated last year
- This is a school project for a fashion store management, we use Java Swing, Hibernate ORM , SQL Server☆12Dec 13, 2021Updated 4 years ago
- Generate C++ API client libraries from Protocol Buffers.☆14Jan 17, 2020Updated 6 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 2 weeks ago
- A curated list of insanely awesome libraries, packages and resources for Quants (Quantitative Finance)☆12Jun 1, 2018Updated 7 years ago
- An emulator for the Three Rivers Computer PERQ workstation☆12Jan 23, 2026Updated last month
- Symbian Utilities☆11Nov 7, 2016Updated 9 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- The Art of the Steal / Deal - Made in Austria - Collection of Token White Papers on the Blockchain - Incl. Scam Alert - Thanks for your m…☆10Jan 2, 2021Updated 5 years ago
- Pong game written in the boot sector☆38Jan 26, 2026Updated last month
- Lightweight cryptography☆14Nov 7, 2022Updated 3 years ago
- Solvers and makers for Pencil Puzzles☆19Nov 15, 2011Updated 14 years ago
- Blockchain-based Federated Learning Utilizing Zero-Knowledge Proofs for Verifiable Training and Aggregation☆14Dec 26, 2024Updated last year
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- An implementation of the Xerox IFS protocol suite☆12Oct 3, 2023Updated 2 years ago
- Formal Language Tools for Robots☆15Jun 29, 2016Updated 9 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- Demo of google-map-react and Next.js☆10May 18, 2018Updated 7 years ago
- Filesystem browser written in RapidApp☆11Oct 26, 2020Updated 5 years ago
- Make your own push-to-talk button to use with the Zello app.☆12May 13, 2025Updated 9 months ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14May 9, 2025Updated 9 months ago
- A sample app demonstrating how to do App Engine authentication in an Android app☆29May 5, 2010Updated 15 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- Decree Fiat Shamir Library☆12Mar 27, 2024Updated last year
- Automated Telegram chat statistics by treating them as IRC channels☆14Nov 13, 2016Updated 9 years ago
- Welcoming all Electronics enthusiasts and Learners to contribute and learn this HacktoberFest21.☆11Oct 23, 2021Updated 4 years ago
- Allow editting of text documents☆14Jul 25, 2021Updated 4 years ago
- It's a CP/M 2.2 Emulator for Win32/64 and Linux☆11May 11, 2024Updated last year
- The FreeDOS mouse driver☆16May 7, 2016Updated 9 years ago
- 翻墙浏览☆12Jan 13, 2026Updated last month
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jan 24, 2026Updated last month