Skip to content
View MaxCarroll0's full-sized avatar
1 follower · 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 52
Lines (all-time) 224,708
Lines (90d) 177,605
Repositories 38

Programming: Agda, AWK, BASH, Batch, C, C#, C++, Cabal, Clojure, CMake, Common Lisp, Coq, Elixir, Emacs Lisp, F#, F*, Forge Config, fstar, Go, Haskell, Idris, Isabelle, Java, JavaScript, jq, Just, Kotlin, Lean, lean4, Lua, Makefile, MSBuild, OCaml/Reason, Perl, Python, Roc, Rust, Scala, Shell, TypeScript, Visual Studio Solution
Prose: CSS, HTML, Markdown, Org, TeX
Configs / Data: Edn, JSON, Nix, TOML, XML, YAML

Top Languages

Programming
JavaScript    26,897  16.3%
Private (2)26,888 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
OCaml/Reason  26,278  15.9%
hazelgrove/hazel23,675 90.1%
Private2,602 9.9%
MaxCarroll0/nix-ocaml-template1 0.0%
Haskell       25,119  15.2%
Private (3)24,709 98.4%
MaxCarroll0/agda-flake220 0.9%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.8%
Coq           21,661  13.1%
Private21,661 100.0%
Agda          16,157   9.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation15,923 98.6%
MaxCarroll0/Formalised-Algebra234 1.4%
C++           15,766   9.5%
Private15,766 100.0%
Java          12,922   7.8%
Private (2)12,922 100.0%
Lua            5,409   3.3%
MaxCarroll0/MaxCarroll03,201 59.2%
MaxCarroll0/polymorphic-type-slicing-tex1,333 24.6%
MaxCarroll0/MaxCarroll0.github.io789 14.6%
Private (2)86 1.6%
BASH           4,172   2.5%
Private4,172 100.0%
C              4,128   2.5%
Private3,499 84.8%
MaxCarroll0/qmk_sweep629 15.2%
Isabelle       1,639   1.0%
MaxCarroll0/Compiler-Arith-IMP-Termination1,109 67.7%
MaxCarroll0/Formalised-Algebra530 32.3%
Python         1,190   0.7%
Extreme-Kayaking/kayak-hull-optimisation849 71.3%
Private (3)341 28.7%
Others         4,152   2.5%
 Prose
HTML      32,518  60.7%
Private32,458 99.8%
MaxCarroll0/MaxCarroll0.github.io46 0.1%
hazelgrove/hazel14 0.0%
TeX        9,280  17.3%
MaxCarroll0/polymorphic-type-slicing-tex3,698 39.8%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation3,173 34.2%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,199 23.7%
MaxCarroll0/Compiler-Arith-IMP-Termination101 1.1%
MaxCarroll0/Formalised-Algebra99 1.1%
MaxCarroll0/nix-latex-template10 0.1%
Markdown   5,861  10.9%
Private (10)4,095 69.9%
MaxCarroll0/MaxCarroll0.github.io557 9.5%
MaxCarroll0/MaxCarroll0426 7.3%
MaxCarroll0/polymorphic-type-slicing-mechanisation182 3.1%
hazelgrove/hazel122 2.1%
Extreme-Kayaking/kayak-hull-optimisation100 1.7%
MaxCarroll0/polymorphic-type-slicing-tex94 1.6%
MaxCarroll0/qmk_sweep39 0.7%
MaxCarroll0/agda-flake30 0.5%
MaxCarroll0/Formalised-Algebra28 0.5%
MaxCarroll0/nix-ocaml-template28 0.5%
MaxCarroll0/org-literate-flake28 0.5%
MaxCarroll0/isabelle-flake27 0.5%
MaxCarroll0/coq-flake24 0.4%
MaxCarroll0/fstar-flake23 0.4%
MaxCarroll0/lean-flake19 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        5,578  10.4%
Private3,662 65.7%
MaxCarroll0/MaxCarroll0.github.io1,632 29.3%
hazelgrove/hazel284 5.1%
Org          355   0.7%
MaxCarroll0/nixOS-config-laptop230 64.8%
MaxCarroll0/Formalised-Algebra125 35.2%
Configs / Data
Nix   3,883  69.0%
MaxCarroll0/nixOS-config-laptop1,019 26.2%
Private (3)603 15.5%
MaxCarroll0/polymorphic-type-slicing-tex582 15.0%
MaxCarroll0/kayak-hull-optimisation-flake233 6.0%
MaxCarroll0/agda-flake212 5.5%
MaxCarroll0/nix-ocaml-template181 4.7%
MaxCarroll0/coq-flake175 4.5%
MaxCarroll0/isabelle-flake166 4.3%
MaxCarroll0/org-literate-flake149 3.8%
MaxCarroll0/fstar-flake136 3.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL133 3.4%
MaxCarroll0/polymorphic-type-slicing-mechanisation98 2.5%
MaxCarroll0/lean-flake90 2.3%
MaxCarroll0/nix-latex-template62 1.6%
MaxCarroll0/MaxCarroll044 1.1%
TOML  1,206  21.4%
MaxCarroll0/MaxCarroll0.github.io693 57.5%
Private (4)396 32.8%
MaxCarroll0/MaxCarroll0102 8.5%
MaxCarroll0/Formalised-Algebra10 0.8%
MaxCarroll0/Hillebrand-Kanellakis5 0.4%
JSON    425   7.6%
Private (2)324 76.2%
MaxCarroll0/Formalised-Algebra96 22.6%
MaxCarroll0/Hillebrand-Kanellakis5 1.2%
YAML     57   1.0%
Private (3)36 63.2%
MaxCarroll0/nixOS-config-laptop19 33.3%
Extreme-Kayaking/kayak-hull-optimisation2 3.5%
XML      49   0.9%
Private (2)49 100.0%
Edn       6   0.1%
Private6 100.0%

