ccshan / prob-school
Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
☆10Updated 5 years ago
Related projects: ⓘ
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆13Updated 3 years ago
- Mathematical stories☆13Updated 3 years ago
- Directed type theory for formal category theory☆16Updated 7 years ago
- Cohesive type theory☆18Updated 2 years ago
- TODO☆23Updated 8 years ago
- An embedded DSL for creating, composing, and using probability measures.☆37Updated 5 years ago
- Generalized Convolution and Efficient Language Recognition☆17Updated 5 years ago
- Monadic Constraint Programming framework☆26Updated 6 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 6 years ago
- Agda-style equational reasoning in Haskell☆51Updated 4 months ago
- Algebraic Combinatorics in Coq☆34Updated 7 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- A categorical framework for circuit construction☆30Updated 7 years ago
- topos programming☆31Updated 6 years ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- ☆42Updated this week
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆13Updated 7 years ago
- Haskell bindings to ArrayFire☆60Updated last month
- Coq library for serialization to S-expressions☆18Updated last year
- DIY Markov Chains.☆23Updated 3 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- ☆13Updated 3 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- Bidirectional programming in Haskell with monadic profunctors☆44Updated 2 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Updated 4 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆23Updated this week
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.☆42Updated last year
- Haskell port of the Tensor Algebra COmpiler☆16Updated 4 years ago