Skip to content
View MaxCarroll0's full-sized avatar
2 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 52
Lines (all-time) 249,037
Lines (90d) 165,024
Repositories 40

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  15.6%
Private (2)26,888 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
OCaml/Reason  25,621  14.8%
hazelgrove/hazel23,018 89.8%
Private2,602 10.2%
MaxCarroll0/nix-ocaml-template1 0.0%
Haskell       25,607  14.8%
Private (3)25,197 98.4%
MaxCarroll0/agda-flake220 0.9%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.7%
Coq           21,661  12.5%
Private21,661 100.0%
Agda          16,157   9.4%
MaxCarroll0/polymorphic-type-slicing-mechanisation15,923 98.6%
MaxCarroll0/Formalised-Algebra234 1.4%
C++           15,766   9.1%
Private15,766 100.0%
Java          12,922   7.5%
Private (2)12,922 100.0%
Emacs Lisp     6,221   3.6%
MaxCarroll0/nixOS-config6,194 99.6%
Private16 0.3%
MaxCarroll0/org-literate-flake11 0.2%
Lua            5,409   3.1%
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.4%
Private4,172 100.0%
C              4,128   2.4%
Private3,499 84.8%
MaxCarroll0/qmk_sweep629 15.2%
Python         2,514   1.5%
MaxCarroll0/nixOS-config1,324 52.7%
Extreme-Kayaking/kayak-hull-optimisation849 33.8%
Private (3)341 13.6%
Others         5,710   3.3%
 Prose
HTML      32,518  58.6%
Private32,458 99.8%
MaxCarroll0/MaxCarroll0.github.io46 0.1%
hazelgrove/hazel14 0.0%
TeX        9,280  16.7%
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   7,409  13.4%
Private (10)4,095 55.3%
MaxCarroll0/nixOS-config1,552 20.9%
MaxCarroll0/MaxCarroll0.github.io557 7.5%
MaxCarroll0/MaxCarroll0423 5.7%
MaxCarroll0/polymorphic-type-slicing-mechanisation182 2.5%
hazelgrove/hazel122 1.6%
Extreme-Kayaking/kayak-hull-optimisation100 1.3%
MaxCarroll0/polymorphic-type-slicing-tex94 1.3%
MaxCarroll0/qmk_sweep39 0.5%
MaxCarroll0/agda-flake30 0.4%
MaxCarroll0/Formalised-Algebra28 0.4%
MaxCarroll0/nix-ocaml-template28 0.4%
MaxCarroll0/org-literate-flake28 0.4%
MaxCarroll0/isabelle-flake27 0.4%
MaxCarroll0/coq-flake24 0.3%
MaxCarroll0/fstar-flake23 0.3%
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.0%
MaxCarroll0/ArithParse2 0.0%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation2 0.0%
MaxCarroll0/bachelors-dissertation2 0.0%
CSS        5,587  10.1%
Private3,662 65.5%
MaxCarroll0/MaxCarroll0.github.io1,632 29.2%
hazelgrove/hazel293 5.2%
Org          651   1.2%
MaxCarroll0/nixOS-config526 80.8%
MaxCarroll0/Formalised-Algebra125 19.2%
Configs / Data
Nix   18,669  89.7%
MaxCarroll0/nixOS-config15,630 83.7%
Private (4)688 3.7%
MaxCarroll0/polymorphic-type-slicing-tex582 3.1%
MaxCarroll0/kayak-hull-optimisation-flake233 1.2%
MaxCarroll0/agda-flake212 1.1%
MaxCarroll0/nix-ocaml-template181 1.0%
MaxCarroll0/coq-flake175 0.9%
MaxCarroll0/isabelle-flake166 0.9%
MaxCarroll0/org-literate-flake149 0.8%
MaxCarroll0/fstar-flake136 0.7%
MaxCarroll0/Bidirectional-Type-Slicing-POPL133 0.7%
MaxCarroll0/polymorphic-type-slicing-mechanisation98 0.5%
MaxCarroll0/csharp-flake90 0.5%
MaxCarroll0/lean-flake90 0.5%
MaxCarroll0/nix-latex-template62 0.3%
MaxCarroll0/MaxCarroll044 0.2%
TOML   1,201   5.8%
MaxCarroll0/MaxCarroll0.github.io693 57.7%
Private (4)398 33.1%
MaxCarroll0/MaxCarroll095 7.9%
MaxCarroll0/Formalised-Algebra10 0.8%
MaxCarroll0/Hillebrand-Kanellakis5 0.4%
YAML     457   2.2%
MaxCarroll0/nixOS-config419 91.7%
Private (3)36 7.9%
Extreme-Kayaking/kayak-hull-optimisation2 0.4%
JSON     425   2.0%
Private (2)324 76.2%
MaxCarroll0/Formalised-Algebra96 22.6%
MaxCarroll0/Hillebrand-Kanellakis5 1.2%
XML       49   0.2%
Private (2)49 100.0%
Edn        6   0.0%
Private6 100.0%

