mapehe

local-rag-test

Testing out how RAG would work with locally hosted models.

AoC2023Lean4

Learning Lean4 programming with the Advent of Code 2023.

symmetric_project

mathlib4

The math library of Lean 4

nanoGPT

The simplest, fastest repository for training/finetuning medium-sized GPTs.

minGPT

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

lean4

Lean 4 programming language and theorem prover

formalising-mathematics-2022

Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

vscode-linux-kernel

Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules

nocode

The best way to write secure and reliable applications. Write nothing; deploy nowhere.

shader-web-background

Displays GLSL fragment shaders as a website background. Supports offscreen buffers and floating point textures on almost any browser and hardware. Compatible with Shadertoy.