Symbolic financial contract EDSL
☆39Aug 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:
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- ☆13Feb 12, 2025Updated last year
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 7 years ago
- Base library for HoTT in Agda☆39Apr 2, 2019Updated 6 years ago
- A framework for smart contract verification in Coq☆124Mar 17, 2026Updated last week
- Common Lisp fixed-point number type☆10Jan 6, 2017Updated 9 years ago
- ☆12Oct 9, 2025Updated 5 months ago
- Use Haskell (GHCJS) to develop Cordova mobile apps (note: has not been updated to modern GHCJS)☆17Jul 17, 2015Updated 10 years ago
- A formalization of synthetic differential geometry in Coq using infinitesimal analysis☆11Aug 29, 2021Updated 4 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- The Universe Library for OCaml☆14Dec 30, 2018Updated 7 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- a sound modern language for computation and transactional resource logic☆101Sep 23, 2016Updated 9 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated 2 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
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- ☆13Feb 2, 2017Updated 9 years ago
- Byzantine model checker☆21Mar 7, 2023Updated 3 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- My portfolio website powered with React☆10Updated this week
- A very general logging effect for Haskell☆60Jan 28, 2026Updated last month
- Instructions for benchmarking Ewasm precompiles. (And results.)☆20Nov 23, 2020Updated 5 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago