Language Breakdown
Lines of code distribution across 6 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in OCaml
Collaboration Network
Global Impact visualization
Repos
23
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
tom-tector
@tom-tector
Allen Liao
@allen-liaoo
linglongm
@linglongm
Trebor Huang
@Trebor-Huang
Kelton OBrien
@keltono
Top Repositories
A GUI for tagging and managing document metadata for books, textbooks, or articles.
Various implementations of normalization by evaluation.
Metadb is a library to locally store and manipulate a JSON database of file metadata
A tiny proof assistant for local set theory, in λ-Prolog.
Examples of how monads and algebras relate to algebraic effect handlers
An ocaml implementation of the CDCL algorithm.
Strong normalization proof for System T in Abella
An interactive theorem prover based on lambda-tree syntax
Reparse is a monadic, recursive descent based, comprehensive parser construction library for ocaml.
A little TUI framework for OCaml
Open Source Impact
Contributions to external projects
