Language Breakdown
Lines of code distribution across 20 owned repositories
T-Shaped Developer
T-shapedDeep in Haskell with broad versatility
Collaboration Network
Global Impact visualization
Repos
55
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
Bug-free machine learning on stochastic computation graphs
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
NeuroCore: Guiding CDCL with Unsat-Core Predictions
Reference type checker for the Lean theorem prover
Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
A tool for building Lean4 .olean files from Lean3 export data
NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems
Experimental solver for ARC
A simple demonstration of the "Terpret" problem, in which gradient descent fails.
Open Source Impact
Contributions to external projects
No external contributions found.