-
pomagma Public
Inference engine for extensional untyped λ-calculus
-
parsable Public
Lightweight argument parsing for Python
-
hstar-z3 Public
Synthesizing λ-join-calculus behaviors in Z3
-
-
-
lyro Public archive
Probabilistic Programming with Language Models
Python Apache License 2.0 UpdatedApr 19, 2023 -
pyro-cov Public
Forked from broadinstitute/pyro-covPyro models of SARS-CoV-2 variants
Jupyter Notebook Apache License 2.0 UpdatedJan 31, 2023 -
kazoo Public
Musical experiments: video-controllers, psychoacoustics, machine learning.
-
pyroed Public
Forked from pyro-ppl/pyroedBayesian optimization of discrete sequences
Python Apache License 2.0 UpdatedMar 25, 2022 -
tspyro Public
Forked from awohns/tspyroInferring geography, time (and maybe other stuff) with Pyro and tree sequences
Python MIT License UpdatedMar 24, 2022 -
opt_einsum Public
Forked from dgasmith/opt_einsum⚡️Optimizing numpy's einsum function with order optimization and GPU support.
Python MIT License UpdatedMar 17, 2022 -
opt_einsum_samples Public
Forked from jcmgray/opt_einsum_samplesTensor network sample contractions in JSON format for testing opt_einsum
Jupyter Notebook Apache License 2.0 UpdatedMar 17, 2022 -
nohm Public
Nondeterministic Optimal Higher-order Machine
-
-
libhstar Public
Pure untyped extensional non-deterministic memoized combinator machine
C Apache License 2.0 UpdatedFeb 26, 2022 -
jenn3d Public
A Toy for Visualizing Coxeter Polytopes
-
-
-
-
beagle-lib Public
Forked from beagle-dev/beagle-libgeneral purpose library for evaluating the likelihood of sequence evolution on trees
C++ GNU Lesser General Public License v3.0 UpdatedSep 11, 2020 -
COVID-19 Public
Forked from CSSEGISandData/COVID-19Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
UpdatedJun 15, 2020 -
EpiGen-COVID19 Public
Forked from czbiohub-sf/EpiGen-COVID19Using both phylogenetic and time-series data from the COVID19 pandemic to estimate number of missing infections and predict forward epidemic trajectory.
R UpdatedMay 12, 2020 -
causalml Public
Forked from uber/causalmlUplift modeling and causal inference with machine learning algorithms
Python Other UpdatedFeb 12, 2020 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedDec 2, 2019 -
treecat-exp Public archive
TreeCat experiments
Jupyter Notebook Apache License 2.0 UpdatedJul 10, 2019 -
-
builder Public
Forked from neerajprad/builderContinuous builder and binary build scripts for pytorch
Shell BSD 2-Clause "Simplified" License UpdatedJan 25, 2018 -
-
apted Public
Forked from JoaoFelipe/aptedPython APTED algorithm for the Tree Edit Distance
Python MIT License UpdatedNov 8, 2017 -
{{ message }}