This project is to create a system that uses DeFi technology to enforce contracts. Users will be able to set up contracts between each other, this includes an escrow service for payments. If users disagree over whether a contract was fulfilled, a jury appointed by the system will make the final decision.
☆19Oct 14, 2021Updated 4 years ago
Alternatives and similar repositories for Smart-Contract-Verifier
Users that are interested in Smart-Contract-Verifier are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Firefox addons for GitZip☆24Aug 21, 2023Updated 2 years ago
- ClassConnect is an innovative educational platform that blends the traditional learning hub with a 3D learning environment.☆16Oct 21, 2024Updated last year
- This repository is my documenting repository for learning the world of DevOps. I started this journey on the 1st January 2022 and I plan …☆17Jan 29, 2023Updated 3 years ago
- Instagram generative and retrieval chatbot☆27Feb 27, 2021Updated 5 years ago
- Numerica is an open-source mathematics library for Rust, that provides high-performance number types, such as error-tracking floats and f…☆50Jun 20, 2026Updated last month
- 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 composite Github Action to execute the Kotlin Script with compiler plugin and dependency caching!☆11Jun 23, 2026Updated 3 weeks ago
- Support property-based configuring of multiple Caffeine caches for Spring Cache abstraction.☆36Mar 2, 2026Updated 4 months ago
- Let's create a Flutter Navigation Drawer with routing that is displayed as a Sidebar Menu within your Flutter app.☆35Apr 23, 2021Updated 5 years ago
- Demo how to use Chart.js. with Compose Web☆11Jun 3, 2024Updated 2 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- Tool to manage Grafana dashboards☆17Sep 13, 2017Updated 8 years ago
- Web-based media manager with duplication detection, tagging, and more.☆14Jul 8, 2026Updated last week
- Instagram Auto DM responder with DialogFlow 🔥☆55Mar 29, 2022Updated 4 years ago
- A KeyCloak Pulumi resource package, providing multi-language access to KeyCloak☆52Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 5 years ago
- Adds new features to the Open edX Online Learning Platform☆14Aug 27, 2021Updated 4 years ago
- GLTF Viewer For WebGL☆59Sep 12, 2024Updated last year
- A Kotlin Multiplatform library to support end to end encryption.☆13Mar 17, 2023Updated 3 years ago
- Multivariate polynomial regression for javascript/typescript☆10Jun 29, 2026Updated 3 weeks ago
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- JAXB / XJC Plugin to add Lombok annotations in classes generated from an XML Schema☆20Mar 17, 2026Updated 4 months ago
- Solving algebric equation of 4th order. Fast and efficient. C++ implementation.☆70Jan 1, 2021Updated 5 years ago
- Restate Web UI☆16Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Kotlin Multiplatform client for the Rick and Morty API with iOS and Android sample☆19Jan 26, 2023Updated 3 years ago
- a chat app ui design made in flutter☆72Mar 11, 2021Updated 5 years ago
- ☆18Apr 2, 2023Updated 3 years ago
- exploration of compose animation & compose multiplatform based on the "composable sheep" talk series☆21May 6, 2023Updated 3 years ago
- 🌲 Kotlin script to list transitive dependencies of a Maven artifact.☆21Aug 24, 2022Updated 3 years ago
- Buildable is a code generation tool that automates the creation of mappers, factories, and state classes for Kotlin☆16May 14, 2023Updated 3 years ago
- JetPack Compose Squircle☆17Feb 1, 2022Updated 4 years ago
- A weather app demo made to play around with Kotlin Multiplatform. Running on Desktop, Ios and Android with all of the business logic bein…☆24Jun 20, 2021Updated 5 years ago
- Simple and extendable code highlighter in Kotlin Multiplatform☆22Sep 18, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Copy of https://github.com/joreilly/MortyComposeKMM to support Android & JVM with Jetpack Compose Multiplatform☆19Dec 8, 2021Updated 4 years ago
- Minimalist Theme for rEFInd 💠💻☆97Sep 6, 2025Updated 10 months ago
- Docker container for MediaWiki☆30Apr 8, 2021Updated 5 years ago
- Lombok-style magic for Spring: null-safe calls, optional params in repositories, debug logging without boilerplate☆29Jan 26, 2026Updated 5 months ago
- ☆26Sep 10, 2025Updated 10 months ago
- Kotlin CoAP encoder/decoder.☆26Updated this week
- The core objective of this project was to have hands-on experience on recent Kotlin Multiplatform Mobile(KMM), Android jetpack library co…☆16Sep 20, 2021Updated 4 years ago