mpenciak Goto Github PK
Name: Matej Penciak
Type: User
Company: Lurk Lab
Location: New York City
Matej Penciak's Projects
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
ffi_test
testing C FFI stuff in Lean
flt
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
fordhamsp2023
galois
A performant NumPy extension for Galois fields and their applications
kickstart.nvim
A launch point for your personal nvim configuration
langlands-seminar
Notes from the Fall 2022 Langlands seminar
lean-seminar-sp2022
Storing all of the content from the Learning Lean Seminar from Spring 2022
lean4-metaprogramming-book
levm
lightdata
A lightweight serialization format
lll2023
Slides from my talk in London Learning Lean
lspec
A Testing Framework for Lean
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.
mm
Decompilation of The Legend of Zelda: Majora's Mask
mpenciak.github.io
My personal website, built using beautiful-jekyll: https://beautifuljekyll.com
noleanblueprint
plasTeX plugin to build formalization blueprints.
nova.lean
plonky3
A toolkit for polynomial IOPs (PIOPs)
symplectic_groups
Lean 3 formalization of Sp 2n R
twist
Definition of Serre's twisting sheaf (work in progress)
vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
vscode-org-mode
Emacs Org Mode for Visual Studio Code
yatimastdlib.lean
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.