Recently Used · last 90 days

Programming
Haskell       25,119  19.8%
Private (3)24,709 98.4%
MaxCarroll0/agda-flake220 0.9%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.8%
JavaScript    24,942  19.7%
Private (2)24,933 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
Coq           20,507  16.2%
Private20,507 100.0%
C++           14,812  11.7%
Private14,812 100.0%
OCaml/Reason  12,890  10.2%
hazelgrove/hazel10,287 79.8%
Private2,602 20.2%
MaxCarroll0/nix-ocaml-template1 0.0%
Agda          12,442   9.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation12,208 98.1%
MaxCarroll0/Formalised-Algebra234 1.9%
Lua            5,409   4.3%
MaxCarroll0/MaxCarroll03,201 59.2%
MaxCarroll0/polymorphic-type-slicing-tex1,333 24.6%
MaxCarroll0/MaxCarroll0.github.io789 14.6%
Private (2)86 1.6%
BASH           4,172   3.3%
Private4,172 100.0%
C              3,478   2.7%
Private3,478 100.0%
Shell            577   0.5%
Private (3)384 66.6%
MaxCarroll0/polymorphic-type-slicing-tex108 18.7%
MaxCarroll0/org-literate-flake41 7.1%
MaxCarroll0/nixOS-config-laptop27 4.7%
MaxCarroll0/MaxCarroll0.github.io14 2.4%
hazelgrove/hazel3 0.5%
Isabelle         530   0.4%
MaxCarroll0/Formalised-Algebra530 100.0%
Emacs Lisp       364   0.3%
MaxCarroll0/nixOS-config-laptop337 92.6%
Private16 4.4%
MaxCarroll0/org-literate-flake11 3.0%
Others         1,336   1.1%
 Prose
HTML      29,601  63.9%
Private29,556 99.8%
MaxCarroll0/MaxCarroll0.github.io45 0.2%
TeX        5,780  12.5%
MaxCarroll0/polymorphic-type-slicing-tex3,698 64.0%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,023 35.0%
MaxCarroll0/Formalised-Algebra59 1.0%
CSS        5,526  11.9%
Private3,662 66.3%
MaxCarroll0/MaxCarroll0.github.io1,632 29.5%
hazelgrove/hazel232 4.2%
Markdown   5,210  11.2%
Private (4)4,002 76.8%
MaxCarroll0/MaxCarroll0.github.io557 10.7%
MaxCarroll0/polymorphic-type-slicing-mechanisation181 3.5%
MaxCarroll0/MaxCarroll0156 3.0%
MaxCarroll0/polymorphic-type-slicing-tex94 1.8%
MaxCarroll0/agda-flake30 0.6%
MaxCarroll0/Formalised-Algebra28 0.5%
MaxCarroll0/nix-ocaml-template28 0.5%
MaxCarroll0/org-literate-flake28 0.5%
MaxCarroll0/isabelle-flake27 0.5%
MaxCarroll0/coq-flake24 0.5%
MaxCarroll0/fstar-flake23 0.4%
MaxCarroll0/lean-flake19 0.4%
hazelgrove/hazel13 0.2%
Org          235   0.5%
MaxCarroll0/Formalised-Algebra125 53.2%
MaxCarroll0/nixOS-config-laptop110 46.8%
Configs / Data
Nix   3,022  64.6%
Private (3)603 20.0%
MaxCarroll0/polymorphic-type-slicing-tex553 18.3%
MaxCarroll0/nixOS-config-laptop510 16.9%
MaxCarroll0/agda-flake212 7.0%
MaxCarroll0/nix-ocaml-template181 6.0%
MaxCarroll0/coq-flake175 5.8%
MaxCarroll0/isabelle-flake166 5.5%
MaxCarroll0/org-literate-flake149 4.9%
MaxCarroll0/fstar-flake136 4.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL125 4.1%
MaxCarroll0/lean-flake90 3.0%
MaxCarroll0/polymorphic-type-slicing-mechanisation78 2.6%
MaxCarroll0/MaxCarroll044 1.5%
TOML  1,182  25.3%
MaxCarroll0/MaxCarroll0.github.io682 57.7%
Private (3)388 32.8%
MaxCarroll0/MaxCarroll0102 8.6%
MaxCarroll0/Formalised-Algebra10 0.8%
JSON    420   9.0%
Private (2)324 77.1%
MaxCarroll0/Formalised-Algebra96 22.9%
YAML     45   1.0%
Private (3)36 80.0%
MaxCarroll0/nixOS-config-laptop9 20.0%
Edn       6   0.1%
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