Language Breakdown
Lines of code distribution across 3 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Haskell
Collaboration Network
Global Impact visualization
Repos
18
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Not following anyone yet.
Top Repositories
A personal web framework in Haskell
A program using the Curry-Howard isomorphism to check and produce typeset proofs from a proof term
A Rust hashconsing library.
Frequency analyzer based Neopixel lightshow for the Adafruit Gemma M0
This repository contains CodeQL queries and libraries which support various Coding Standards.
An extension for Visual Studio Code that adds rich language support for CodeQL
Starter workspace to use with the CodeQL extension for Visual Studio Code.
Adaptable, fast automation for all
Open Source Impact
Contributions to external projects
No external contributions found.