min-nguyen / prob-fxLinks
A language for modular probabilistic modelling in Haskell based on effect handlers
☆18Updated last year
Alternatives and similar repositories for prob-fx
Users that are interested in prob-fx are comparing it to the libraries listed below
Sorting:
- Library of categories, with categorical constructions on them☆58Updated 2 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆61Updated 4 months ago
- Agda bindings to SMT-LIB2 compatible solvers.☆103Updated 3 months ago
- Staged push/pull fusion with typed Template Haskell☆62Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆83Updated 4 years ago
- Language Server for Agda☆119Updated last month
- Agda category theory library for denotational design☆54Updated last month
- A set of utilities for using indexed types including containers, equality, and comparison.☆60Updated 3 weeks ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Programming library for Agda☆133Updated last year
- Interpret Haskell programs into any cartesian closed category.☆67Updated last week
- Practical Deep Learning in Haskell now!☆51Updated 3 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Updated 2 months ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 6 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆126Updated last year
- ☆84Updated 8 years ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- being the teaching materials and exercises for CS410 in the 2018/19 session☆57Updated 6 years ago
- Benchmark of the main linear algebra libraries in Haskell☆26Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆47Updated 3 years ago
- Generic random generators☆81Updated 2 years ago
- The theory of algebraic graphs formalised in Agda☆91Updated 7 years ago
- Efficient Haskell effect handlers based on evidence translation.☆85Updated 4 years ago
- apkg - package manager for Agda☆38Updated 4 years ago
- being the materials for Summer 2013's course☆113Updated 2 years ago
- Basics of the dependently-typed functional language Agda ^_^☆40Updated 3 years ago
- Fast equality saturation in Haskell☆90Updated last month
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆192Updated 5 months ago