informatics master student, interested in programming languages like haskell and rust, turning bugs into type errors, making illegal states unrepresentable
Popular repositories Loading
-
-
-
-
justified-containers
justified-containers PublicForked from matt-noonan/justified-containers
Standard containers, with keys that carry type-level proofs of their own presence.
Haskell
-
aeson-typescript
aeson-typescript PublicForked from codedownio/aeson-typescript
Generate TypeScript definition files from your ADTs
Haskell
-
purescript-mode
purescript-mode PublicForked from purescript-emacs/purescript-mode
Emacs major mode and related tools for Purescript
Emacs Lisp
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.