Descartes SDK Tutorials
☆15Jun 13, 2023Updated 2 years ago
Alternatives and similar repositories for compute-tutorials
Users that are interested in compute-tutorials are comparing it to the libraries listed below
Sorting:
- Off-chain and On-chain dispute☆21Jul 13, 2023Updated 2 years ago
- Cartesi Compute SDK☆34Nov 6, 2023Updated 2 years ago
- SDK documentation☆33Mar 11, 2026Updated last week
- A JS and Cartesi-compatible implementation of Creepts game☆10Jul 23, 2025Updated 7 months ago
- Cartesi machine tests☆17Dec 7, 2023Updated 2 years ago
- SPARX block ciphers implementations for Rust.☆17Jan 29, 2026Updated last month
- Circuit Synthesis for Yao's Garbled Circuit by TinyGarble☆11Sep 25, 2020Updated 5 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- Simple example of adopting repository-service pattern with CRUD operations on a MySQL db in Go☆18Mar 18, 2021Updated 5 years ago
- Lime is an active hook manager which allows fillers or market makers to set price and fill Intent / RFQ based swap requests.☆11Sep 24, 2023Updated 2 years ago
- Flexible and transparent Python Boruta implementation☆15Jun 8, 2025Updated 9 months ago
- ☆15May 11, 2023Updated 2 years ago
- TEE-based Key Management System for Tendermint validators.☆19May 14, 2024Updated last year
- Upgradeable Contracts using the Diamond Storage pattern.☆50Jun 30, 2023Updated 2 years ago
- An R package for working with Ethereum☆19Jan 27, 2020Updated 6 years ago
- Vote ALlocating Immune System, an immune-inspired classification algorithm☆23Dec 14, 2018Updated 7 years ago
- HURDAT is a dataset of best-track analysis for Atlantic and NE Pacific cyclones. This R package scrapes and parses that dataset.☆13Dec 6, 2020Updated 5 years ago
- PEQNP Mathematical Solver☆13Sep 25, 2021Updated 4 years ago
- True Dutch Auction solidity smart contract☆23Apr 17, 2023Updated 2 years ago
- Vanilla NFT Standard For Representing Abstract Ownership☆11Jul 13, 2022Updated 3 years ago
- An Interactive R Tool for Classification Problems☆15Jan 16, 2018Updated 8 years ago
- ☆11May 27, 2025Updated 9 months ago
- shepherd is a framework to build content moderation systems.☆13Mar 5, 2026Updated 2 weeks ago
- R Htmlwidget for d3plus (http://d3plus.org)☆17Aug 29, 2017Updated 8 years ago
- A one-page simple agreement for future tokens. Learn the definitions in the glossary, learn the terms in the annex, and let's all work to…☆16Jan 29, 2025Updated last year
- ☆17Dec 13, 2021Updated 4 years ago
- LLM Oracle is a GPT-4 powered tool for predicting future events. It's like a Magic 8 Ball that is able to perform basic research, calcula…☆19May 27, 2023Updated 2 years ago
- ☆11Apr 13, 2022Updated 3 years ago
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- ☆11Apr 10, 2024Updated last year
- Account2 is three things: - Account Abstraction (AA) - Economic Abstraction (EA) - Account Linking☆79Dec 26, 2022Updated 3 years ago
- Software used to design guide RNA sequences for CRISPR/Cas9 genome editing☆16Apr 13, 2023Updated 2 years ago
- A tiny stack machine to learn Ethereum bytecode.☆12Dec 17, 2024Updated last year
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…☆10Jan 6, 2026Updated 2 months ago
- A protocol to create and run internet-native companies☆41Mar 31, 2025Updated 11 months ago
- Open Authorization API (OAA) development libraries, connectors and resources.☆17Jan 9, 2025Updated last year