The Hotmoka project
☆23Jul 28, 2026Updated 2 months 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 10 years ago
- ☆13Oct 6, 2012Updated 14 years ago
- ☆14Nov 30, 2016Updated 9 years ago
- A python tool for solving reachability/safety, parity, weak parity and generalized parity games☆12Aug 16, 2018Updated 8 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 5 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.
- A Duino Coin Mining App for Android☆11Oct 7, 2026Updated last week
- JavaScript scripting engine Arduino IDE Library for ESP8266☆11Sep 30, 2019Updated 7 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆12Oct 31, 2023Updated 2 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
- To Root Samsung galaxy a12☆18Dec 27, 2022Updated 3 years ago
- Simple web wallet☆16Jan 10, 2026Updated 9 months ago
- API não oficial dos SMTUC baseada na app coimbra.move-me.mobi☆11Jun 8, 2018Updated 8 years ago
- Office booking app built in TypeScript using Next.js, React.js, tRPC, NextAuth, Prisma (T3 stack)☆15Sep 20, 2023Updated 3 years ago
- the tron wallet of flash☆13Feb 18, 2021Updated 5 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.
- ELM327 simulator for testing OBD software☆14Oct 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…☆21Jun 4, 2026Updated 4 months ago
- Generate artistic images using Delaunay triangulation algorithm.☆16May 16, 2025Updated last year
- Oikos Swap V1 Frontend☆10Mar 29, 2025Updated last year
- Visualization of the surreal number tree.☆11Nov 19, 2021Updated 4 years ago
- Open source personal messaging application.☆12Updated this week
- 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…☆12Oct 8, 2024Updated 2 years ago
- Advanced fold methods for Kotlin☆13Sep 1, 2026Updated last month
- 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.
- 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
- CDN-based React development starter with Snowpack and Skypack☆12Jan 25, 2021Updated 5 years ago
- Nostr and NWC for ESP32 Arduino☆12Sep 1, 2026Updated last month
- A reimplementation of the original Zork game developed by Infocom☆19Jun 1, 2023Updated 3 years ago
- Sip engine powered by libre☆13Sep 27, 2015Updated 11 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
- Minero is a simple bot that helps run crypto mining application based on profitability☆20Dec 26, 2017Updated 8 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 deeplearning based captcha solver for http://bsr.twse.com.tw/bshtm/☆35Dec 22, 2018Updated 7 years ago
- Look up and parse OpenAlias data☆25Aug 29, 2024Updated 2 years ago
- Java Nostr-Relay, Relay Framework & WebSocket Application Server☆14Sep 23, 2026Updated 3 weeks ago
- 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 7 years ago
- 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
- ☆14Sep 8, 2016Updated 10 years ago