min-nguyen / prob-fxView external linksLinks
A language for modular probabilistic modelling in Haskell based on effect handlers
☆18Dec 30, 2023Updated 2 years ago
Alternatives and similar repositories for prob-fx
Users that are interested in prob-fx are comparing it to the libraries listed below
Sorting:
- Type-safe statically unknown pattern generation in MetaOCaml☆12Jun 3, 2024Updated last year
- A systems theorem prover☆11Jun 25, 2024Updated last year
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 3 months ago
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 6 months ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated 3 weeks ago
- MATLAB code for simulating the extraction of espresso style coffee☆10Jan 15, 2019Updated 7 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 weeks ago
- Bayesian co-estimation of phylogenies and multiple alignments via MCMC☆48Jan 29, 2026Updated 2 weeks ago
- Clojure-style transients for Haskell☆35Jun 27, 2022Updated 3 years ago
- Multiagent optimization system (MAOS) for solving the Traveling Salesman Problem (TSP).☆12Aug 7, 2019Updated 6 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- A Redis module implementing a MultiMap type☆16Feb 21, 2020Updated 5 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- ☆17Feb 11, 2024Updated 2 years ago
- VR pool simulator written in Python (using pyopenvr)☆13Jan 24, 2026Updated 3 weeks ago
- Create a system tray menu from a YAML file with shell commands☆10Dec 15, 2025Updated 2 months ago
- An SQLite implementation of a cqrs event store.☆15Jan 29, 2025Updated last year
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- Fit phenomenological sigmoid and impulse curves with priors to improve interpretability☆10May 29, 2024Updated last year
- A simple, budget, DIY F16 ICP flight control panel for use with flight simulators such as DCS World☆13Jan 9, 2022Updated 4 years ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 4 years ago
- Haskell binding for Menoh DNN inference library☆12Nov 30, 2018Updated 7 years ago
- ☆11Sep 29, 2017Updated 8 years ago
- Highly Experimental React-Router Bindings for GopherJS☆11Dec 2, 2016Updated 9 years ago
- mdBook preprocessor for indexing☆18Updated this week
- ☆29Aug 26, 2014Updated 11 years ago
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- A Collection of free resources for the Akai Music Production Center software and standalone units, including API Documentation, Startup T…☆12Jul 16, 2022Updated 3 years ago
- Read fcs files.☆12Nov 13, 2025Updated 3 months ago
- Lens combinators for fused-effects.☆17Oct 19, 2020Updated 5 years ago
- Haskell client for Cassandra's CQL protocol☆28Jul 10, 2017Updated 8 years ago
- SCOUP is a probabilistic model to analyze single-cell expression data during differentiation☆10Apr 20, 2017Updated 8 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- Multiscale simulation of multi-cellular system☆11Feb 8, 2026Updated last week
- Bitcoin payment channel library☆11Jul 12, 2017Updated 8 years ago