Seed of Proof
☆13Sep 12, 2019Updated 6 years ago
Alternatives and similar repositories for proofseed
Users that are interested in proofseed are comparing it to the libraries listed below
Sorting:
- Create database files for the genealogytree LaTeX package from GEDCOM files☆11Mar 11, 2025Updated 11 months ago
- use cling scripting with C++ and cmake☆34Aug 24, 2019Updated 6 years ago
- Command-line tool for interacting with pgdash.io☆35Jan 18, 2026Updated last month
- ARticated; An augmented reality application for Android☆10Apr 10, 2023Updated 2 years ago
- WizCanvas allows a developer to create a ultra-performant native canvas component. The view is based on the Ejecta framework and has WebG…☆43Mar 2, 2015Updated 10 years ago
- Console utility to view saved passwords in Chrome and export to .csv file (Windows)☆12Sep 17, 2018Updated 7 years ago
- Examples of how to achieve OpenGL streaming with Qt, Websockets etc☆13May 25, 2016Updated 9 years ago
- WebsitePanel☆10Oct 11, 2020Updated 5 years ago
- SDK for reading the NIS code from an Italian Electronic Identity Card (CIE) using C++☆11Mar 8, 2021Updated 4 years ago
- Well optimised threading safe database engine could be used to build pretty well performed databases on top of it☆10Apr 7, 2022Updated 3 years ago
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- Toy implementation of Green Threads based on https://cfsamson.gitbook.io/green-threads-explained-in-200-lines-of-rust☆10Jul 24, 2020Updated 5 years ago
- Combinator Parsers using C++ 17☆11May 27, 2021Updated 4 years ago
- Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/☆10Jul 23, 2020Updated 5 years ago
- Clojure library for parsing and seamless working with native C structs/structured byte buffers☆14May 26, 2015Updated 10 years ago
- human readable transactions by translating SC code with openAI☆10Oct 5, 2022Updated 3 years ago
- Software Renderer written in Rust☆12Dec 23, 2025Updated 2 months ago
- Demo project for CoIDE to use the USB peripheral of Nucleo F401 board as USB host or device with Mass Storage Class.☆10Dec 3, 2014Updated 11 years ago
- C++ library for writing short anonymous functions☆11Jul 31, 2017Updated 8 years ago
- Source Codes for "Learning Algorithm with C++" Lecture.☆11Feb 19, 2026Updated last week
- STM32 based CHIP-8 and Super-CHIP emulator☆11Mar 22, 2020Updated 5 years ago
- Yet another single process KVS server implemented over file-based database☆12Jan 10, 2020Updated 6 years ago
- A simple distributed lock manager☆12Nov 11, 2019Updated 6 years ago
- Elm in JS☆19Nov 24, 2013Updated 12 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- 🎲 Simple, compiler agnostic, C++23 reflection library (for aggregates and enums)☆19Aug 26, 2025Updated 6 months ago
- SQLite load testing application using GitHub Archive data.☆14Apr 16, 2022Updated 3 years ago
- Spatial join, written in Java.☆18Oct 13, 2020Updated 5 years ago
- Qt In-App Purchasing API☆18Oct 31, 2025Updated 3 months ago
- Identicon implementation in Rust☆11Aug 7, 2023Updated 2 years ago
- What you believe will work, will work.☆16Dec 17, 2025Updated 2 months ago
- Dead simple datetime and timspan for Clojure☆49Dec 10, 2015Updated 10 years ago
- A distributed Key/Value storage, which uses client devices as a replica and stores each user data in a different partition☆16Aug 28, 2023Updated 2 years ago
- An Xposed Mod to ensure NFC remains enabled when the phone screen is off, or if you're at the lockscreen☆17May 4, 2014Updated 11 years ago
- Plugins for HoMM3☆11May 31, 2024Updated last year
- Evergreen front-end☆12Apr 5, 2024Updated last year
- ☆12Jun 25, 2021Updated 4 years ago
- A starter kit to bootstrap your react development using Webpack☆10Nov 3, 2015Updated 10 years ago
- Clojure wrapper library for the Saxon XSLT 2.0 processor.☆36Dec 9, 2016Updated 9 years ago