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 5 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:
- ClassConnect is an innovative educational platform that blends the traditional learning hub with a 3D learning environment.☆16Oct 21, 2024Updated 2 years ago
- ECHO is a Progressive Web App (PWA) that recommends music based entirely on your personal listening profile. It uses cutting-edge AI to e…☆20Jan 13, 2025Updated last year
- High Five is a real-time image analysis platform for images and videos taken by drone cameras. Users can add and customize the platform w…☆10Aug 16, 2022Updated 4 years ago
- Firefox addons for GitZip☆24Aug 21, 2023Updated 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 …☆17Jan 29, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- This repo contains the Mini-Project starter kit for the class of 2023☆10May 2, 2023Updated 3 years ago
- Instagram generative and retrieval chatbot☆27Feb 27, 2021Updated 5 years ago
- Where is the power?☆14Oct 27, 2023Updated 3 years ago
- Legacy predecessor — maintained at ASSERIS-ASI/claude-usage-dashboard☆13Jul 29, 2026Updated 3 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 3 years ago
- Numerica is an open-source mathematics library for Rust, that provides high-performance number types, such as error-tracking floats and f…☆56Updated this week
- Ctrl Alt Defeat - Domain Pulse - Domain Pulse is the ultimate sentiment analysis platform. It gathers and analyses online opinions about …☆24Dec 30, 2023Updated 2 years ago
- A quick and dirty way to bypass encrypted EPA to connect to a NetScaler Gateway☆20Oct 11, 2019Updated 7 years 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A composite Github Action to execute the Kotlin Script with compiler plugin and dependency caching!☆12Sep 14, 2026Updated last month
- Support property-based configuring of multiple Caffeine caches for Spring Cache abstraction.☆36Mar 2, 2026Updated 8 months ago
- Config files tweaked to my dev environment needs in MacOS - nvim, tmux, wezterm, yabai, skhd☆29Feb 26, 2026Updated 8 months ago
- Demo how to use Chart.js. with Compose Web☆11Jun 3, 2024Updated 2 years ago
- Instagram Auto DM responder with DialogFlow 🔥☆54Mar 29, 2022Updated 4 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- Tool to manage Grafana dashboards☆17Sep 13, 2017Updated 9 years ago
- Style guidelines for JUUL Lab's Kotlin projects.☆10Apr 2, 2021Updated 5 years ago
- Kotlin Multiplatform SDK and Worker gateway for Cloudflare D1, KV, R2, and realtime apps☆18Jul 3, 2026Updated 4 months 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.
- Ultimate Dev Setup for Mac OS 🚀🍎☆39Sep 29, 2026Updated last month
- A KeyCloak Pulumi resource package, providing multi-language access to KeyCloak☆52Updated this week
- Web-based media manager with duplication detection, tagging, and more.☆15Jul 8, 2026Updated 3 months ago
- Kotlin Multiplatform SDK for OpenAI APIs☆16Jul 3, 2026Updated 4 months ago
- A library to convert Uber's H3 geo-index to LatLng vertices and back for Kotlin Multiplatform: iOS, Android, WASM☆12Sep 21, 2026Updated last month
- GLTF Viewer For WebGL☆59Sep 12, 2024Updated 2 years ago
- ☆11Jun 6, 2026Updated 4 months ago
- Whisper Speech-to-Text is a JavaScript library for recording and transcribing user audio into text via OpenAI's Whisper, intended for web…☆33May 6, 2023Updated 3 years ago
- Adds new features to the Open edX Online Learning Platform☆14Aug 27, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Multivariate polynomial regression for javascript/typescript☆10Sep 13, 2026Updated last month
- A Kotlin Multiplatform library to support end to end encryption.☆13Mar 17, 2023Updated 3 years ago
- Proposes a word from a dictionary that matches the knowns in a popular worlde game☆13Feb 4, 2022Updated 4 years ago
- 📌 replaces mutable tags or branch names by commit shas in your GitHub actions☆14Jun 18, 2024Updated 2 years ago
- Solving algebric equation of 4th order. Fast and efficient. C++ implementation.☆70Jan 1, 2021Updated 5 years ago
- Blix is a cross-platform AI-assisted graph photo editor. NEW REPO: https://github.com/BlixEditor/blix☆41Nov 23, 2023Updated 2 years ago
- JAXB / XJC Plugin to add Lombok annotations in classes generated from an XML Schema☆20Mar 17, 2026Updated 7 months ago