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

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: Quickdraw

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. 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 56
Lines (all-time) 692,724
Lines (90d) 463,912
Repositories 46

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, INI, JSON, Nix, SQL, TOML, XML, YAML

Top Languages

Programming
Python        39,079  17.5%
Private (5)30,857 79.0%
MaxCarroll0/nixOS-config7,373 18.9%
Extreme-Kayaking/kayak-hull-optimisation849 2.2%
OCaml/Reason  29,397  13.1%
hazelgrove/hazel23,018 78.3%
Private (2)6,378 21.7%
MaxCarroll0/nix-ocaml-template1 0.0%
Haskell       29,141  13.0%
Private (3)28,731 98.6%
MaxCarroll0/agda-flake220 0.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.7%
JavaScript    27,093  12.1%
Private (3)27,084 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
Coq           21,661   9.7%
Private21,661 100.0%
Agda          16,157   7.2%
MaxCarroll0/polymorphic-type-slicing-mechanisation15,923 98.6%
MaxCarroll0/Formalised-Algebra234 1.4%
C++           15,766   7.1%
Private15,766 100.0%
Java          13,393   6.0%
Private (3)13,019 97.2%
MaxCarroll0/nixOS-config374 2.8%
Emacs Lisp     8,384   3.8%
MaxCarroll0/nixOS-config8,357 99.7%
Private16 0.2%
MaxCarroll0/org-literate-flake11 0.1%
Lua            6,721   3.0%
MaxCarroll0/MaxCarroll03,219 47.9%
MaxCarroll0/polymorphic-type-slicing-tex1,333 19.8%
MaxCarroll0/nixOS-config1,294 19.3%
MaxCarroll0/MaxCarroll0.github.io789 11.7%
Private (2)86 1.3%
C              4,621   2.1%
Private3,499 75.7%
MaxCarroll0/qmk_sweep629 13.6%
MaxCarroll0/nixOS-config493 10.7%
BASH           4,226   1.9%
Private (2)4,226 100.0%
Others         7,922   3.5%
 Prose
HTML      38,229  47.2%
Private (3)38,169 99.8%
MaxCarroll0/MaxCarroll0.github.io46 0.1%
hazelgrove/hazel14 0.0%
Markdown  25,962  32.1%
Private (14)20,581 79.3%
MaxCarroll0/nixOS-config3,372 13.0%
MaxCarroll0/MaxCarroll0.github.io557 2.1%
MaxCarroll0/MaxCarroll0410 1.6%
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,314  11.5%
MaxCarroll0/polymorphic-type-slicing-tex3,698 39.7%
MaxCarroll0/Type-Error-Debugging-in-Hazel---Dissertation3,173 34.1%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,233 24.0%
MaxCarroll0/Compiler-Arith-IMP-Termination101 1.1%
MaxCarroll0/Formalised-Algebra99 1.1%
MaxCarroll0/nix-latex-template10 0.1%
CSS        6,103   7.5%
Private (2)4,178 68.5%
MaxCarroll0/MaxCarroll0.github.io1,632 26.7%
hazelgrove/hazel293 4.8%
Org        1,371   1.7%
MaxCarroll0/nixOS-config760 55.4%
MaxCarroll0/Bidirectional-Type-Slicing-POPL486 35.4%
MaxCarroll0/Formalised-Algebra125 9.1%
Configs / Data
JSON    339,663  87.5%
Private (5)339,521 100.0%
MaxCarroll0/Formalised-Algebra96 0.0%
MaxCarroll0/nixOS-config41 0.0%
MaxCarroll0/Hillebrand-Kanellakis5 0.0%
Nix      27,140   7.0%
MaxCarroll0/nixOS-config23,037 84.9%
Private (7)1,749 6.4%
MaxCarroll0/polymorphic-type-slicing-tex582 2.1%
MaxCarroll0/kayak-hull-optimisation-flake233 0.9%
MaxCarroll0/agda-flake212 0.8%
MaxCarroll0/nix-ocaml-template181 0.7%
MaxCarroll0/coq-flake175 0.6%
MaxCarroll0/isabelle-flake166 0.6%
MaxCarroll0/org-literate-flake149 0.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL136 0.5%
MaxCarroll0/fstar-flake136 0.5%
MaxCarroll0/polymorphic-type-slicing-mechanisation98 0.4%
MaxCarroll0/csharp-flake90 0.3%
MaxCarroll0/lean-flake90 0.3%
MaxCarroll0/nix-latex-template62 0.2%
MaxCarroll0/MaxCarroll044 0.2%
TOML     13,710   3.5%
Private (6)12,891 94.0%
MaxCarroll0/MaxCarroll0.github.io693 5.1%
MaxCarroll0/MaxCarroll095 0.7%
MaxCarroll0/nixOS-config16 0.1%
MaxCarroll0/Formalised-Algebra10 0.1%
MaxCarroll0/Hillebrand-Kanellakis5 0.0%
XML       5,381   1.4%
Private (3)5,381 100.0%
YAML      1,152   0.3%
Private (4)776 67.4%
MaxCarroll0/nixOS-config374 32.5%
Extreme-Kayaking/kayak-hull-optimisation2 0.2%
INI         620   0.2%
Private620 100.0%
Others      518   0.1%

