The Hotmoka project
☆23May 6, 2026Updated 3 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☆12May 1, 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☆11Feb 19, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 10 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Crypto Wallet Hunter: A program to find cryptocurrency wallets with balances. Supports BTC, ETH, TRX, and BNB. Features multi-threaded se…☆12Jan 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 4 months ago
- A multi-hop packet radio routing engine.☆23Oct 16, 2024Updated last year
- CLI tool to convert existing Markdown files into Micron format to use in Nomad Network nodes☆16Oct 20, 2025Updated 7 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Generate artistic images using Delaunay triangulation algorithm.☆16May 16, 2025Updated last year
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- A nostr-tools inspired library for Arduino (and other) microcontrollers. With NWC support☆10May 20, 2026Updated last week
- Application croosplatform ( android / ios / windows / linux / max ) that monitor current data recieved from OBD2 ( ELM327 ) in real time☆14May 17, 2019Updated 7 years ago
- Java Nostr-Relay, Relay Framework & WebSocket Application Server☆14May 7, 2026Updated 3 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☆19Oct 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
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- FlintJVM is a virtual machine that supports running Java programs on resource-constrained hardware☆17May 21, 2026Updated last week
- 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☆16Nov 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 9 months ago