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
Sorting:
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- Use Haskell (GHCJS) to develop Cordova mobile apps (note: has not been updated to modern GHCJS)☆17Jul 17, 2015Updated 10 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy☆21Dec 13, 2017Updated 8 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- Open records for Haskell☆22Oct 6, 2017Updated 8 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- pbrisbin.com source code, using the Yesod haskell web framework☆25Sep 30, 2025Updated 5 months ago
- A mini but complete example of API construction with persistence plus authorisation features with servant framework.☆11Jan 14, 2016Updated 10 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- ☆12Feb 12, 2025Updated last year
- ☆10Dec 9, 2015Updated 10 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Formal verification of the Algorand consensus protocol☆27Nov 20, 2022Updated 3 years ago
- a sound modern language for computation and transactional resource logic☆101Sep 23, 2016Updated 9 years ago
- ☆13Feb 2, 2017Updated 9 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- HTML to Hamlet converter☆16Oct 1, 2019Updated 6 years ago
- keyed functors☆23Jan 10, 2026Updated last month
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆13Sep 4, 2015Updated 10 years ago
- A streaming query language.☆57Oct 20, 2020Updated 5 years ago
- Element helpers for reflex-dom☆12Aug 4, 2019Updated 6 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Massive Hackage CI for building Hackage package versions against multiple GHC versions☆24Oct 1, 2021Updated 4 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 8 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Example projects using the auto library.☆20May 16, 2015Updated 10 years ago
- Simple comparative benchmarks for CSV parsing libraries☆17Jan 4, 2019Updated 7 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