The Hotmoka project
☆23May 3, 2026Updated this week
Alternatives and similar repositories for hotmoka
Users that are interested in hotmoka are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Json schema for FCM downstream messages.☆10Aug 10, 2016Updated 9 years ago
- ☆14Nov 30, 2016Updated 9 years ago
- Advanced fold methods for Kotlin☆12May 1, 2026Updated last week
- JavaScript scripting engine Arduino IDE Library for ESP8266☆11Sep 30, 2019Updated 6 years ago
- A Duino Coin Mining App for Android☆11Feb 19, 2024Updated 2 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.
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- To Root Samsung galaxy a12☆17Dec 27, 2022Updated 3 years ago
- ☆13Oct 6, 2012Updated 13 years ago
- API não oficial dos SMTUC baseada na app coimbra.move-me.mobi☆11Jun 8, 2018Updated 7 years ago
- Gradle Plugin that will automate retrieving the Android OpenCV SDK and linking it to the project, making it easy to include OpenCV into A…☆25Feb 27, 2020Updated 6 years ago
- ⚡ An Android app that allows paying to email-like Bitcoin Lightning addresses from unsupported wallets by turning them to convenient invo…☆18Jul 11, 2025Updated 9 months ago
- ELM327 simulator for testing OBD software☆13Oct 31, 2015Updated 10 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- 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.
- Crypto Wallet Hunter: A program to find cryptocurrency wallets with balances. Supports BTC, ETH, TRX, and BNB. Features multi-threaded se…☆13Jan 10, 2025Updated last year
- Examples of Android Applications☆47Jul 31, 2011Updated 14 years ago
- the tron wallet of flash☆13Feb 18, 2021Updated 5 years ago
- Simple web wallet☆16Jan 10, 2026Updated 3 months ago
- A multi-hop packet radio routing engine.☆21Oct 16, 2024Updated last year
- CLI tool to convert existing Markdown files into Micron format to use in Nomad Network nodes☆15Oct 20, 2025Updated 6 months ago
- Chapter 4: Basics of Deep Learning☆10Jul 23, 2019Updated 6 years ago
- A reimplementation of the original Zork game developed by Infocom☆18Jun 1, 2023Updated 2 years ago
- Turn JAR (java archive) into self-contained executable in a single command☆13Apr 25, 2022Updated 4 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.
- Generate artistic images using Delaunay triangulation algorithm.☆16May 16, 2025Updated 11 months ago
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- Application croosplatform ( android / ios / windows / linux / max ) that monitor current data recieved from OBD2 ( ELM327 ) in real time☆14May 17, 2019Updated 6 years ago
- Java Nostr-Relay, Relay Framework & WebSocket Application Server☆14Apr 21, 2026Updated 2 weeks ago
- CryptoKeyHunter is a Python script that generates an unlimited number of Bitcoin addresses and keys, checks them against a list of target…☆12Oct 8, 2024Updated last year
- Java x86 emulator based on DOSBox☆18Oct 12, 2024Updated last year
- 3D view interactor (C++, OpenGL).☆15Mar 26, 2016Updated 10 years ago
- FlintJVM is a virtual machine that supports running Java programs on resource-constrained hardware☆17Updated this week
- Office booking app built in TypeScript using Next.js, React.js, tRPC, NextAuth, Prisma (T3 stack)☆15Sep 20, 2023Updated 2 years ago
- 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.
- Pay Hub for decentralized web. Bring payment to every website without a payment center.☆10Jun 25, 2021Updated 4 years ago
- CDN-based React development starter with Snowpack and Skypack☆13Jan 25, 2021Updated 5 years ago
- Fast scanner for exposed env files☆14Nov 14, 2022Updated 3 years ago
- Look up and parse OpenAlias data☆25Aug 29, 2024Updated last year
- A deeplearning based captcha solver for http://bsr.twse.com.tw/bshtm/☆33Dec 22, 2018Updated 7 years ago
- ProgressBar☆47Aug 25, 2025Updated 8 months ago
- ☆11Nov 14, 2020Updated 5 years ago