mo271 Goto Github PK

almanac.httparchive.org

HTTP Archive's annual "State of the Web" report made by the web community

anki-android

AnkiDroid: Anki on Android

aperiodic-monotile

Smith, Myers, Kaplan and Goodman-Strauss's aperiodic monotile, in a variety of formats

attention-center

bench

Testing of various jxl implementations in terms of conformance, speed, compression, ...

conformance

Test bitstreams and reference decoded images for conformance testing

content

The content behind MDN Web Docs

copenhagenmasterclass2023

dotfiles

my dotfiles

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.

emoji-test

Testing emoji rendering

eulerproducts

An attempt at formalizing facts on Euler products in Lean

faulhaber

A lean proof of Faulhaber's theorem

firsch.ing

source for firsch.ing

formal_book

Formalizing "Proofs from THE BOOK"

gemma.cpp

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

graphkernels

A package for computing Graph Kernels

guessaday

An android app for training mental calendar caculations

highway

Performance-portable, length-agnostic SIMD with runtime dispatch

homotopycontinuation.jl

A Julia package for solving systems of polynomials via homotopy continuation.

ibex-lib

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

jxl-demo

klein

Source for Felix Klein Protokolle

label_colors_test

Playing with readability of github labels

lean4

Lean 4 programming language and theorem prover

lean4-samples

Code samples for Lean 4

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

libjpeg-turbo

Main libjpeg-turbo repository

libjxl

JPEG XL image format reference implementation

math-puzzles-in-lean4

math puzzles from various sources, formalized in Lean 4