Pinned Repositories
egglog
egraphs + datalog!
Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
bngen
Generates Dice code from Bayesian networks
c3docs
Docs for the C3 language
deep-face-morph
Compares significant features in faces with a convolutional autoencoder and PCA.
flipped-travel
Explore global landmarks and contribute images and local knowledge for others to see. Created for DubHacks 2020.
graph-algo
Visualizes pathfinding algorithms on shareable, user-drawn directed graphs.
modular-documents
Create and share module-based, notebook-like documents.
Dice.jl
rtjoa's Repositories
rtjoa/deep-face-morph
Compares significant features in faces with a convolutional autoencoder and PCA.
rtjoa/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
rtjoa/bngen
Generates Dice code from Bayesian networks
rtjoa/c3docs
Docs for the C3 language
rtjoa/modular-documents
Create and share module-based, notebook-like documents.
rtjoa/CanonicalTraits.jl
Full-featured traits in Julia. Without full features how dare I say this?
rtjoa/concise-coin
A simple proof-of-work cryptocurrency.
rtjoa/cpython
The Python programming language
rtjoa/CUDD.jl
Wrapper for the CUDD library for decision diagrams
rtjoa/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
rtjoa/dice-scratch
rtjoa/Dice.jl
rtjoa/dotfiles
rtjoa/eggcc
rtjoa/eggcc-coq
rtjoa/egglog
rtjoa/etna
rtjoa/flambda-backend
The Flambda backend project for OCaml
rtjoa/IRTools.jl
Mike's Little Intermediate Representation
rtjoa/LiveMacros.jl
rtjoa/lucky-commit
Customize your git commit hashes!
rtjoa/partir-redistribution-ocaml
Distributed array redistribution in OCaml, based on https://arxiv.org/pdf/2112.01075.pdf
rtjoa/PolyBranch.jl
Polymorphic control flow in Julia
rtjoa/python-treecontainers
Asymptotically efficient heap x map in pure Python
rtjoa/QuickChick
Randomized Property-Based Testing Plugin for Coq
rtjoa/rtjoa.github.io
rtjoa/szalinski
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
rtjoa/tree-assume-semantics
rtjoa/tuning-output
rtjoa/vscode
Visual Studio Code