Educational materials, tutorials etc.
☆14Apr 28, 2020Updated 5 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
- 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
- Main TradeStars protocol contracts☆10Jul 17, 2024Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- ☆26Jul 13, 2024Updated last year
- 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
- ☆15Jan 15, 2015Updated 11 years ago
- Shev's Go Tutor☆10Jun 29, 2016Updated 9 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
- A collection of useful bash scripts for ChainOps and more☆84Nov 5, 2022Updated 3 years ago
- zk-rollup☆22Apr 10, 2023Updated 2 years ago
- ☆10Jan 24, 2023Updated 3 years ago
- ☆12Jan 24, 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
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- just solve it - a CLI utility to run a portfolio of SMT solvers in parallel☆27Jan 14, 2026Updated 2 months 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
- Cryptonita - cryptanalysis swiss army knife☆14Jan 24, 2026Updated 2 months ago
- Prune crate dependencies in "target" folder☆17Apr 19, 2025Updated 11 months ago
- Using nodejs to deploy a smart contract.☆13Mar 1, 2017Updated 9 years ago
- rollup implementation☆91Mar 15, 2024Updated 2 years ago
- Pocket API bindings (http://getpocket.com), WIP☆10Apr 17, 2016Updated 9 years ago
- 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
- ☆14Jul 19, 2023Updated 2 years ago