lazyppl-team / lazypplLinks
A Haskell probabilistic programming library.
☆19Updated last week
Alternatives and similar repositories for lazyppl
Users that are interested in lazyppl are comparing it to the libraries listed below
Sorting:
- ☆49Updated last year
- WIP collections library for Lean 4☆32Updated 3 months ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- A monadic library for symbolic evaluation☆68Updated last month
- Accelerated machine learning with dependent types☆98Updated 2 weeks ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- Very controlled natural language tactics for Lean☆64Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆67Updated 10 months ago
- A WIP definitional (co)datatype package for Lean4☆42Updated this week
- A Lean4 Formalization of Polynomial Functors☆21Updated last week
- A formalization of ML kernel languages☆24Updated this week
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- Fast equality saturation in Haskell☆86Updated last month
- Topos theory in lean☆63Updated 4 years ago
- Lecture notes on realizability☆74Updated 6 months ago
- A Testing Framework for Lean☆58Updated 2 weeks ago
- Effective Algebraic Topology in Haskell☆91Updated 11 months ago
- Overview of tactics in Lean 4 for beginners — longer version☆91Updated 2 months ago
- ☆21Updated 3 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Updated 9 months ago
- Ground Zero: Lean 4 HoTT Library☆64Updated this week
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- Benchmark of the main linear algebra libraries in Haskell☆25Updated 5 years ago
- Paper and talk☆54Updated 2 years ago
- A verified tensor library in Lean☆29Updated last week
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 4 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated this week