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☆23Aug 21, 2023Updated 2 years ago
- Avalanche Analytics is a cutting-edge solution designed to unlock the untapped potential of domain name data for registries, registrars, …☆16Oct 24, 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 …☆18Jan 29, 2023Updated 3 years ago
- Instagram generative and retrieval chatbot☆27Feb 27, 2021Updated 5 years ago
- 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.
- A composite Github Action to execute the Kotlin Script with compiler plugin and dependency caching!☆11Dec 15, 2025Updated 3 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 4 years ago
- Support property-based configuring of multiple Caffeine caches for Spring Cache abstraction.☆37Mar 2, 2026Updated 3 weeks ago
- Demo how to use Chart.js. with Compose Web☆11Jun 3, 2024Updated last year
- Tool to manage Grafana dashboards☆17Sep 13, 2017Updated 8 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- Instagram Auto DM responder with DialogFlow 🔥☆53Mar 29, 2022Updated 3 years ago
- A KeyCloak Pulumi resource package, providing multi-language access to KeyCloak☆52Mar 17, 2026Updated last week
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- 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.
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 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☆10Nov 17, 2025Updated 4 months ago
- Adds new features to the Open edX Online Learning Platform☆15Aug 27, 2021Updated 4 years ago
- Web-based media manager with duplication detection, tagging, and more.☆14Mar 15, 2026Updated last week
- JAXB / XJC Plugin to add Lombok annotations in classes generated from an XML Schema☆20Mar 17, 2026Updated last week
- Solving algebric equation of 4th order. Fast and efficient. C++ implementation.☆70Jan 1, 2021Updated 5 years ago
- Kotlin Multiplatform client for the Rick and Morty API with iOS and Android sample☆19Jan 26, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- a chat app ui design made in flutter☆72Mar 11, 2021Updated 5 years ago
- ☆18Apr 2, 2023Updated 2 years ago
- exploration of compose animation & compose multiplatform based on the "composable sheep" talk series☆21May 6, 2023Updated 2 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 2 years ago
- Minimalist Theme for rEFInd 💠💻☆97Sep 6, 2025Updated 6 months 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 4 years ago
- Simple and extendable code highlighter in Kotlin Multiplatform☆22Sep 18, 2021Updated 4 years ago
- Copy of https://github.com/joreilly/MortyComposeKMM to support Android & JVM with Jetpack Compose Multiplatform☆19Dec 8, 2021Updated 4 years ago
- 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.
- Docker container for MediaWiki☆30Apr 8, 2021Updated 4 years ago
- Lombok-style magic for Spring: null-safe calls, optional params in repositories, debug logging without boilerplate☆28Jan 26, 2026Updated 2 months ago
- JetPack Compose Squircle☆18Feb 1, 2022Updated 4 years ago
- 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
- Kotlin CoAP encoder/decoder.☆25Mar 19, 2026Updated last week
- Kotlin multi-platform cryptographic utility library.☆22Aug 5, 2023Updated 2 years ago
- Idiomatic Kotlin extensions for ojAlgo☆26May 24, 2019Updated 6 years ago