-
Vanderbilt University
- Nashville, TN
-
08:15
(UTC -05:00) - http://www.taylortjohnson.com
- https://orcid.org/0000-0001-8021-9923
- @taylorjohnson
- in/taylortjohnson
Highlights
- Pro
- All languages
- Alloy
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dockerfile
- Forth
- Fortran
- Gnuplot
- Go
- HCL
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- JetBrains MPS
- Julia
- Jupyter Notebook
- LLVM
- Lean
- MATLAB
- Makefile
- Markdown
- Mathematica
- Modelica
- OCaml
- PDDL
- PHP
- Pascal
- Perl
- PostScript
- Prolog
- Promela
- Python
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Scala
- Shell
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- Verilog
- nesC
- q
Starred repositories
Reference parser and interpreter for the Dogwood policy language
High-Performance Symbolic Regression in Python and Julia
Build your own AI SRE agents. The open source toolkit for the AI era.
JAX toolbox for safe robotics control: Control Barrier Function (CBF) safety filters, MPPI planning, and a drop-in safe-RL layer.
SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization
Repository for the workshop "Latent space navigation – interpretation, probing and steering" organized at Danish Digitalization, Data Science and AI 3.0 (D3A), August 26, 2025.
jolars / moloch
Forked from matze/mthemeMoloch is a minimalist, feature-rich Beamer theme for LaTeX presentations with a clean design and extensive customization options.
Focus: a minimalist presentation theme for LaTeX Beamer.
A vector index built on TurboQuant, written in Rust with Python bindings
Sutskever 30 implementations inspired by https://papercode.vercel.app/ | For Agents, use https://github.com/pageman/Sutskever-Agent | Polyglot / Multi-Backed version at https://github.com/pageman/s…
TorchCFM: a Conditional Flow Matching library
Train, inspect, edit, automate, and export 3D Gaussian Splatting scenes from a single native application.
Central hub for RealtimeSanitizer and its associated tooling
COLMAP - Structure-from-Motion and Multi-View Stereo
Open-source implementation of AlphaEvolve
Transform ONNX model to PyTorch representation
The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that sho…
An open-source AI agent that brings the power of Gemini directly into your terminal.
Un-0: an image generator powered by a simulated system of coupled oscillators, an example of an emerging physical computing substrate.
CUDA accelerated rasterization of gaussian splatting
A collaboration friendly studio for NeRFs
AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software
The GitHub Copilot app is an agent-native desktop experience for finding, running, steering, and landing software work across your GitHub repositories.