Recently Used · last 90 days

Programming
Python        36,949  64.4%
Private (2)30,218 81.8%
MaxCarroll0/nixOS-config6,731 18.2%
Emacs Lisp     7,056  12.3%
MaxCarroll0/nixOS-config7,056 100.0%
Haskell        4,125   7.2%
Private4,125 100.0%
OCaml/Reason   3,628   6.3%
Private3,628 100.0%
Lua            2,111   3.7%
MaxCarroll0/nixOS-config1,294 61.3%
MaxCarroll0/MaxCarroll0.github.io789 37.4%
MaxCarroll0/MaxCarroll028 1.3%
QML            1,062   1.9%
MaxCarroll0/nixOS-config1,062 100.0%
Shell            795   1.4%
MaxCarroll0/nixOS-config417 52.5%
Private (3)332 41.8%
MaxCarroll0/Bidirectional-Type-Slicing-POPL32 4.0%
MaxCarroll0/MaxCarroll0.github.io14 1.8%
C                493   0.9%
MaxCarroll0/nixOS-config493 100.0%
Java             471   0.8%
MaxCarroll0/nixOS-config374 79.4%
Private97 20.6%
Forge Config     314   0.5%
Private314 100.0%
JavaScript       205   0.4%
Private196 95.6%
MaxCarroll0/MaxCarroll0.github.io9 4.4%
BASH              54   0.1%
Private54 100.0%
Others            72   0.1%
 Prose
Markdown  22,421  66.0%
Private (4)18,547 82.7%
MaxCarroll0/nixOS-config3,297 14.7%
MaxCarroll0/MaxCarroll0.github.io557 2.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL20 0.1%
HTML       6,400  18.8%
Private (2)6,355 99.3%
MaxCarroll0/MaxCarroll0.github.io45 0.7%
TeX        2,207   6.5%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,207 100.0%
CSS        2,148   6.3%
MaxCarroll0/MaxCarroll0.github.io1,632 76.0%
Private516 24.0%
Org          795   2.3%
MaxCarroll0/Bidirectional-Type-Slicing-POPL486 61.1%
MaxCarroll0/nixOS-config309 38.9%
Configs / Data
JSON    336,775  90.4%
Private (3)336,734 100.0%
MaxCarroll0/nixOS-config41 0.0%
Nix      15,154   4.1%
MaxCarroll0/nixOS-config14,019 92.5%
Private (3)999 6.6%
MaxCarroll0/Bidirectional-Type-Slicing-POPL136 0.9%
TOML     13,194   3.5%
Private (3)12,496 94.7%
MaxCarroll0/MaxCarroll0.github.io682 5.2%
MaxCarroll0/nixOS-config16 0.1%
XML       5,332   1.4%
Private5,332 100.0%
YAML      1,019   0.3%
Private740 72.6%
MaxCarroll0/nixOS-config279 27.4%
INI         620   0.2%
Private620 100.0%
Others      512   0.1%
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. lean-flake lean-flake Public template

    Lean 4 dev environment flake (elan, lake typecheck app)

    Nix 1

  4. Formalised-Algebra Formalised-Algebra Public

    Aluffi's Algebra: Chapter 0 formalised in Lean 4, Agda, Isabelle, and F*

    Agda 1

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

    VCS for dissertation

    TeX

  6. hazel hazel Public

    Forked from hazelgrove/hazel

    Hazel, a live functional programming environment with typed holes

    Reason