Recently Used · last 90 days

Programming
Haskell       25,596  24.5%
Private (2)25,186 98.4%
MaxCarroll0/agda-flake220 0.9%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.7%
JavaScript    24,942  23.8%
Private (2)24,933 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
Coq           20,507  19.6%
Private20,507 100.0%
OCaml/Reason  12,233  11.7%
hazelgrove/hazel9,630 78.7%
Private2,602 21.3%
MaxCarroll0/nix-ocaml-template1 0.0%
Agda           7,703   7.4%
MaxCarroll0/polymorphic-type-slicing-mechanisation7,469 97.0%
MaxCarroll0/Formalised-Algebra234 3.0%
Emacs Lisp     6,013   5.7%
MaxCarroll0/nixOS-config6,002 99.8%
MaxCarroll0/org-literate-flake11 0.2%
Lua            4,076   3.9%
MaxCarroll0/MaxCarroll03,201 78.5%
MaxCarroll0/MaxCarroll0.github.io789 19.4%
Private (2)86 2.1%
Python         1,322   1.3%
MaxCarroll0/nixOS-config1,322 100.0%
Shell            570   0.5%
Private (2)327 57.4%
MaxCarroll0/nixOS-config185 32.5%
MaxCarroll0/org-literate-flake41 7.2%
MaxCarroll0/MaxCarroll0.github.io14 2.5%
hazelgrove/hazel3 0.5%
Isabelle         530   0.5%
MaxCarroll0/Formalised-Algebra530 100.0%
Cabal            281   0.3%
Private (2)281 100.0%
C#               260   0.2%
Private260 100.0%
Others           556   0.5%
 Prose
HTML      29,601  70.9%
Private29,556 99.8%
MaxCarroll0/MaxCarroll0.github.io45 0.2%
CSS        5,535  13.3%
Private3,662 66.2%
MaxCarroll0/MaxCarroll0.github.io1,632 29.5%
hazelgrove/hazel241 4.4%
Markdown   3,996   9.6%
MaxCarroll0/nixOS-config1,606 40.2%
Private (3)1,449 36.3%
MaxCarroll0/MaxCarroll0.github.io557 13.9%
MaxCarroll0/MaxCarroll0121 3.0%
MaxCarroll0/agda-flake30 0.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation29 0.7%
MaxCarroll0/Formalised-Algebra28 0.7%
MaxCarroll0/nix-ocaml-template28 0.7%
MaxCarroll0/org-literate-flake28 0.7%
MaxCarroll0/isabelle-flake27 0.7%
MaxCarroll0/coq-flake24 0.6%
MaxCarroll0/fstar-flake23 0.6%
MaxCarroll0/lean-flake19 0.5%
MaxCarroll0/polymorphic-type-slicing-tex14 0.4%
hazelgrove/hazel13 0.3%
TeX        2,082   5.0%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,023 97.2%
MaxCarroll0/Formalised-Algebra59 2.8%
Org          536   1.3%
MaxCarroll0/nixOS-config411 76.7%
MaxCarroll0/Formalised-Algebra125 23.3%
Configs / Data
Nix   16,913  90.5%
MaxCarroll0/nixOS-config15,212 89.9%
Private (4)257 1.5%
MaxCarroll0/agda-flake212 1.3%
MaxCarroll0/nix-ocaml-template181 1.1%
MaxCarroll0/coq-flake175 1.0%
MaxCarroll0/isabelle-flake166 1.0%
MaxCarroll0/org-literate-flake149 0.9%
MaxCarroll0/fstar-flake136 0.8%
MaxCarroll0/Bidirectional-Type-Slicing-POPL125 0.7%
MaxCarroll0/lean-flake90 0.5%
MaxCarroll0/csharp-flake87 0.5%
MaxCarroll0/polymorphic-type-slicing-mechanisation78 0.5%
MaxCarroll0/MaxCarroll044 0.3%
MaxCarroll0/polymorphic-type-slicing-tex1 0.0%
TOML   1,118   6.0%
MaxCarroll0/MaxCarroll0.github.io682 61.0%
Private (2)331 29.6%
MaxCarroll0/MaxCarroll095 8.5%
MaxCarroll0/Formalised-Algebra10 0.9%
YAML     411   2.2%
MaxCarroll0/nixOS-config394 95.9%
Private (2)17 4.1%
JSON     243   1.3%
Private (2)147 60.5%
MaxCarroll0/Formalised-Algebra96 39.5%
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 nixOS-config Public

    Nix

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

  6. bachelors-dissertation bachelors-dissertation Public