Symbolic financial contract EDSL
☆40Aug 26, 2020Updated 5 years ago
Alternatives and similar repositories for contracts
Users that are interested in contracts are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆20Jul 3, 2023Updated 3 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 7 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- CLI tool for Hackage☆27Jul 8, 2026Updated last month
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- ☆13May 18, 2026Updated 2 months ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- A framework for smart contract verification in Coq☆128Jun 29, 2026Updated last month
- ☆12Oct 9, 2025Updated 10 months ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Common Lisp fixed-point number type☆10Jan 6, 2017Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- Use Haskell (GHCJS) to develop Cordova mobile apps (note: has not been updated to modern GHCJS)☆17Jul 17, 2015Updated 11 years ago
- My portfolio website powered with React☆10Updated this week
- The Universe Library for OCaml☆14Dec 30, 2018Updated 7 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Feb 2, 2017Updated 9 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- a sound modern language for computation and transactional resource logic☆101Sep 23, 2016Updated 9 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 7 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Make presentations for data types☆25Oct 21, 2021Updated 4 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated 2 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 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.
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 9 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- 卒論☆17Jun 15, 2014Updated 12 years ago
- ☆19Feb 18, 2026Updated 5 months ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- A very general logging effect for Haskell☆60Jan 28, 2026Updated 6 months ago
- A demonstration on how to use Nix to build, test and deploy a Haskell application☆65Oct 31, 2017Updated 8 years ago