A Formal Library as a Bitcoin Spin-Off
☆17Jun 11, 2017Updated 8 years ago
Alternatives and similar repositories for qeditas
Users that are interested in qeditas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Distributed signatures implemented on top of ERGO.☆10Oct 8, 2020Updated 5 years ago
- The 21 Datamarket allows you to publish sensors to sell their measurement data. Data requesters are able to query the datamarket for sens…☆15Apr 24, 2016Updated 9 years ago
- Explore a large 2GB dataset of soil measurements taken across the US☆10Feb 27, 2025Updated last year
- A dapp for creators managing media rights☆10Sep 12, 2016Updated 9 years ago
- Datasets and notebooks☆13Oct 26, 2016Updated 9 years ago
- REGISTRY: Linked Data Keys Registry (managed by W3C Credentials Community Group)☆12Feb 23, 2022Updated 4 years ago
- Citadel apps☆15Oct 2, 2023Updated 2 years ago
- Market Making trading bot for Saturn Network DEX☆12May 9, 2021Updated 4 years ago
- Faucet for Cardano☆10Jan 24, 2026Updated 2 months ago
- A guide to surviving the technical interviewing process☆15Nov 25, 2014Updated 11 years ago
- WebAssembly version of Plorth programming language☆16Dec 20, 2017Updated 8 years ago
- 🔧 My own simple useful tools for many things☆13Oct 18, 2022Updated 3 years ago
- ☆28May 6, 2020Updated 5 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Code used in the 2023 Alert Geomaterials doctoral school on Machine in Geomechanics☆13Oct 2, 2023Updated 2 years ago
- 🧹 A libp2p DHT scraper as a service allowing anyone to collect, consume and use to generate useful reports & visualisations.☆22Jan 11, 2022Updated 4 years ago
- Anolis UI is a nice component library for React offering high flexibility and themeability, yet easy to setup with minimal config.☆14Sep 2, 2023Updated 2 years ago
- Uses the CryptoKernel library to create a modular cryptocurrency.☆12Nov 29, 2016Updated 9 years ago
- Detection of Open Landfills - Basurales a Cielo Abierto☆13Mar 15, 2022Updated 4 years ago
- JavaScript (nodes) Implementation of the KERI core library.☆11Apr 21, 2023Updated 2 years ago
- A transducer library for Rust☆10May 22, 2016Updated 9 years ago
- Word embeddings learned from 10-K documents☆11Nov 6, 2019Updated 6 years ago
- Software with GUI for 1D seismic site response analysis☆16Apr 5, 2021Updated 4 years ago
- Repository for Machine Learning in Geotechnics☆14Feb 25, 2022Updated 4 years ago
- A list of important security checks for GitHub individual and organization accounts☆15Jan 1, 2018Updated 8 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Mobile client for eventigo.cz written in React Native☆10Oct 8, 2017Updated 8 years ago
- Julia for HPC course at TU Delft☆17Oct 17, 2024Updated last year
- 💸 Verto's decentralised exchange mediator☆18Feb 13, 2022Updated 4 years ago
- Topological Data Analysis of a Financial Time Series for insights from Landscapes for detecting Financial Crashes☆12Mar 14, 2018Updated 8 years ago
- Lecture notes for EN 560.630 Structural Dynamics in the Department of Civil and Systems Engineering, Johns Hopkins University☆19Nov 1, 2022Updated 3 years ago
- Capturing Passwords With sslstrip From Network When You Are Connected☆11Feb 27, 2016Updated 10 years ago
- ☆20Mar 14, 2023Updated 3 years ago
- ☆13Jan 12, 2026Updated 2 months ago
- JavaScript implementation of the IPLD dag-cbor format.☆54Aug 11, 2021Updated 4 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- Seismic Earth Pressure Calculator☆14Jan 6, 2026Updated 2 months ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- Public ML-programming courses carried out by NGI. Focusing on geotechnical challenges and datasets.☆13Jun 10, 2022Updated 3 years ago