A Formal Library as a Bitcoin Spin-Off
☆17Jun 11, 2017Updated 9 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:
- ☆29Apr 19, 2021Updated 5 years ago
- wiki con la documentación generada en las asignaturas de arquitectura y desarrollo web.☆11May 10, 2021Updated 5 years ago
- Deprecated; please see `@ethersproject/hardware-wallets` instead☆13Oct 3, 2018Updated 7 years ago
- ☆11Nov 13, 2024Updated last year
- Modular blockchain framework. Public domain☆505Aug 27, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Repository for the codes in my upcoming book on Machine Learning☆13Sep 27, 2024Updated last year
- 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 5 years ago
- Scientific Machine Learning☆17Aug 12, 2025Updated 10 months ago
- Open source application software in Python3 for calculating the preconsolidation pressure.☆12Oct 31, 2023Updated 2 years ago
- 📚 Utilities for the Verto Exchange Network☆12Aug 10, 2021Updated 4 years ago
- Faucet for Cardano☆10May 29, 2026Updated 2 weeks ago
- ☆20Apr 26, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆28May 6, 2020Updated 6 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
- Kubernetes kustomize template to setup Cardano APIs. **NOTE**: This project is actually managed from: https://gitlab.com/gimbalabs/dandel…☆12May 23, 2024Updated 2 years ago
- Geotechnical earthquake engineering models implemented in Python.☆11Apr 13, 2026Updated 2 months ago
- JavaScript (nodes) Implementation of the KERI core library.☆11Apr 21, 2023Updated 3 years ago
- An easy to use framework for building Ergo headless dApps. Developed by EMURGO and Ergo Platform.☆25Jan 25, 2022Updated 4 years ago
- Smart contracts and specification of the AMM protocol on top of the Cardano blockchain☆36Sep 13, 2023Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A zero-knowledge sync & messaging framework for your app, built atop AWS & the Ethereum blockchain.☆15Jul 24, 2020Updated 5 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Software with GUI for 1D seismic site response analysis☆18Apr 5, 2021Updated 5 years ago
- FAQ with instructions for common queries asked by general public☆12Sep 8, 2025Updated 9 months ago
- ☆11Jun 1, 2018Updated 8 years ago
- Cardano Explorer App☆102Jan 26, 2024Updated 2 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
- Julia for HPC course at TU Delft☆18Oct 17, 2024Updated last year
- Mobile client for eventigo.cz written in React Native☆10Oct 8, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- ☆12Aug 24, 2014Updated 11 years ago
- ☆20Mar 14, 2023Updated 3 years ago
- A simple Chrome / Edge Chromium extension to unsend all messenger conversations.☆11Jan 18, 2024Updated 2 years ago
- ☆25Jan 18, 2019Updated 7 years ago
- Foreign variables, deprecated in favor of `StateVar`☆11May 1, 2019Updated 7 years ago
- ☆13Jan 12, 2026Updated 5 months ago