Stars
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
📝 A Rocq library written by members of PnV Discord Server
A LaTeX template for Bachelor or Master theses
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
Simple stack-based bytecode VM implementations used in my class
Reproduction of OpenAI and DeepMind's "Deep Reinforcement Learning from Human Preferences"
BridgeStan provides efficient in-memory access through Python, Julia, and R to the methods of a Stan model.
A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.
Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited author…
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
BAyesian Model-Building Interface (Bambi) in Python.
Research language for array processing in the Haskell/ML family
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
"Swappable Module" compiler for the Stan probabilistic programming language.
This repository contains code for Teemu Säilynoja, Paul-Christian Bürkner, Aki Vehtari: Graphical Test for Discrete Uniformity and its Applications in Goodness of Fit Evaluation and Multiple Sample…
Automatic Reparameterisation of Probabilistic Programs
A stunning modern theme for ttk inspired by Fluent Design 💠
Efficient, lightweight variational inference and approximation bounds
Code for a dynamic multilevel Bayesian model to predict US presidential elections. Written in R and Stan.