Jacques Carette
@JacquesCaretteLanguage Breakdown
Lines of code distribution across 25 owned repositories
T-Shaped Developer
T-shapedDeep in TeX with broad versatility
Collaboration Network
Global Impact visualization
Repos
90
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Amir Shaikhha
@amirsh
Ningning
@xnning
Orestis Melkonian
@omelkonian
Yannick Forster
@yforster
Meven Lennon-Bertrand
@MevenBertrand
Top Repositories
Generate all the things (focusing on research software)
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
Showing how some simple mathematical theories naturally give rise to some common data-structures
Collaborative work on reversible computing
Test.GenCheck Haskell project
Public course materials for COMPSCI 3MI3, Fall 2023 version
System benchmarking for proof assistants
Code repository for our work on Quantum Pi
Repository for Fall 2021 version of CAS 706
Open Source Impact
Contributions to external projects
