-
jenn3d
A Toy for Visualizing Coxeter Polytopes
C ★ 46 4y agoExplain → -
rationalkeyboard
A browser app to demonstrate harmony in just intonation.
JavaScript ★ 46 10y agoExplain → -
livecoder.net
A simple browser environment for coding live javascript.
JavaScript ★ 27 12y agoExplain → -
wavencoderjs
A fast cross-browser riff wave encoder for real-time audio synthesis in HTML5
JavaScript ★ 23 14y agoExplain → -
hstar-z3
Synthesizing λ-join-calculus behaviors in Z3
Python ★ 10 1y agoExplain → -
Johann
Bayesian induction of programs, à la Solomonoff
C ★ 10 11y agoExplain → -
notebooks
No description.
Jupyter Notebook ★ 9 1y agoExplain → -
parsable
Lightweight argument parsing for Python
Python ★ 8 1mo agoExplain → -
nohm
Nondeterministic Optimal Higher-order Machine
Python ★ 8 4y agoExplain → -
kazoo
Musical experiments: video-controllers, psychoacoustics, machine learning.
C++ ★ 5 4y agoExplain → -
pomagma ▣
Inference engine for extensional untyped λ-calculus
C++ ★ 2 8mo agoExplain → -
hstar
Inadvertently typed λ-join-calculus
Coq ★ 2 10y agoExplain → -
puddle-syntax
Syntax tools for the Puddle coding environment
JavaScript ★ 2 10y agoExplain → -
puddle
A reactive coding environment built on Pomagma
JavaScript ★ 2 11y agoExplain → -
barrier-design-doc
Delayed Sampling with Funsors
TeX ★ 1 5y agoExplain → -
livecoder
A simple python library to support live coding
Python ★ 1 10y agoExplain → -
webapps
Web App Sketches
JavaScript ★ 1 12y agoExplain → -
jtext
typeset ascii-art math in latex and html
Python ★ 1 13y agoExplain → -
eigenviz
A tool to quickly visualize large sparse graphs in 3D and color
C++ ★ 1 13y agoExplain → -
blog
Occasional thoughts
★ 0 1mo agoExplain → -
treecat-exp ▣
TreeCat experiments
Jupyter Notebook ★ 0 7y agoExplain → -
lyro ▣
Probabilistic Programming with Language Models
Python ★ 0 3y agoExplain → -
treecat-paper
No description.
TeX ★ 0 7y agoExplain → -
pyro-structure ▣
No description.
Python ★ 0 8y agoExplain → -
z3 ⑂
The Z3 Theorem Prover
★ 0 1y agoExplain → -
kix-standalone ⑂
A standalone version of Google's new rich text editor, Kix
★ 0 16y agoExplain → -
apted ⑂
Python APTED algorithm for the Tree Edit Distance
★ 0 8y agoExplain → -
pyroed ⑂
Bayesian optimization of discrete sequences
Python ★ 0 4y agoExplain → -
tspyro ⑂
Inferring geography, time (and maybe other stuff) with Pyro and tree sequences
★ 0 4y agoExplain → -
opt_einsum ⑂
⚡️Optimizing numpy's einsum function with order optimization and GPU support.
Python ★ 0 4y agoExplain → -
opt_einsum_samples ⑂
Tensor network sample contractions in JSON format for testing opt_einsum
Jupyter Notebook ★ 0 4y agoExplain → -
pyro-cov ⑂
Pyro models of SARS-CoV-2 variants
Jupyter Notebook ★ 0 3y agoExplain → -
pyro-test ⑂
No description.
★ 0 4y agoExplain → -
BOHM1.1 ⑂
Bologna Optimal Higher-Order Machine, Version 1.1
★ 0 9y agoExplain → -
libhstar
Pure untyped extensional non-deterministic memoized combinator machine
C ★ 0 4y agoExplain → -
art
Art Projects
Python ★ 0 4y agoExplain → -
beagle-lib ⑂
general purpose library for evaluating the likelihood of sequence evolution on trees
★ 0 5y agoExplain → -
COVID-19 ⑂
Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE
★ 0 6y agoExplain → -
EpiGen-COVID19 ⑂
Using both phylogenetic and time-series data from the COVID19 pandemic to estimate number of missing infections and predict forward epidemic trajectory.
★ 0 6y agoExplain → -
causalml ⑂
Uplift modeling and causal inference with machine learning algorithms
Python ★ 0 6y agoExplain → -
effects-bibliography ⑂
A collaborative bibliography of work related to the theory and practice of computational effects
★ 0 6y agoExplain → -
builder ⑂
Continuous builder and binary build scripts for pytorch
Shell ★ 0 8y agoExplain → -
dotfiles
Public configuration files
CSS ★ 0 8y agoExplain → -
treecat ⑂
A Bayesian latent tree model of multivariate multinomial data
Python ★ 0 9y agoExplain → -
goftests ⑂
Generic goodness of fit tests for random plain old data
Python ★ 0 9y agoExplain → -
loom ⑂
A streaming cross-cat inference engine
C++ ★ 0 9y agoExplain → -
ppl-rosetta
Probabilistic Programming Examples
Jupyter Notebook ★ 0 9y agoExplain → -
coursework
No description.
HTML ★ 0 10y agoExplain → -
pythlog
Unofficial fork of torgny's pythlog: constriant logic programming in python
Python ★ 0 10y agoExplain → -
quipper
Unofficial fork of the quipper haskell library
Haskell ★ 0 10y agoExplain → -
livecoding
Automatically exported from code.google.com/p/livecoding
Python ★ 0 10y agoExplain → -
distributions ⑂
Low-level primitives for collapsed Gibbs sampling in python and C++
Python ★ 0 11y agoExplain → -
googlemock
Automatically exported from code.google.com/p/googlemock
C++ ★ 0 10y agoExplain → -
gohann
Atlas of simple nondeterministic λ-terms
★ 0 11y agoExplain → -
sparsehash
Automatically exported from code.google.com/p/sparsehash
C++ ★ 0 11y agoExplain → -
google-breakpad
Automatically exported from code.google.com/p/google-breakpad
★ 0 11y agoExplain → -
sna
Social Network Analysis
Python ★ 0 12y agoExplain → -
sandbox
example idioms in various languages
Python ★ 0 14y agoExplain → -
johann-db
A lightweight tool for reading Johann databases
C++ ★ 0 14y agoExplain →
No repos match these filters.