lazyppl-team / lazypplLinks
A Haskell probabilistic programming library.
☆19Updated 3 months ago
Alternatives and similar repositories for lazyppl
Users that are interested in lazyppl are comparing it to the libraries listed below
Sorting:
- WIP collections library for Lean 4☆32Updated 2 months ago
- A formalization of ML kernel languages☆22Updated this week
- ☆49Updated last year
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆39Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆67Updated 9 months ago
- A monadic library for symbolic evaluation☆68Updated 3 weeks ago
- maze game encoded in Lean 4 syntax☆60Updated last month
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆62Updated last year
- A verified tensor library in Lean☆29Updated 2 weeks ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆27Updated 8 months ago
- A Testing Framework for Lean☆57Updated 3 months ago
- Accelerated machine learning with dependent types☆97Updated this week
- A toolkit for enforcing logical specifications on neural networks☆107Updated this week
- A Lean4 Formalization of Polynomial Functors☆21Updated 3 months ago
- Overview of tactics in Lean 4 for beginners — longer version☆89Updated last month
- A place to collect work on dialectica categories.☆26Updated 3 weeks ago
- Lecture notes on realizability☆74Updated 5 months ago
- A book about functional programming in Lean☆42Updated last year
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆17Updated 2 years ago
- ☆33Updated last month
- Write C shims from within Lean code.☆66Updated 3 weeks ago
- Topos theory in lean☆63Updated 4 years ago
- Fast equality saturation in Haskell☆86Updated 3 weeks ago
- Paper and talk☆54Updated 2 years ago
- ☆27Updated last year
- ☆52Updated 2 weeks ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆51Updated 4 years ago
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago