Tikhon Jelvis
@TikhonJelvisLanguage Breakdown
Lines of code distribution across 44 owned repositories
T-Shaped Developer
T-shapedDeep in JavaScript with broad versatility
Collaboration Network
Global Impact visualization
Repos
111
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Top Repositories
A simple Prolog interpreter
Code for my blog post "Generating Mazes with Inductive Graphs"
Semantic Version Control mk II.
A useful type for working with integers modulo some constant.
A simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
A functional reactive GUI for John Conway's Game of Life.
Slides for my talks at various meetups.
Most of my system configuration files.
Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.
Open Source Impact
Contributions to external projects
