The Hotmoka project
☆21Mar 15, 2026Updated 2 weeks ago
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☆12Mar 2, 2026Updated 3 weeks ago
- JavaScript scripting engine Arduino IDE Library for ESP8266☆11Sep 30, 2019Updated 6 years ago
- A Duino Coin Mining App for Android☆10Feb 19, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 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☆16Dec 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
- ELM327 simulator for testing OBD software☆13Oct 31, 2015Updated 10 years ago
- ⚡ An Android app that allows paying to email-like Bitcoin Lightning addresses from unsupported wallets by turning them to convenient invo…☆17Jul 11, 2025Updated 8 months ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- 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
- Simple web wallet☆16Jan 10, 2026Updated 2 months ago
- the tron wallet of flash☆13Feb 18, 2021Updated 5 years ago
- A multi-hop packet radio routing engine.☆20Oct 16, 2024Updated last year
- CLI tool to convert existing Markdown files into Micron format to use in Nomad Network nodes☆15Oct 20, 2025Updated 5 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
- FlintJVM is a virtual machine that supports running Java programs on resource-constrained hardware☆16Mar 20, 2026Updated last week
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Turn JAR (java archive) into self-contained executable in a single command☆13Apr 25, 2022Updated 3 years ago
- Generate artistic images using Delaunay triangulation algorithm.☆16May 16, 2025Updated 10 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
- CryptoKeyHunter is a Python script that generates an unlimited number of Bitcoin addresses and keys, checks them against a list of target…☆11Oct 8, 2024Updated last year
- Java Nostr-Relay, Relay Framework & WebSocket Application Server☆14Updated this week
- Java x86 emulator based on DOSBox☆17Oct 12, 2024Updated last year
- 3D view interactor (C++, OpenGL).☆15Mar 26, 2016Updated 10 years ago
- Office booking app built in TypeScript using Next.js, React.js, tRPC, NextAuth, Prisma (T3 stack)☆15Sep 20, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Look up and parse OpenAlias data☆25Aug 29, 2024Updated last year
- Fast scanner for exposed env files☆14Nov 14, 2022Updated 3 years ago
- A deeplearning based captcha solver for http://bsr.twse.com.tw/bshtm/☆33Dec 22, 2018Updated 7 years ago
- ProgressBar☆46Aug 25, 2025Updated 7 months ago
- ☆11Nov 14, 2020Updated 5 years ago