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.

Content in all repositories owned by your account will be closed.
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 55
Lines (all-time) 320,277
Lines (90d) 100,178
Repositories 44

Programming: Agda, AWK, BASH, Batch, Bitbake, 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, QML, Roc, Rust, Scala, Shell, TypeScript, Visual Studio Solution
Prose: CSS, HTML, Markdown, Org, TeX
Configs / Data: Edn, JSON, Nix, SQL, TOML, XML, YAML

Top Languages

Programming
OCaml/Reason  29,397  14.2%
hazelgrove/hazel23,018 78.3%
Private (2)6,378 21.7%
MaxCarroll0/nix-ocaml-template1 0.0%
Haskell       29,141  14.1%
Private (3)28,731 98.6%
MaxCarroll0/agda-flake220 0.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.7%
JavaScript    27,051  13.1%
Private (3)27,042 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
Python        25,767  12.5%
Private (4)22,689 88.1%
MaxCarroll0/nixOS-config2,229 8.7%
Extreme-Kayaking/kayak-hull-optimisation849 3.3%
Coq           21,661  10.5%
Private21,661 100.0%
Agda          16,157   7.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation15,923 98.6%
MaxCarroll0/Formalised-Algebra234 1.4%
C++           15,766   7.6%
Private15,766 100.0%
Java          12,922   6.3%
Private (2)12,922 100.0%
Emacs Lisp     8,318   4.0%
MaxCarroll0/nixOS-config8,291 99.7%
Private16 0.2%
MaxCarroll0/org-literate-flake11 0.1%
Lua            5,427   2.6%
MaxCarroll0/MaxCarroll03,219 59.3%
MaxCarroll0/polymorphic-type-slicing-tex1,333 24.6%
MaxCarroll0/MaxCarroll0.github.io789 14.5%
Private (2)86 1.6%
BASH           4,226   2.0%
Private (2)4,226 100.0%
C              4,128   2.0%
Private3,499 84.8%
MaxCarroll0/qmk_sweep629 15.2%
Others         6,348   3.1%
 Prose
HTML      37,838  47.2%
Private (2)37,778 99.8%
MaxCarroll0/MaxCarroll0.github.io46 0.1%
hazelgrove/hazel14 0.0%
Markdown  25,556  31.9%
Private (14)20,581 80.5%
MaxCarroll0/nixOS-config2,982 11.7%
MaxCarroll0/MaxCarroll0.github.io557 2.2%
MaxCarroll0/MaxCarroll0394 1.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL260 1.0%
MaxCarroll0/polymorphic-type-slicing-mechanisation182 0.7%
hazelgrove/hazel122 0.5%
Extreme-Kayaking/kayak-hull-optimisation100 0.4%
MaxCarroll0/polymorphic-type-slicing-tex94 0.4%
MaxCarroll0/qmk_sweep39 0.2%
MaxCarroll0/agda-flake30 0.1%
MaxCarroll0/Formalised-Algebra28 0.1%
MaxCarroll0/nix-ocaml-template28 0.1%
MaxCarroll0/org-literate-flake28 0.1%
MaxCarroll0/isabelle-flake27 0.1%
MaxCarroll0/coq-flake24 0.1%
MaxCarroll0/fstar-flake23 0.1%
MaxCarroll0/lean-flake19 0.1%
MaxCarroll0/Delimited-Continuations-Partial-Evaluator12 0.0%
MaxCarroll0/kayak-hull-optimisation-flake8 0.0%
MaxCarroll0/Hillebrand-Kanellakis5 0.0%
MaxCarroll0/Associative-n-Category-Proofs4 0.0%
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%
TeX        9,334  11.6%
MaxCarroll0/polymorphic-type-slicing-tex3,698 39.6%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation3,173 34.0%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,253 24.1%
MaxCarroll0/Compiler-Arith-IMP-Termination101 1.1%
MaxCarroll0/Formalised-Algebra99 1.1%
MaxCarroll0/nix-latex-template10 0.1%
CSS        6,036   7.5%
Private (2)4,111 68.1%
MaxCarroll0/MaxCarroll0.github.io1,632 27.0%
hazelgrove/hazel293 4.9%
Org        1,361   1.7%
MaxCarroll0/nixOS-config750 55.1%
MaxCarroll0/Bidirectional-Type-Slicing-POPL486 35.7%
MaxCarroll0/Formalised-Algebra125 9.2%
Configs / Data
Nix     24,037  71.0%
MaxCarroll0/nixOS-config20,700 86.1%
Private (6)983 4.1%
MaxCarroll0/polymorphic-type-slicing-tex582 2.4%
MaxCarroll0/kayak-hull-optimisation-flake233 1.0%
MaxCarroll0/agda-flake212 0.9%
MaxCarroll0/nix-ocaml-template181 0.8%
MaxCarroll0/coq-flake175 0.7%
MaxCarroll0/isabelle-flake166 0.7%
MaxCarroll0/org-literate-flake149 0.6%
MaxCarroll0/Bidirectional-Type-Slicing-POPL136 0.6%
MaxCarroll0/fstar-flake136 0.6%
MaxCarroll0/polymorphic-type-slicing-mechanisation98 0.4%
MaxCarroll0/csharp-flake90 0.4%
MaxCarroll0/lean-flake90 0.4%
MaxCarroll0/nix-latex-template62 0.3%
MaxCarroll0/MaxCarroll044 0.2%
XML      5,015  14.8%
Private (3)5,015 100.0%
JSON     2,798   8.3%
Private (4)2,670 95.4%
MaxCarroll0/Formalised-Algebra96 3.4%
MaxCarroll0/nixOS-config27 1.0%
MaxCarroll0/Hillebrand-Kanellakis5 0.2%
TOML     1,264   3.7%
MaxCarroll0/MaxCarroll0.github.io693 54.8%
Private (5)461 36.5%
MaxCarroll0/MaxCarroll095 7.5%
MaxCarroll0/Formalised-Algebra10 0.8%
MaxCarroll0/Hillebrand-Kanellakis5 0.4%
YAML       407   1.2%
MaxCarroll0/nixOS-config369 90.7%
Private (3)36 8.8%
Extreme-Kayaking/kayak-hull-optimisation2 0.5%
SQL        316   0.9%
Private316 100.0%
Others       6   0.0%

