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
Sorting:
- Arche - Smart Hybrid Workforce Manager aims to provide companies an easy to use system to manage company resources by allowing employees …☆34Oct 26, 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
- A composite Github Action to execute the Kotlin Script with compiler plugin and dependency caching!☆11Dec 15, 2025Updated 2 months ago
- Demo how to use Chart.js. with Compose Web☆11Jun 3, 2024Updated last year
- Multivariate polynomial regression for javascript/typescript☆10Nov 17, 2025Updated 3 months ago
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated last year
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 4 years ago
- A Kotlin Multiplatform library to support end to end encryption.☆13Mar 17, 2023Updated 2 years ago
- Kotlin Multiplatform client for the Rick and Morty API with iOS and Android sample☆19Jan 26, 2023Updated 3 years ago
- Web-based media manager with duplication detection, tagging, and more.☆14Apr 26, 2025Updated 10 months 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
- Adds new features to the Open edX Online Learning Platform☆15Aug 27, 2021Updated 4 years ago
- ☆24May 23, 2025Updated 9 months ago
- exploration of compose animation & compose multiplatform based on the "composable sheep" talk series☆21May 6, 2023Updated 2 years ago
- ☆18Apr 2, 2023Updated 2 years ago
- JetPack Compose Squircle☆18Feb 1, 2022Updated 4 years ago
- Tool to manage Grafana dashboards☆17Sep 13, 2017Updated 8 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
- JAXB / XJC Plugin to add Lombok annotations in classes generated from an XML Schema☆20Mar 1, 2021Updated 5 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
- Copy of https://github.com/joreilly/MortyComposeKMM to support Android & JVM with Jetpack Compose Multiplatform☆19Dec 8, 2021Updated 4 years ago
- 🌲 Kotlin script to list transitive dependencies of a Maven artifact.☆21Aug 24, 2022Updated 3 years ago
- 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
- Firefox addons for GitZip☆22Aug 21, 2023Updated 2 years ago
- Simple and extendable code highlighter in Kotlin Multiplatform☆22Sep 18, 2021Updated 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 4 years ago
- AMDB is a movie app based on TMDB API. It's a personal project to be up to date on Android latest "official" tools and best practices fo…☆20Apr 6, 2023Updated 2 years ago
- gRPC Dekorator is a library that you can use to decorate your RPCs to add them some special functionality which is not possible using gRP…☆23Oct 30, 2021Updated 4 years ago
- Kotlin CoAP encoder/decoder.☆24Updated this week
- Project for practicing skills in KMM and IOS compose☆22Feb 11, 2026Updated 3 weeks ago
- Kotlin multi-platform cryptographic utility library.☆22Aug 5, 2023Updated 2 years ago
- Idiomatic Kotlin extensions for ojAlgo☆26May 24, 2019Updated 6 years ago
- Instagram generative and retrieval chatbot☆27Feb 27, 2021Updated 5 years ago
- ☆23Aug 13, 2021Updated 4 years ago
- Lombok-style magic for Spring: null-safe calls, optional params in repositories, debug logging without boilerplate☆28Jan 26, 2026Updated last month
- SafeArea for Compose multiplatform☆25Sep 1, 2022Updated 3 years ago
- Prime will scream when you use the unsafe !! operator in Kotlin☆26Feb 12, 2022Updated 4 years ago
- A Gradle plugin for Kotlin Multiplatform projects that generate a XCFramework for Apple targets or a FatFramework for iOS targets, and ma…☆31Updated this week