mo271

mo271's Stars

• openscad/openscad

  OpenSCAD - The Programmers Solid 3D CAD Modeller

  Language:C++6.9k2493k1.2k

• google/gemma.cpp

  lightweight, standalone C++ inference engine for Google's Gemma models.

  Language:C++5.9k4083500

• AcademySoftwareFoundation/openexr

  The OpenEXR project provides the specification and reference implementation of the EXR file format, the professional-grade image storage format of the motion picture industry.

  Language:C1.6k134568609

• thorfdbg/libjpeg

  A complete implementation of 10918-1 (JPEG) coming from jpeg.org (the ISO group) with extensions for HDR, lossless and alpha channel coding standardized as ISO/IEC 18477 (JPEG XT).

  Language:C++313208478

• google-research/self-organising-systems

  Language:Jupyter Notebook30821465

• leanprover/elan

  The Lean version manager

  Language:Rust295177334

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean191111037

• google/zimtohrli

  Language:Jupyter Notebook135414

• teorth/pfr

  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)

  Language:Lean1296333

• AlexKontorovich/PrimeNumberTheoremAnd

  blueprint for prime number theorem and more

  Language:Lean1216025

• maxwellainatchi/gnome-randr-rust

  `xrandr` for Gnome/wayland, on distros that don't support `wlr-randr`

  Language:Rust918258

• google/jpegli

  Language:C++77348

• Alex313031/thorium-libjxl

  libjxl for Chromium - restores JPEG-XL functionality to Thorium/Chromium post M109

  Language:C++36564

• eoineoineoin/ecwt

  Morse Code training application for Android

  Language:Kotlin24185

• dwrensha/tryAtEachStep

  Try a tactic at each step in a Lean proof.

  Language:Lean1030

• MichaelStollBayreuth/EulerProducts

  An attempt at formalizing facts on Euler products in Lean

  Language:Lean81

• AlexDuchnowski/rubiks-cube

  A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.

  Language:Lean7250

• google/rbrotli-enc

  Language:Rust7203

• google/ringli

  Language:C++75

• leanprover-community/import-graph

  Tool to analyse the import structure of lean projects.

  Language:Lean7804

• teorth/asymptotic

  Language:C60

• Happyves/BerLean_Workshop

  Repo for the first BerLean workshop.

  Language:Lean420

• google/foteli

  Language:C++31

• todbeibrot/Lean-Oscar

  An interface between Lean4 and Oscar.

  Language:Lean3201

• mo271/animate-lean-proofs

  tool for turning Lean proofs into Blender animations

  Language:Lean20

• Happyves/Master_Thesis

  Language:Lean1

• mo271/ibex-lib

  IBEX is a C++ library for constraint processing over real numbers.

  1

• mo271/klein

  Source for Felix Klein Protokolle

  Language:JavaScript12371

• mo271/leanprover-community.github.io

  Hosts the website for mathlib and other Lean community infrastructure.

  Language:CSS110

• mo271/self-organising-systems

  Language:Jupyter Notebook110