Recently Used · last 90 days

Programming
Python        24,271  57.6%
Private22,047 90.8%
MaxCarroll0/nixOS-config2,224 9.2%
Emacs Lisp     7,189  17.1%
MaxCarroll0/nixOS-config7,189 100.0%
OCaml/Reason   5,138  12.2%
Private3,628 70.6%
hazelgrove/hazel1,510 29.4%
Haskell        4,532  10.8%
Private4,532 100.0%
Shell            529   1.3%
MaxCarroll0/nixOS-config417 78.8%
Private80 15.1%
MaxCarroll0/Bidirectional-Type-Slicing-POPL32 6.0%
QML              170   0.4%
MaxCarroll0/nixOS-config170 100.0%
JavaScript       154   0.4%
Private154 100.0%
Just              62   0.1%
MaxCarroll0/nixOS-config40 64.5%
Private22 35.5%
BASH              54   0.1%
Private54 100.0%
Lua               28   0.1%
MaxCarroll0/MaxCarroll028 100.0%
Cabal             15   0.0%
Private15 100.0%
Bitbake            7   0.0%
Private7 100.0%
 Prose
Markdown  21,477  70.1%
Private (4)18,547 86.4%
MaxCarroll0/nixOS-config2,910 13.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL20 0.1%
HTML       5,679  18.5%
Private5,679 100.0%
TeX        2,253   7.3%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,253 100.0%
Org          797   2.6%
MaxCarroll0/Bidirectional-Type-Slicing-POPL486 61.0%
MaxCarroll0/nixOS-config311 39.0%
CSS          449   1.5%
Private449 100.0%
Configs / Data
Nix   19,313  70.6%
MaxCarroll0/nixOS-config18,944 98.1%
Private (2)233 1.2%
MaxCarroll0/Bidirectional-Type-Slicing-POPL136 0.7%
XML    4,966  18.1%
Private4,966 100.0%
JSON   2,373   8.7%
Private (2)2,346 98.9%
MaxCarroll0/nixOS-config27 1.1%
YAML     337   1.2%
MaxCarroll0/nixOS-config337 100.0%
SQL      316   1.2%
Private316 100.0%
TOML      69   0.3%
Private (2)66 95.7%
MaxCarroll0/MaxCarroll03 4.3%
Lines attributed across owned + external repos with tokei + git blame, regenerated daily. How it works.

Popular repositories Loading

  1. polymorphic-type-slicing-mechanisation polymorphic-type-slicing-mechanisation Public

    Agda 1 1

  2. Bidirectional-Type-Slicing-POPL Bidirectional-Type-Slicing-POPL Public

    TeX 1 1

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

    VCS for dissertation

    TeX

  4. hazel hazel Public

    Forked from hazelgrove/hazel

    Hazel, a live functional programming environment with typed holes

    Reason

  5. 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

  6. nixOS-config nixOS-config Public

    Nix