Pinned Repositories
AdventOfCode
Solving 2022 Advent of Code problems in Lean 4
afterglow
arecibo
awesome-folding
A curated list of zero-knowledge folding schemes
Bellanova.lean
bumppy
FFaCiL
Finite Fields and Curves in Lean
Lean-Seminar-Sp2022
Storing all of the content from the Learning Lean Seminar from Spring 2022
LLL2023
Slides from my talk in London Learning Lean
mpenciak's Repositories
mpenciak/Lean-Seminar-Sp2022
Storing all of the content from the Learning Lean Seminar from Spring 2022
mpenciak/AdventOfCode
Solving 2022 Advent of Code problems in Lean 4
mpenciak/bumppy
mpenciak/FFaCiL
Finite Fields and Curves in Lean
mpenciak/LLL2023
Slides from my talk in London Learning Lean
mpenciak/afterglow
mpenciak/arecibo
mpenciak/awesome-folding
A curated list of zero-knowledge folding schemes
mpenciak/Bellanova.lean
mpenciak/FFI_test
testing C FFI stuff in Lean
mpenciak/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
mpenciak/FordhamSp2023
mpenciak/galois
A performant NumPy extension for Galois fields and their applications
mpenciak/kickstart.nvim
A launch point for your personal nvim configuration
mpenciak/langlands-seminar
Notes from the Fall 2022 Langlands seminar
mpenciak/lean4-metaprogramming-book
mpenciak/levm
mpenciak/LightData
A lightweight serialization format
mpenciak/LSpec
A Testing Framework for Lean
mpenciak/lurk-rs
Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
mpenciak/mm
Decompilation of The Legend of Zelda: Majora's Mask
mpenciak/mpenciak.github.io
My personal website, built using beautiful-jekyll: https://beautifuljekyll.com
mpenciak/noleanblueprint
plasTeX plugin to build formalization blueprints.
mpenciak/Nova.lean
mpenciak/symplectic_groups
Lean 3 formalization of Sp 2n R
mpenciak/twist
Definition of Serre's twisting sheaf (work in progress)
mpenciak/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
mpenciak/vscode-org-mode
Emacs Org Mode for Visual Studio Code
mpenciak/YatimaStdLib.lean
mpenciak/ZKSnark.lean