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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The official interpreter for the Jeopardy language☆17Dec 6, 2022Updated 3 years ago
- This repository provides useful extensions to ERC20 tokens such as vesting, autoswap fees with UniSwap V2 or staking contracts.☆11Feb 27, 2023Updated 3 years ago
- Git repository containing the Futhark website.☆10Updated this week
- Docker container for hosting multiple openttd service instances☆43Sep 7, 2026Updated last month
- Tredjepartsimplementering af GRO-filformatet☆18Oct 11, 2010Updated 16 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Call Futhark programs from Standard ML☆12Oct 9, 2026Updated last week
- Futhark integration for Rust projects☆16Sep 12, 2025Updated last year
- Web server infrastructure for Standard ML☆15Feb 14, 2026Updated 8 months ago
- ☆12Jun 29, 2022Updated 4 years ago
- The web framework nobody asked for, wants, or needs.☆20Dec 14, 2020Updated 5 years ago
- CLI tool for managing EVM chain configurations☆12Oct 1, 2026Updated 2 weeks ago
- Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in…☆279Sep 30, 2026Updated 2 weeks ago
- Public repository for the 2019 Parallel Functional Programming course at DIKU☆15Jan 13, 2020Updated 6 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆19Sep 29, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Generic package manager for Standard ML libraries and programs☆168Jun 18, 2026Updated 3 months ago
- Parallel Functional Programming, 2020☆17Jan 18, 2024Updated 2 years ago
- A Dependently Timed Drum Machine Language☆12May 4, 2024Updated 2 years ago
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 10 years ago
- Esolang with real-world inspiration☆11Aug 18, 2020Updated 6 years ago
- Collection of mathematics routines and cryptography for the twenty-first century☆97Sep 29, 2026Updated 2 weeks ago
- A Futhark binding generator for Rust and OCaml☆33Feb 3, 2026Updated 8 months ago
- An automated market maker running on top of CoW Protocol☆17Mar 16, 2026Updated 7 months ago
- Public archive of material performed on stage through the life time of DIKUrevy☆27Mar 16, 2025Updated 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.
- Various Futhark benchmark programs☆48Oct 11, 2026Updated last week
- Standard ML (SML) grammar for tree-sitter☆15May 22, 2025Updated last year
- Hegic v888.0.1 beta contracts (WIP)☆16Apr 21, 2021Updated 5 years ago
- Pay on Ethereum, mint on Starknet.☆27Jan 20, 2022Updated 4 years ago
- Generate bindings for Futhark☆39Jan 28, 2023Updated 3 years ago
- ☆17Feb 24, 2019Updated 7 years ago
- ☆12Nov 18, 2023Updated 2 years ago
- our pact with the devil☆11Jan 28, 2021Updated 5 years ago
- Stupid crypto tricks☆18May 12, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Permanently burn ETH by self destructing a contract while sending funds to itself☆15Jun 27, 2021Updated 5 years ago
- ☆14May 29, 2021Updated 5 years ago
- ☆13Dec 30, 2021Updated 4 years ago
- Generate test data for regular and property-based tests and seed your database https://hexdocs.pm/ecto_stream_factory☆11May 30, 2022Updated 4 years ago
- golang port of Gimli, https://gimli.cr.yp.to, a 384-bit permutation designed to achieve high security with high performance across a broa…☆17Jun 20, 2018Updated 8 years ago
- Emacs major mode for editing Futhark programs☆15May 9, 2025Updated last year
- HaSTL: A fast GPU implementation of STL decomposition with missing values and support for both CUDA and OpenCL☆14Sep 11, 2023Updated 3 years ago