andrejbauer / social-distancing-simulator
An artificial simulation of social distancing in the time of an epidemic.
☆29Updated 4 years ago
Alternatives and similar repositories for social-distancing-simulator:
Users that are interested in social-distancing-simulator are comparing it to the libraries listed below
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- PhD course on Functional Programming and Climate Impact Research☆50Updated 4 months ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- ☆23Updated 2 years ago
- Cohesive type theory☆19Updated 3 years ago
- Mathematical stories☆13Updated 4 years ago
- Painless general-purpose sampling.☆24Updated 4 months ago
- A formally verified implementation of differential dynamic logic in Coq☆15Updated 2 years ago
- Agda formalisation of dual-context constructive modal logics.☆20Updated 5 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆27Updated 2 years ago
- Very controlled natural language tactics for Lean☆62Updated last year
- Queues with verified and unverified versions☆9Updated 7 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- Directed type theory for formal category theory☆17Updated 7 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Updated 5 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Updated 2 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 7 months ago
- An experimental category theory library for Lean☆49Updated last year
- Optics via the profunctor representation theorem☆24Updated 3 months ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Updated 7 years ago
- A Coq formalisation of the R programming language☆10Updated 2 years ago
- Deep-embedded combinators for strategic rewriting.☆15Updated 3 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆29Updated 2 years ago