lazyppl-team / lazyppl
A Haskell probabilistic programming library.
☆17Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for lazyppl
- Ground Zero: Lean 4 HoTT Library☆45Updated last month
- maze game encoded in Lean 4 syntax☆49Updated last month
- comparative formalizations of the Yoneda lemma for 1-categories and infinity-categories☆60Updated last month
- Lecture notes on realizability☆65Updated last month
- A monadic library for symbolic evaluation☆55Updated last week
- A place to collect work on dialectica categories.☆25Updated last week
- A work-in-progress core language for Agda, in Agda☆41Updated 2 weeks ago
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆60Updated 4 months ago
- Fast equality saturation in Haskell☆77Updated 6 months ago
- ☆42Updated 6 months ago
- A repository for material from the reading group on NbE☆17Updated last year
- WIP collections library for Lean 4☆30Updated 2 weeks ago
- Linear Logic for Constructive Mathematics, in Agda☆17Updated 5 years ago
- Agda formalisation of second-order abstract syntax☆52Updated 2 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 2 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆24Updated 4 months ago
- Synthetic geometry. Probably mostly algebraic geometry.☆23Updated 9 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆25Updated last week
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 3 years ago
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆69Updated 2 weeks ago
- An experimental category theory library for Lean☆47Updated last year
- A WIP definitional (co)datatype package for Lean4☆27Updated 2 weeks ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Datatypes as quotients of polynomial functors☆35Updated 4 years ago
- SDL2 bindings for lean☆21Updated 7 months ago
- Accelerated machine learning with dependent types☆79Updated this week
- This aims to be the most pretentious implementation of stlc in existence☆60Updated 2 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆45Updated 2 months ago
- Mechanizations of Type Theories☆27Updated last week
- ☆21Updated 2 years ago