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:
- Deprecated; please see `@ethersproject/hardware-wallets` instead☆13Oct 3, 2018Updated 7 years ago
- A dapp for creators managing media rights☆10Sep 12, 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Faucet for Cardano☆10Jan 24, 2026Updated 2 months ago
- 📚 Utilities for the Verto Exchange Network☆12Aug 10, 2021Updated 4 years ago
- ☆20Dec 25, 2025Updated 3 months ago
- A guide to surviving the technical interviewing process☆15Nov 25, 2014Updated 11 years ago
- ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain☆67Updated this week
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 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
- Uses the CryptoKernel library to create a modular cryptocurrency.☆12Nov 29, 2016Updated 9 years ago
- Interpreter for the Joy programming language, written in JavaScript☆14Oct 3, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Jan 25, 2022Updated 4 years ago
- ☆11Jun 1, 2018Updated 7 years ago
- Cardano Explorer App☆103Jan 26, 2024Updated 2 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Ergo bootstrap tool, built on top of ergo-nix, will help you to quickly deploy an Ergo blockchain cluster with a handful of useful tools …☆12Jul 19, 2022Updated 3 years ago
- 💸 Verto's decentralised exchange mediator☆18Feb 13, 2022Updated 4 years ago
- Capturing Passwords With sslstrip From Network When You Are Connected☆11Feb 27, 2016Updated 10 years ago
- ☆20Mar 14, 2023Updated 3 years ago
- ☆25Jan 18, 2019Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆13Jan 12, 2026Updated 3 months ago
- Map of Cardano Shelley nodes from the perspective of a single node☆16May 7, 2023Updated 2 years ago
- Sistema hardware basado en Arduino para detectar Rubber Duckies, evitando su conexión física al PC y permitiendo conectar pendrives o tec…☆12Jul 28, 2022Updated 3 years ago
- A small, horrible, cryptocurrency in Python for educational purposes. Should be teachable in an hour or so, good for experimentation.☆53Aug 24, 2018Updated 7 years ago
- GTK and HTML viewers for mirage-profile trace files☆21Feb 8, 2023Updated 3 years ago
- Compute the timezone of latitude/longitude pairs.☆10Dec 17, 2021Updated 4 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆19Nov 20, 2025Updated 4 months ago
- ☆11Nov 20, 2017Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Go implementation of KERI (Key Event Receipt Infrastructure)☆16Apr 21, 2023Updated 2 years ago
- Infinite relational model (IRM) for datamicroscopes☆14Oct 26, 2015Updated 10 years ago
- ipld handlers for bitcoin☆24Feb 23, 2026Updated last month
- A trace visualization of MicroKanren logic programs, in JS.☆14Jan 1, 2023Updated 3 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- Cross chain swapping tool for Bitcoin-like crypto currencies☆18Nov 9, 2017Updated 8 years ago
- Simulations for the Hydra protocol☆15Jan 26, 2024Updated 2 years ago