Another (simplified) reimplementation of financial contract combinator library. Refer to "How to write a financial contract" by S.L. Peyton Jones and J-M. Eber for details
☆11Jul 1, 2019Updated 6 years ago
Alternatives and similar repositories for haskell-contract-valuation
Users that are interested in haskell-contract-valuation are comparing it to the libraries listed below
Sorting:
- A port of http://web.archive.org/web/20130326233424/http://contracts.scheming.org/- an implementation of Composing contracts: an adventu…☆40Oct 16, 2015Updated 10 years ago
- Materials for the "Data Wrangling" CADi workshop @ "Tecnológico de Monterrey"☆10Dec 21, 2021Updated 4 years ago
- Copula fitting in Python.☆13Dec 4, 2023Updated 2 years ago
- Symbolic financial contract EDSL☆39Aug 26, 2020Updated 5 years ago
- Very small and simple parser for CPLEX LP files into logical Python data structures☆11Dec 20, 2012Updated 13 years ago
- Recreate FullOrderBook from OrderLogs☆11Feb 3, 2016Updated 10 years ago
- ☆17Jan 3, 2023Updated 3 years ago
- ☆10May 22, 2024Updated last year
- GenPiCam - a RaspberryPi based camera that reimagines the world with GenAI.☆10Jun 28, 2023Updated 2 years ago
- 💧A membrane between the decentralized world and centralized world☆12Jan 5, 2021Updated 5 years ago
- Full text indexing of syslog messages with solr☆22Sep 5, 2011Updated 14 years ago
- A curated list of token bonding curve code and resources.☆11Sep 4, 2020Updated 5 years ago
- An FPGA in your USB Port☆11Jul 1, 2021Updated 4 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- Repo containing notebooks showcasing features and applications of cadCAD.☆10Sep 7, 2024Updated last year
- Towards Hardware and Software Continuous Integration☆13Jun 8, 2020Updated 5 years ago
- A Haskell DSL for Generating Dockerfiles☆10Apr 25, 2025Updated 10 months ago
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 3 months ago
- Automated cadCAD system models diagram through GraphViz☆12Jan 25, 2023Updated 3 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 10 years ago
- ☆11Apr 18, 2019Updated 6 years ago
- A simple daemon that pings a host, records the ping history, and serves it via HTTP.☆10Mar 22, 2016Updated 9 years ago
- A proof-of-concept for the Eth1-Eth2 quick merge proposal☆12Apr 22, 2021Updated 4 years ago
- littleBits javascript extension for Scratch 2.0☆19Aug 14, 2015Updated 10 years ago
- Javascript SPV Wallet built on top of bitcore☆11Dec 31, 2020Updated 5 years ago
- A template for reproducible data analysis projects using the iPython notebook☆12Apr 6, 2014Updated 11 years ago
- Python for multiobjective cash management☆12Sep 21, 2017Updated 8 years ago
- ☆11Jan 27, 2026Updated last month
- Modern mocking library for Python.☆11Dec 21, 2022Updated 3 years ago
- An API for launching/configuring/and maintaining services in the clouds☆17Apr 15, 2015Updated 10 years ago
- Outsource the POW calculation by paying a small fee 🥕 TESTSERVER: http://iota.glumb.de:14260☆10Feb 5, 2018Updated 8 years ago
- Haskell Evaluation inside of LaTeX code.☆22Sep 28, 2023Updated 2 years ago
- Tools for working with jupyter notebooks☆14Apr 11, 2018Updated 7 years ago
- Erlang syslog logger☆27Jun 12, 2013Updated 12 years ago
- Clear to write, read and edit DSL for writing SVG, base on lucid☆12Aug 1, 2023Updated 2 years ago
- TypeScript typing for HAR (HTTP Archive) 1.2☆11Mar 30, 2017Updated 8 years ago
- ☆14Feb 3, 2021Updated 5 years ago
- Header-only C++ library for writing PCP PMDAs☆16Feb 5, 2019Updated 7 years ago