Ryan Tjoa's repositories
deep-face-morph
Compares significant features in faces with a convolutional autoencoder and PCA.
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
CanonicalTraits.jl
Full-featured traits in Julia. Without full features how dare I say this?
concise-coin
A simple proof-of-work cryptocurrency.
cpython
The Python programming language
CUDD.jl
Wrapper for the CUDD library for decision diagrams
dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
flambda-backend
The Flambda backend project for OCaml
IRTools.jl
Mike's Little Intermediate Representation
partir-redistribution-ocaml
Distributed array redistribution in OCaml, based on https://arxiv.org/pdf/2112.01075.pdf
PolyBranch.jl
Polymorphic control flow in Julia
QuickChick
Randomized Property-Based Testing Plugin for Coq
szalinski
Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
vscode
Visual Studio Code