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) 384,266
Lines (90d) 159,250
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        31,366  14.5%
Private (5)23,144 73.8%
MaxCarroll0/nixOS-config7,373 23.5%
Extreme-Kayaking/kayak-hull-optimisation849 2.7%
OCaml/Reason  29,397  13.6%
hazelgrove/hazel23,018 78.3%
Private (2)6,378 21.7%
MaxCarroll0/nix-ocaml-template1 0.0%
Haskell       29,141  13.5%
Private (3)28,731 98.6%
MaxCarroll0/agda-flake220 0.8%
MaxCarroll0/polymorphic-type-slicing-mechanisation190 0.7%
JavaScript    27,051  12.5%
Private (3)27,042 100.0%
MaxCarroll0/MaxCarroll0.github.io9 0.0%
Coq           21,661  10.0%
Private21,661 100.0%
Agda          16,157   7.5%
MaxCarroll0/polymorphic-type-slicing-mechanisation15,923 98.6%
MaxCarroll0/Formalised-Algebra234 1.4%
C++           15,766   7.3%
Private15,766 100.0%
Java          13,393   6.2%
Private (3)13,019 97.2%
MaxCarroll0/nixOS-config374 2.8%
Emacs Lisp     8,384   3.9%
MaxCarroll0/nixOS-config8,357 99.7%
Private16 0.2%
MaxCarroll0/org-literate-flake11 0.1%
Lua            6,721   3.1%
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   2.0%
Private (2)4,226 100.0%
Others         7,922   3.7%
 Prose
HTML      37,901  47.0%
Private (3)37,841 99.8%
MaxCarroll0/MaxCarroll0.github.io46 0.1%
hazelgrove/hazel14 0.0%
Markdown  25,962  32.2%
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.6%
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,036   7.5%
Private (2)4,111 68.1%
MaxCarroll0/MaxCarroll0.github.io1,632 27.0%
hazelgrove/hazel293 4.9%
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    40,024  45.5%
Private (5)39,882 99.6%
MaxCarroll0/Formalised-Algebra96 0.2%
MaxCarroll0/nixOS-config41 0.1%
MaxCarroll0/Hillebrand-Kanellakis5 0.0%
Nix     27,033  30.8%
MaxCarroll0/nixOS-config22,930 84.8%
Private (7)1,749 6.5%
MaxCarroll0/polymorphic-type-slicing-tex582 2.2%
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.6%
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  15.6%
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,015   5.7%
Private (3)5,015 100.0%
YAML     1,152   1.3%
Private (4)776 67.4%
MaxCarroll0/nixOS-config374 32.5%
Extreme-Kayaking/kayak-hull-optimisation2 0.2%
INI        620   0.7%
Private620 100.0%
Others     322   0.4%

Recently Used · last 90 days

Programming
Python        29,233  59.0%
Private (2)22,502 77.0%
MaxCarroll0/nixOS-config6,731 23.0%
Emacs Lisp     7,056  14.2%
MaxCarroll0/nixOS-config7,056 100.0%
Haskell        4,125   8.3%
Private4,125 100.0%
OCaml/Reason   3,628   7.3%
Private3,628 100.0%
Lua            2,111   4.3%
MaxCarroll0/nixOS-config1,294 61.3%
MaxCarroll0/MaxCarroll0.github.io789 37.4%
MaxCarroll0/MaxCarroll028 1.3%
QML            1,062   2.1%
MaxCarroll0/nixOS-config1,062 100.0%
Shell            795   1.6%
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   1.0%
MaxCarroll0/nixOS-config493 100.0%
Java             471   1.0%
MaxCarroll0/nixOS-config374 79.4%
Private97 20.6%
Forge Config     314   0.6%
Private314 100.0%
JavaScript       163   0.3%
Private154 94.5%
MaxCarroll0/MaxCarroll0.github.io9 5.5%
BASH              54   0.1%
Private54 100.0%
Others            72   0.1%
 Prose
Markdown  22,421  66.8%
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,072  18.1%
Private (2)6,027 99.3%
MaxCarroll0/MaxCarroll0.github.io45 0.7%
TeX        2,207   6.6%
MaxCarroll0/Bidirectional-Type-Slicing-POPL2,207 100.0%
CSS        2,081   6.2%
MaxCarroll0/MaxCarroll0.github.io1,632 78.4%
Private449 21.6%
Org          795   2.4%
MaxCarroll0/Bidirectional-Type-Slicing-POPL486 61.1%
MaxCarroll0/nixOS-config309 38.9%
Configs / Data
JSON    39,599  52.0%
Private (3)39,558 99.9%
MaxCarroll0/nixOS-config41 0.1%
Nix     16,382  21.5%
MaxCarroll0/nixOS-config15,247 93.1%
Private (3)999 6.1%
MaxCarroll0/Bidirectional-Type-Slicing-POPL136 0.8%
TOML    13,194  17.3%
Private (3)12,496 94.7%
MaxCarroll0/MaxCarroll0.github.io682 5.2%
MaxCarroll0/nixOS-config16 0.1%
XML      4,966   6.5%
Private4,966 100.0%
YAML     1,020   1.3%
Private740 72.5%
MaxCarroll0/nixOS-config280 27.5%
INI        620   0.8%
Private620 100.0%
Others     316   0.4%
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