Mathematical proofs in c++ by way of the Curry Howard isomorphism.
☆13May 18, 2019Updated 6 years ago
Alternatives and similar repositories for Truth
Users that are interested in Truth are comparing it to the libraries listed below
Sorting:
- Command-line Bitcoin Script bytecode disassembler.☆13Aug 30, 2019Updated 6 years ago
- Bitcoin Core RPC API history☆12Mar 20, 2019Updated 6 years ago
- Random collection of zero-knowledge stuff☆15May 20, 2018Updated 7 years ago
- Private keys for Bitcoin☆27Nov 15, 2020Updated 5 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- My stuff☆12Nov 22, 2023Updated 2 years ago
- ギガンティック☆整地鯖のランキングページ☆10Mar 12, 2023Updated 2 years ago
- Provides an API for controlling various electronics laboratory equipment☆13Feb 19, 2026Updated last week
- Hempcoin Crypto Currency and Crypto-Stash☆40Sep 7, 2020Updated 5 years ago
- Komodo QT wallet☆10Oct 17, 2022Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Seller.Trade - A Decentralized Bitcoin Seller Marketplace.☆12Apr 19, 2015Updated 10 years ago
- MyBitcoinZ Multiplatform Copay Port☆12Oct 28, 2017Updated 8 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- ☆10Nov 23, 2024Updated last year
- A rule-based stream reasoning engine utilizing sliding windows☆10Jun 3, 2022Updated 3 years ago
- Easily make & receive Bitcoin and Lightning Network payments on the web using your Casa Node.☆12Jan 5, 2021Updated 5 years ago
- Docker-Compose for production (Let's encrypt + NGINX + lightning charged + C-Lightning + Bitcoin Core)☆11Jun 26, 2018Updated 7 years ago
- Official Links for Bitcoin Private☆15Nov 7, 2020Updated 5 years ago
- QR code 2005 encoder in Emacs Lisp☆10Feb 7, 2016Updated 10 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- The Flask Async uWSGI WebSocket postgresql Notify is a Flask Extension allowing websocket uwsgi broadcasting from postgresql notify chann…☆11Jun 27, 2016Updated 9 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- A Python framework for structural bioinformatics.☆14Jan 20, 2024Updated 2 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Rapid system integration of high-level synthesis kernels using the LEAP FPGA framework☆12Apr 17, 2016Updated 9 years ago
- L7mp: A L7 multiprotocol proxy and service mesh☆16Dec 12, 2025Updated 2 months ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated last month
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- An R package for feature selection in topological spaces.☆10Aug 12, 2021Updated 4 years ago
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Jan 11, 2021Updated 5 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- ☆12Sep 17, 2019Updated 6 years ago
- Repository of benchmarks for SYNTCOMP☆14Sep 16, 2025Updated 5 months ago
- Relational Programming DSL in Scala. Yet another minikanren port!☆15Nov 11, 2016Updated 9 years ago
- API Server for Sugarchain☆13Mar 12, 2024Updated last year
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- A collection of tools that help me work with Avro☆24Jan 7, 2010Updated 16 years ago