Language Breakdown
Lines of code distribution across 8 owned repositories
T-Shaped Developer
T-shapedDeep in C with broad versatility
Collaboration Network
Global Impact visualization
Repos
22
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
Files presented during CS Grad Seminar at Cornell University on April 23, 2025.
This repository contains the materials needed to get printers on the Grinnell College network working on a GNU/Linux system.
Half-precision floating point types f16 and bf16 for Rust.
Rust bindings for the Z3 solver.
Website for PL@Cornell
Haskell bindings to the CUDD binary decision diagram library
Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Haskell bindings to Microsoft's Z3 API (unofficial).
Generic Makefile to build Arduino .ino sketches from the command line
Open Source Impact
Contributions to external projects
