Smart Pesa - a USSD/SMS Interface to Smart Contracts, #defi & Decentralised Applications
☆11Sep 30, 2019Updated 6 years ago
Alternatives and similar repositories for S-Pesa
Users that are interested in S-Pesa are comparing it to the libraries listed below
Sorting:
- A quickcheck library for Nim☆19Mar 10, 2020Updated 5 years ago
- Autograd (backpropagation, reverse-mode auto differentiation) in Nim☆12Oct 25, 2017Updated 8 years ago
- Jumpstart your Nim project at Status☆11Aug 24, 2019Updated 6 years ago
- nmi display animations aimed to correct users who accidentally enter nmi instead of nim. nmi is heavily inspired by sl .☆13Jul 29, 2020Updated 5 years ago
- ☆20Aug 27, 2020Updated 5 years ago
- World's best progamming language☆16Nov 20, 2019Updated 6 years ago
- My Nim solutions for Advent of Code 2018☆13Nov 29, 2024Updated last year
- example "Nim to wasm".☆20Jan 3, 2020Updated 6 years ago
- Anonymous decentralized message broadcasting based on Libp2p and Dandelion++☆18Apr 12, 2020Updated 5 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 5 years ago
- A TLA+ formalization of the algorithm described in "Paxos Made Simple"☆21Jan 28, 2025Updated last year
- Nim Ethereum Contract DSL. Targeting eWASM.☆20Jan 21, 2020Updated 6 years ago
- Delaunay Triangulations in Nim☆19Sep 30, 2023Updated 2 years ago
- Reinforcement Learning Agents & Algorithms exploration☆19Dec 21, 2018Updated 7 years ago
- ☆38Nov 8, 2019Updated 6 years ago
- Interface macro for nim☆20Jun 23, 2023Updated 2 years ago
- This future is war. Go back in time to fix it all.☆20Jan 3, 2021Updated 5 years ago
- ☆20Feb 23, 2021Updated 5 years ago
- A JSON5 implementation for Nim.☆21Apr 28, 2020Updated 5 years ago
- A file system monitor in Nim☆44Jan 10, 2026Updated last month
- stateless model checking for thread libraries, kernels, and transactional memory