Sword-Smith / SwordView external linksLinks
Sword — A financial derivative language for the blockchain
☆28Feb 16, 2021Updated 4 years ago
Alternatives and similar repositories for Sword
Users that are interested in Sword are comparing it to the libraries listed below
Sorting:
- Git repository containing the Futhark website.☆10Updated this week
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Jan 13, 2020Updated 6 years ago
- Futhark integration for Rust projects☆16Sep 12, 2025Updated 5 months ago
- Hegic v888.0.1 beta contracts (WIP)☆16Apr 21, 2021Updated 4 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Sep 29, 2025Updated 4 months ago
- How do I DIKU? How indeed.☆28Jan 30, 2026Updated 2 weeks ago
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆271Feb 4, 2026Updated last week
- Pay on Ethereum, mint on Starknet.☆27Jan 20, 2022Updated 4 years ago
- ☆21Jan 23, 2023Updated 3 years ago
- [Optimism] Go implementation of the Optimistic Ethereum protocol☆49Apr 11, 2021Updated 4 years ago
- ☆24Apr 23, 2021Updated 4 years ago
- Generic package manager for Standard ML libraries and programs☆171Jan 14, 2026Updated 3 weeks ago
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 7 months ago
- ☆30May 6, 2022Updated 3 years ago
- A Futhark binding generator for Rust and OCaml☆30Feb 3, 2026Updated last week
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- A kitchen sink example of how to build private dApps using AZTEC☆34Jan 13, 2023Updated 3 years ago
- A Soulbound token contract implementation using Huff☆35Aug 11, 2022Updated 3 years ago
- A library for generating non-interactive proofs of knowledge without trusted setup☆30Mar 13, 2019Updated 6 years ago
- Collection of mathematics routines and cryptography for the twenty-first century☆95Jan 23, 2026Updated 3 weeks ago
- ☆34Oct 2, 2020Updated 5 years ago
- Generate bindings for Futhark☆40Jan 28, 2023Updated 3 years ago
- WETH3074 is a new version of the WETH contract which utilizes EIP-3074 to avoid the need for wrapping/unwrapping. In essence it turns ETH…☆39Sep 15, 2022Updated 3 years ago
- Arithmetic and polynomial operations in finite fields.☆42Dec 30, 2022Updated 3 years ago
- Public repository for the HPPS course☆17Jan 17, 2022Updated 4 years ago
- Course website for Data Parallel Programming at DIKU☆15Dec 17, 2024Updated last year
- This paper aims to offer a collection of the most popular blockchain scalability solutions. The main goal is to give a fundamental unders…☆15Oct 26, 2018Updated 7 years ago
- Tesseract OCR 4 for Raspberry Pi 3☆11Feb 3, 2019Updated 7 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 8 months ago
- The Curve Stableswap smart contract implementation in Zinc v0.2.2.☆40Apr 12, 2021Updated 4 years ago
- Hermez network protocol smart contracts☆38Apr 7, 2022Updated 3 years ago
- BabyJubJub elliptic curve implementation and EdDSA signature scheme in Rust☆45Jan 22, 2024Updated 2 years ago
- ☆71Sep 15, 2014Updated 11 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Nov 16, 2021Updated 4 years ago
- ☆13Sep 17, 2022Updated 3 years ago
- sbt plugin for TeaVM. Generate JavaScript and WebAssembly from Java bytecode☆11Updated this week
- Solution for the Optimizoor club's sqrt challenge☆11Nov 1, 2022Updated 3 years ago
- Produce probabilities for economy-based environments.☆11Sep 10, 2022Updated 3 years ago