Skip to content
View MaxCarroll0's full-sized avatar
0 followers · 2 following

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: Pull Shark

Organizations

@hazelgrove @Talking-Music @Extreme-Kayaking

Block or report MaxCarroll0

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
MaxCarroll0/README.md

MaxCarroll0

Totals

Metric Value
Languages 48
Lines (all-time) 131,422
Lines (90d) 89,708
Repositories 30

Top Languages

Programming
Haskell       24,899  22.6%
Private (3)24,709 99.2%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.8%
OCaml/Reason  23,293  21.1%
hazelgrove/hazel23,292 100.0%
MaxCarroll0/nix-ocaml-template1 0.0%
C++           15,766  14.3%
Private15,766 100.0%
Agda          13,682  12.4%
MaxCarroll0/polymorphic-type-slicing-mechanisation13,682 100.0%
Java          12,922  11.7%
Private (2)12,922 100.0%
Lua            5,370   4.9%
MaxCarroll0/MaxCarroll03,167 59.0%
MaxCarroll0/polymorphic-type-slicing-tex1,333 24.8%
MaxCarroll0/MaxCarroll0.github.io784 14.6%
Private (2)86 1.6%
BASH           4,172   3.8%
Private4,172 100.0%
C              4,128   3.7%
Private3,499 84.8%
MaxCarroll0/qmk_sweep629 15.2%
Python         1,190   1.1%
Extreme-Kayaking/kayak-hull-optimisation849 71.3%
Private (3)341 28.7%
Isabelle       1,109   1.0%
MaxCarroll0/Compiler-Arith-IMP-Termination1,109 100.0%
Shell            759   0.7%
Private (4)607 80.0%
MaxCarroll0/polymorphic-type-slicing-tex108 14.2%
MaxCarroll0/nixOS-config-laptop27 3.6%
MaxCarroll0/MaxCarroll0.github.io14 1.8%
hazelgrove/hazel3 0.4%
F#               722   0.7%
MaxCarroll0/Delimited-Continuations-Partial-Evaluator369 51.1%
MaxCarroll0/ArithParse344 47.6%
Private9 1.2%
Other          2,207   2.0%
 Prose
TeX       9,062  53.9%
MaxCarroll0/polymorphic-type-slicing-tex3,698 40.8%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation3,173 35.0%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,080 23.0%
MaxCarroll0/Compiler-Arith-IMP-Termination101 1.1%
MaxCarroll0/nix-latex-template10 0.1%
Markdown  5,569  33.1%
Private (9)4,084 73.3%
MaxCarroll0/MaxCarroll0.github.io518 9.3%
MaxCarroll0/MaxCarroll0371 6.7%
MaxCarroll0/polymorphic-type-slicing-mechanisation183 3.3%
hazelgrove/hazel122 2.2%
Extreme-Kayaking/kayak-hull-optimisation100 1.8%
MaxCarroll0/polymorphic-type-slicing-tex94 1.7%
MaxCarroll0/qmk_sweep39 0.7%
MaxCarroll0/nix-ocaml-template19 0.3%
MaxCarroll0/Delimited-Continuations-Partial-Evaluator12 0.2%
MaxCarroll0/kayak-hull-optimisation-flake8 0.1%
MaxCarroll0/Hillebrand-Kanellakis5 0.1%
MaxCarroll0/Associative-n-Category-Proofs4 0.1%
MaxCarroll0/Compiler-Arith-IMP-Termination3 0.1%
MaxCarroll0/ArithParse2 0.0%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation2 0.0%
MaxCarroll0/bachelors-dissertation2 0.0%
MaxCarroll0/nixOS-config-laptop1 0.0%
CSS       1,916  11.4%
MaxCarroll0/MaxCarroll0.github.io1,632 85.2%
hazelgrove/hazel284 14.8%
Org         200   1.2%
MaxCarroll0/nixOS-config-laptop200 100.0%
HTML         60   0.4%
MaxCarroll0/MaxCarroll0.github.io46 76.7%
hazelgrove/hazel14 23.3%
Configs / Data
Nix   2,840  64.6%
MaxCarroll0/nixOS-config-laptop991 34.9%
Private (3)603 21.2%
MaxCarroll0/polymorphic-type-slicing-tex582 20.5%
MaxCarroll0/kayak-hull-optimisation-flake233 8.2%
MaxCarroll0/Bidirectional-Type-Slicing-POPL124 4.4%
MaxCarroll0/nix-ocaml-template103 3.6%
MaxCarroll0/polymorphic-type-slicing-mechanisation98 3.5%
MaxCarroll0/nix-latex-template62 2.2%
MaxCarroll0/MaxCarroll044 1.5%
TOML  1,189  27.0%
MaxCarroll0/MaxCarroll0.github.io687 57.8%
Private (4)396 33.3%
MaxCarroll0/MaxCarroll0101 8.5%
MaxCarroll0/Hillebrand-Kanellakis5 0.4%
JSON    255   5.8%
Private250 98.0%
MaxCarroll0/Hillebrand-Kanellakis5 2.0%
YAML     57   1.3%
Private (3)36 63.2%
MaxCarroll0/nixOS-config-laptop19 33.3%
Extreme-Kayaking/kayak-hull-optimisation2 3.5%
XML      49   1.1%
Private (2)49 100.0%
Edn       6   0.1%
Private6 100.0%

