A proposal for a system of decentralized trust, built on an open, public blockchain.
☆14Jun 5, 2019Updated 6 years ago
Alternatives and similar repositories for numerifides
Users that are interested in numerifides are comparing it to the libraries listed below
Sorting:
- OKExChain Testnets☆10Mar 29, 2023Updated 2 years ago
- Simple PHP Upload() class with resizeTo() and Watermark() classes.☆13Feb 1, 2018Updated 8 years ago
- ☆20Jan 8, 2026Updated last month
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆11Jan 24, 2025Updated last year
- Vagrant Box that sets up SailsJS with everything you could want.☆24Aug 25, 2014Updated 11 years ago
- Bridging Handshake & ICANN TLDs☆11Mar 25, 2021Updated 4 years ago
- Work-in-progress Dissent port/rewrite for low-latency anonymous communication☆11Jul 13, 2018Updated 7 years ago
- Zclassic Official Website - https://zclassic.org☆11Jul 30, 2022Updated 3 years ago
- Solidity contracts for ETH mainnet deploy of Clipper DEX☆11Oct 5, 2021Updated 4 years ago
- Few tests to check docker for mac performance hacks☆10Feb 14, 2017Updated 9 years ago
- URI parser☆10Apr 13, 2016Updated 9 years ago
- ☆14Nov 25, 2022Updated 3 years ago
- ☆17May 19, 2014Updated 11 years ago
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- A simple tool to scaffold Ansible projects☆13Jan 3, 2017Updated 9 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated last year
- State Machine Compiler☆15Jan 27, 2009Updated 17 years ago
- ☆12Aug 11, 2018Updated 7 years ago
- Logger Factory for Monolog☆10Dec 15, 2025Updated 2 months ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- Tradecraft integration/staging tree https://tradecraft.io/download☆13Jan 14, 2025Updated last year
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- ☆19Oct 21, 2014Updated 11 years ago
- A bare-bones console logger for Sublime Text 2 and 3.☆13Dec 2, 2016Updated 9 years ago
- 第三方登陆库☆10Sep 26, 2015Updated 10 years ago
- Simple nodejs box vagrant configuration (trusty64, nodejs, git, bower...)☆10Oct 25, 2014Updated 11 years ago
- ☆11Oct 31, 2020Updated 5 years ago
- ☆12Oct 18, 2022Updated 3 years ago
- implementing a simplified, subset of PromiseKit for an upcoming book☆11Sep 19, 2017Updated 8 years ago
- ethereum environments provisioning and automated vm builds☆15Jun 15, 2014Updated 11 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Sep 17, 2019Updated 6 years ago
- An arduino video game console that uses cartridges and has the same size as a standard business card☆12Aug 19, 2021Updated 4 years ago
- WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning☆12Feb 24, 2024Updated 2 years ago
- Cook feeds☆10Nov 11, 2022Updated 3 years ago
- a JavaScript Implementation of Primea HyperVisor☆41Jun 1, 2020Updated 5 years ago
- ☆10Nov 26, 2024Updated last year
- Very small and basic router for React☆11Aug 23, 2024Updated last year
- Superset of Yul☆17Aug 11, 2025Updated 6 months ago