Justin Lubin
justinlubin
Co-designing programming systems with domain experts
Languages
Loading contributions...
Top Repositories
Fractastic is a simple and approachable fractal generator written in C.
Analyze experimental data with Programming by Navigation
Refactor programs to use library functions
Unofficial OCaml port of elm/parser (v1.1.0).
Simple Datalog in Lean
My personal homepage.
Repositories
72Navigating AND–OR Graph Modifications to Debug Failing Proofs
No description provided.
No description provided.
Analyze experimental data with Programming by Navigation
My dotfiles.
My personal homepage.
No description provided.
Refactor programs to use library functions
⭐️ A friendly language for building type-safe, scalable systems!
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
Programming by Navigation Rust library
No description provided.
Unofficial OCaml port of elm/parser (v1.1.0).
Fractastic is a simple and approachable fractal generator written in C.
Simple Datalog in Lean
Bioinformatics Long-Term Mentoring Program
No description provided.
Fork of https://github.com/prescient-design/walk-jump
No description provided.
No description provided.
No description provided.
No description provided.
Final project for Computational Functional Genomics (COMPBIO 290) at UC Berkeley
A Newton fractal generator written in JavaScript
An easy way to count your crochet stitches.
No description provided.
Standard library for OCaml
No description provided.
No description provided.
No description provided.