Pinned Repositories
attention-center
mathlib4
The math library of Lean 4
libjxl
JPEG XL image format reference implementation
almanac.httparchive.org
HTTP Archive's annual "State of the Web" report made by the web community
animate-lean-proofs
tool for turning Lean proofs into Blender animations
formal_book
Formalizing "Proofs from THE BOOK"
guessaday
An android app for training mental calendar caculations
klein
Source for Felix Klein Protokolle
mo271.github.io
Source of Moritz Firsching's web page
stirling
A proof of Stirling's formula in Lean
mo271's Repositories
mo271/stirling
A proof of Stirling's formula in Lean
mo271/almanac.httparchive.org
HTTP Archive's annual "State of the Web" report made by the web community
mo271/bench
Testing of various jxl implementations in terms of conformance, speed, compression, ...
mo271/conformance
Test bitstreams and reference decoded images for conformance testing
mo271/emoji-test
Testing emoji rendering
mo271/faulhaber
A lean proof of Faulhaber's theorem
mo271/lean4
Lean 4 programming language and theorem prover
mo271/math-puzzles-in-lean4
math puzzles from various sources, formalized in Lean 4
mo271/small_polytopes
mo271/std4
Standard Library for Lean 4
mo271/swissgl
SwissGL is a minimalistic wrapper on top of WebGL2 JS API. It's designed to reduce the amount of boilerplate code required to manage GLSL shaders, textures and framebuffers when making procedural visualizations or simulations.
mo271/aperiodic-monotile
Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats
mo271/attention-center
mo271/content
The content behind MDN Web Docs
mo271/CopenhagenMasterclass2023
mo271/eclib
The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve database.
mo271/GraphKernels
A package for computing Graph Kernels
mo271/highway
Performance-portable, length-agnostic SIMD with runtime dispatch
mo271/jxl-demo
mo271/label_colors_test
Playing with readability of github labels
mo271/lean4-samples
Code samples for Lean 4
mo271/libjpeg-turbo
Main libjpeg-turbo repository
mo271/mathlib
Lean mathematical components library
mo271/mathlib-port-status
Tools for managing the status of the port
mo271/mwe
mwe for lean4
mo271/pik
A new lossy/lossless image format for photos and the internet
mo271/pythagopic
Generating an image with Pythagorean triples
mo271/symmetric_project
mo271/tensorflow
An Open Source Machine Learning Framework for Everyone
mo271/website
this is the code for the sagemath.org website