The Hotmoka project
☆23Jul 3, 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
- ☆13Oct 6, 2012Updated 13 years ago
- ☆14Nov 30, 2016Updated 9 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆13Aug 16, 2018Updated 7 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…☆13Sep 27, 2021Updated 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.
- A Duino Coin Mining App for Android☆11Feb 19, 2024Updated 2 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- JavaScript scripting engine Arduino IDE Library for ESP8266☆11Sep 30, 2019Updated 6 years ago
- Advanced fold methods for Kotlin☆13Jul 2, 2026Updated 3 weeks ago
- 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
- 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
- To Root Samsung galaxy a12☆18Dec 27, 2022Updated 3 years ago
- Simple web wallet☆16Jan 10, 2026Updated 6 months ago
- API não oficial dos SMTUC baseada na app coimbra.move-me.mobi☆11Jun 8, 2018Updated 8 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.
- Office booking app built in TypeScript using Next.js, React.js, tRPC, NextAuth, Prisma (T3 stack)☆15Sep 20, 2023Updated 2 years ago
- ELM327 simulator for testing OBD software☆13Oct 31, 2015Updated 10 years ago
- the tron wallet of flash☆13Feb 18, 2021Updated 5 years ago
- ⚡ An Android app that allows paying to email-like Bitcoin Lightning addresses from unsupported wallets by turning them to convenient invo…☆19Jun 4, 2026Updated last month
- Generate artistic images using Delaunay triangulation algorithm.☆16May 16, 2025Updated last year
- Oikos Swap V1 Frontend☆11Mar 29, 2025Updated last year
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- Open source personal messaging application.☆12May 2, 2026Updated 2 months ago
- A reimplementation of the original Zork game developed by Infocom☆19Jun 1, 2023Updated 3 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.
- LightText (LT) is a lightning wallet that allows you to send and receive bitcoin payments over the lightning network. LT is an SMS client…☆10May 3, 2019Updated 7 years ago
- CryptoKeyHunter is a Python script that generates an unlimited number of Bitcoin addresses and keys, checks them against a list of target…☆13Oct 8, 2024Updated last year
- 3D view interactor (C++, OpenGL).☆15Mar 26, 2016Updated 10 years ago
- Pay Hub for decentralized web. Bring payment to every website without a payment center.☆10Jun 25, 2021Updated 5 years ago
- Turn JAR (java archive) into self-contained executable in a single command☆13Apr 25, 2022Updated 4 years ago
- Application croosplatform ( android / ios / windows / linux / max ) that monitor current data recieved from OBD2 ( ELM327 ) in real time☆15May 17, 2019Updated 7 years ago
- CDN-based React development starter with Snowpack and Skypack☆12Jan 25, 2021Updated 5 years ago
- A nostr-tools inspired library for Arduino (and other) microcontrollers. With NWC support☆11May 20, 2026Updated 2 months ago
- A deeplearning based captcha solver for http://bsr.twse.com.tw/bshtm/☆34Dec 22, 2018Updated 7 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.
- Minero is a simple bot that helps run crypto mining application based on profitability☆19Dec 26, 2017Updated 8 years ago
- Java Nostr-Relay, Relay Framework & WebSocket Application Server☆14Updated this week
- Look up and parse OpenAlias data☆25Aug 29, 2024Updated last year
- Quantum computation is now encroaching in every field of science. One such use of quantum computation is shown here in a field of machine…☆10Aug 24, 2019Updated 6 years ago
- Java x86 emulator based on DOSBox☆19Oct 12, 2024Updated last year
- This program categorizes a given query's "search intent" via the kinds of SERP features present for the query.☆23Apr 20, 2019Updated 7 years ago
- Simple Java GSM modem service to send and receive SMS☆12Mar 25, 2024Updated 2 years ago