Symbolic financial contract EDSL
☆40Aug 26, 2020Updated 6 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
- Haskell implementation of the Levy (CBPV) language☆11Apr 4, 2012Updated 14 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- Type-preserving CPS translation for simply- and dependently-typed lambda calculi☆18Jun 3, 2017Updated 9 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆14Jul 24, 2021Updated 5 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 7 years ago
- A framework for smart contract verification in Coq☆129Aug 25, 2026Updated 2 months ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- [OBSOLETE] More simplified version is☆13Dec 26, 2014Updated 11 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A dynamically-typed CBPV language embedded in Racket☆43Sep 15, 2026Updated last month
- ☆59Apr 17, 2022Updated 4 years ago
- Stricter drop in replacements for WriterT and RWST☆11Apr 19, 2023Updated 3 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 4 years ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 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.
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 7 years ago
- ☆13May 18, 2026Updated 5 months ago
- Demonstration hybrid Haskell client/server web app, for Polyconf 2014 talk☆10Oct 17, 2014Updated 12 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆13Aug 1, 2016Updated 10 years ago
- Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.☆22Jun 6, 2025Updated last year
- ☆13Oct 9, 2025Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- The Universe Library for OCaml☆14Dec 30, 2018Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Use Haskell (GHCJS) to develop Cordova mobile apps (note: has not been updated to modern GHCJS)☆17Jul 17, 2015Updated 11 years ago
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- ☆13Feb 2, 2017Updated 9 years ago
- My portfolio website powered with React☆10Oct 13, 2026Updated 2 weeks ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆19Sep 1, 2018Updated 8 years ago
- Another implementation of Frank.☆71Jul 14, 2017Updated 9 years ago