ccshan / prob-school
Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
☆10Updated 5 years ago
Alternatives and similar repositories for prob-school
Users that are interested in prob-school are comparing it to the libraries listed below
Sorting:
- Cohesive type theory☆19Updated 3 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- Directed type theory for formal category theory☆17Updated 8 years ago
- Mathematical stories☆13Updated 4 years ago
- Haskell bindings to ArrayFire☆60Updated 5 months ago
- TODO☆23Updated 9 years ago
- Proposal for an Agda tutorial☆11Updated 6 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆43Updated 6 months ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆27Updated last year
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 5 years ago
- Fun plugin to play with the Gallina AST.☆38Updated 5 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆21Updated 2 weeks ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Updated 6 years ago
- Synthetic Differential Geometry in Agda☆12Updated 10 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆15Updated 2 years ago
- Combinatorial species in HoTT☆12Updated 9 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last month
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated 6 months ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- ☆12Updated 2 months ago
- Simple reflection of expressions☆33Updated 3 years ago
- Coq library for serialization to S-expressions☆19Updated last year
- handouts and notes from the 2017 edition of the summer school☆39Updated 7 years ago