Recently Used · last 90 days

Programming
Haskell       24,899  32.6%
Private (3)24,709 99.2%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.8%
C++           14,812  19.4%
Private14,812 100.0%
Agda          12,771  16.7%
MaxCarroll0/polymorphic-type-slicing-mechanisation12,771 100.0%
OCaml/Reason   9,905  13.0%
hazelgrove/hazel9,904 100.0%
MaxCarroll0/nix-ocaml-template1 0.0%
Lua            4,586   6.0%
MaxCarroll0/MaxCarroll03,167 69.1%
MaxCarroll0/polymorphic-type-slicing-tex1,333 29.1%
Private (2)86 1.9%
BASH           4,172   5.5%
Private4,172 100.0%
C              3,478   4.6%
Private3,478 100.0%
Shell            522   0.7%
Private (3)384 73.6%
MaxCarroll0/polymorphic-type-slicing-tex108 20.7%
MaxCarroll0/nixOS-config-laptop27 5.2%
hazelgrove/hazel3 0.6%
Cabal            281   0.4%
Private (2)281 100.0%
Rust             208   0.3%
Private208 100.0%
Emacs Lisp       195   0.3%
MaxCarroll0/nixOS-config-laptop179 91.8%
Private16 8.2%
JavaScript       149   0.2%
Private149 100.0%
Other            435   0.6%
 Prose
TeX       5,699  54.6%
MaxCarroll0/polymorphic-type-slicing-tex3,619 63.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,080 36.5%
Markdown  4,415  42.3%
Private (3)3,991 90.4%
MaxCarroll0/polymorphic-type-slicing-mechanisation182 4.1%
MaxCarroll0/MaxCarroll0116 2.6%
MaxCarroll0/polymorphic-type-slicing-tex94 2.1%
MaxCarroll0/nix-ocaml-template19 0.4%
hazelgrove/hazel13 0.3%
CSS         232   2.2%
hazelgrove/hazel232 100.0%
Org          83   0.8%
MaxCarroll0/nixOS-config-laptop83 100.0%
Configs / Data
Nix   2,076  72.4%
MaxCarroll0/nixOS-config-laptop625 30.1%
Private (3)603 29.0%
MaxCarroll0/polymorphic-type-slicing-tex499 24.0%
MaxCarroll0/Bidirectional-Type-Slicing-POPL124 6.0%
MaxCarroll0/nix-ocaml-template103 5.0%
MaxCarroll0/polymorphic-type-slicing-mechanisation78 3.8%
MaxCarroll0/MaxCarroll044 2.1%
TOML    489  17.1%
Private (3)388 79.3%
MaxCarroll0/MaxCarroll0101 20.7%
JSON    250   8.7%
Private250 100.0%
YAML     45   1.6%
Private (3)36 80.0%
MaxCarroll0/nixOS-config-laptop9 20.0%
Edn       6   0.2%
Private6 100.0%
Lines attributed across owned + external repos with tokei + git blame, regenerated daily. How it works.

Popular repositories Loading

  1. Type-Error-Debugging-in-Hazel---Dissertation Type-Error-Debugging-in-Hazel---Dissertation Public

    VCS for dissertation

    TeX

  2. hazel hazel Public

    Forked from hazelgrove/hazel

    Hazel, a live functional programming environment with typed holes

    Reason

  3. L361-Federated-Learning L361-Federated-Learning Public

    Forked from camlsys/L361-Federated-Learning

    This repository contains the course materials for the L361 Federated Learning: Theory and Practice course at the University of Cambridge.

    Jupyter Notebook

  4. nixOS-config-laptop nixOS-config-laptop Public

    Nix

  5. type-slicing-progress-paper type-slicing-progress-paper Public

  6. bachelors-dissertation bachelors-dissertation Public