Educational materials, tutorials etc.
☆14Apr 28, 2020Updated 6 years ago
Alternatives and similar repositories for education
Users that are interested in education are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Jun 8, 2022Updated 3 years ago
- testing https://github.com/radicle-dev/radicle-contracts☆14Feb 18, 2021Updated 5 years ago
- See https://github.com/Uniswap/hardhat-plugin-deploy-v3☆19Oct 6, 2021Updated 4 years ago
- gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apac…☆15Sep 11, 2024Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- 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 Prolog engine written in Solidity.☆16Feb 19, 2022Updated 4 years ago
- Curta CTF #12☆20Oct 13, 2023Updated 2 years ago
- It provides helper functions to test the maple-core contracts.☆25Jan 27, 2023Updated 3 years ago
- An example of how to split a bash script into multiple files☆14Jul 22, 2019Updated 6 years ago
- A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm☆15Oct 16, 2019Updated 6 years ago
- Generate perfect Vyper compatible code headers every time.☆22Jul 30, 2022Updated 3 years ago
- Option based liquidity mining for projects☆29Mar 5, 2023Updated 3 years ago
- A collection of useful bash scripts for ChainOps and more☆84Nov 5, 2022Updated 3 years ago
- ☆10Jan 24, 2023Updated 3 years ago
- 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.
- ☆12Jan 24, 2023Updated 3 years ago
- zk-rollup☆22Apr 10, 2023Updated 3 years ago
- Barebones Rust EVM Implementation☆12Feb 9, 2022Updated 4 years ago
- Interface files for the vault contracts☆10Jul 4, 2022Updated 3 years ago
- A gRPC-based scripting library for interacting with CosmWasm smart-contracts.☆11Sep 24, 2022Updated 3 years ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- High-Level languages for zkSNARKs, Fully-Homomorphic-Encryption and Multi-Party-Computation☆22Apr 12, 2019Updated 7 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆29Jan 14, 2026Updated 3 months ago
- AI Agents on 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.
- SHA-3 Keccak implementation in C.☆20Jun 1, 2015Updated 10 years ago
- Make compressed 4337 bundles swole again☆47Jun 1, 2024Updated last year
- Concept for the SBT standard interface and implementation that enable graph traversal.☆11May 27, 2022Updated 3 years ago
- Truffle for Terra and beyond! Capsule is small Python SDK tool you can use to deploy Terra CosmWasm contracts to a given Terra (Cosmos SD…☆13Jul 9, 2022Updated 3 years ago
- This repository contains a tutorial on how to build roll_up with☆10Mar 9, 2019Updated 7 years ago
- Time Weighted Asset Mints☆61Jan 25, 2022Updated 4 years ago
- Nix - NFT Decentralised Exchange Smart Contracts☆41Oct 11, 2022Updated 3 years ago
- Using nodejs to deploy a smart contract.☆13Mar 1, 2017Updated 9 years ago
- rollup implementation☆90Mar 15, 2024Updated 2 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.
- EVM assembly as an embedded Common Lisp dsl☆21Aug 12, 2022Updated 3 years ago
- SUPERCEDED by ricobank/multifab☆20Jul 13, 2022Updated 3 years ago
- ☆13May 21, 2022Updated 3 years ago
- Evaluating fuzzer effectiveness☆20Sep 16, 2023Updated 2 years ago
- D. E. Shaw Research Technical Reports☆13Jul 4, 2022Updated 3 years ago
- Smart Contract of Pilot finance lab☆10Jun 9, 2021Updated 4 years ago
- ☆12May 15, 2025Updated 11 months ago