Jeremy Zucker's repositories
bigraph
a python implementation of Robin Milner's bigraph formalism
cid-latex
Latex package for drawing (causal) influence diagrams (CIDs) and labeling incentives, maintained by the Causal Incentives Working Group
DiffEqDocs.jl
Documentation for the DiffEq differential equations and scientific machine learning (SciML) ecosystem
emll
some code for linlog model simulation
experiments
small experiments and prototypes
FluxObservabilityAnalysis
Based on Crown & Antoniewicz, 2012
kappa-counterfactuals
Counterfactual reasoning in Kappa
mira
MIRA modeling framework
normalization-by-evaluation
Normalization-by-evaluation in miniKanren
posteriordb
Database with posteriors of interest for Bayesian inference
Prompt-Engineering-Guide
🐙 Guides, papers, lecture, notebooks and resources for prompt engineering
psst
PSST - Power System Simulation Toolbox
py-acsets
A Catlab-compatible implementation of acsets in python.
pyro
Deep universal probabilistic programming with Python and PyTorch
SARS-CoV-2-variants-of-concern-in-Ontario
Code for this paper: https://www.nature.com/articles/s41598-022-06159-x
Yarrowia_lipolytica_W29-GEM
Genome-scale model of Yarrowia lipolytica
z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver