Language Breakdown
Lines of code distribution across 20 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Lean
Collaboration Network
Global Impact visualization
Repos
82
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Vishnuswaroop Ramkumar
@vsrinfinite
Saptarshi Sahoo
@SAHOO98
Inari Listenmaa
@inariksit
Quint Guvernator
@qguv
marianna-girlando
@marianna-girlando
Top Repositories
Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
Get your org-mode agenda on the Remarkable tablet.
Running Lean 4 while/from running LaTeX.
🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever
λ🎄 Haskell bindings for CacBDD, a Binary Decision Diagram (BDD) package with dynamic cache management.
Final tagless embedding of propositional and basic modal logic in Haskell. Inspired by http://okmij.org/ftp/tagless-final/index.html
🎓 The ILLC Dissertation Style with some adjustments and scripts.
DEPRECATED - please use the nextcloud-desktop package in stretch-backports or the AppImage from nextcloud.com
Verified Results about Gossip protocols in Lean 4
Open Source Impact
Contributions to external projects
