Sword — A financial derivative language for the blockchain
☆28Feb 16, 2021Updated 5 years ago
Alternatives and similar repositories for Sword
Users that are interested in Sword are comparing it to the libraries listed below
Sorting:
- The official interpreter for the Jeopardy language☆16Dec 6, 2022Updated 3 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆29Feb 25, 2026Updated last week
- HTTP utility library for Standard ML☆11Jan 9, 2026Updated last month
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 9 years ago
- Call Futhark programs from Standard ML☆11Jan 17, 2026Updated last month
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 2 years ago
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Jan 13, 2020Updated 6 years ago
- Parallel Functional Programming, 2020☆16Jan 18, 2024Updated 2 years ago
- Web server infrastructure for Standard ML☆16Feb 14, 2026Updated 2 weeks ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Mar 16, 2025Updated 11 months ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Sep 29, 2025Updated 5 months ago
- Hegic v888.0.1 beta contracts (WIP)☆16Apr 21, 2021Updated 4 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Jan 10, 2025Updated last year
- How do I DIKU? How indeed.☆28Feb 26, 2026Updated last week
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆272Feb 27, 2026Updated last week
- Pay on Ethereum, mint on Starknet.☆27Jan 20, 2022Updated 4 years ago
- [Optimism] Go implementation of the Optimistic Ethereum protocol☆49Apr 11, 2021Updated 4 years ago
- Generic package manager for Standard ML libraries and programs☆171Jan 14, 2026Updated last month
- Python library using the Futhark C backend via CFFI☆26Jul 4, 2025Updated 8 months ago
- The Kleenex programming language☆56Oct 18, 2024Updated last year
- A toolkit to compile and debug circom circuit.☆27Sep 27, 2023Updated 2 years ago
- ☆30May 6, 2022Updated 3 years ago
- A Futhark binding generator for Rust and OCaml☆30Feb 3, 2026Updated last month
- 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☆31Mar 13, 2019Updated 6 years ago
- Collection of mathematics routines and cryptography for the twenty-first century☆96Feb 23, 2026Updated last week
- 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
- ☆34Oct 2, 2020Updated 5 years ago
- Arithmetic and polynomial operations in finite fields.☆42Dec 30, 2022Updated 3 years ago
- Generate bindings for Futhark☆40Jan 28, 2023Updated 3 years ago
- Repository for the DPP'23 course☆11May 2, 2024Updated last year
- Public repository for the HPPS course☆17Jan 17, 2022Updated 4 years ago
- Frontend for ODEX decentralized exchange https://odex.ooo☆11Feb 2, 2026Updated last month
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- Tesseract OCR 4 for Raspberry Pi 3☆11Feb 3, 2019Updated 7 years ago
- 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
- Course website for Data Parallel Programming at DIKU☆15Dec 17, 2024Updated last year
- The Curve Stableswap smart contract implementation in Zinc v0.2.2.☆40Apr 12, 2021Updated 4 years ago