Neural Networks and the Chomsky Hierarchy

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

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

A Typst-friendly static Zettelkästen site generator.

OCRmyPDF adds an OCR text layer to scanned PDF files, allowing them to be searched

Formalism and proofs for esverify

The Lean Computer Science Library (CSLib)

O(1) Algorithm to check if number is prime that works in 95%+ cases.

2025年科学上网最稳翻墙软件，几款中国好用的VPN推荐

Towards verified polyhedral compilation. Vibing proving in progress. Codex dev doc: https://github.com/verif-scop/polcert-dev/

maintainer: codex

植物大战僵尸 PC 版综合修改器

Tracks changes of the lua prototype definitions in factorio inbetween releases.

Lets you use customized keymapping when playing Touhou STG by patching the games' exe files

A Coq library for Homotopy Type Theory

A project to map out the relations between different equational theories of Magmas.

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

订阅人数最多的rss源，中文优质rss源

A blazing fast SQL-like in-memory query engine built on top of C# generic type system!

李跳跳软件及使用指南❤❤❤

基于无障碍，高级选择器，订阅规则的自定义屏幕点击安卓应用 | An Android APP with custom screen tapping based on Accessibility, Advanced Selectors, and Subscription Rules

A rule-based tunnel for Android.

A high-performance Brainfuck JIT and AOT compiler built on top of C# type system

一款智能的 Chrome/Firefox 浏览器插件，通过分析弹幕内容自动识别 B 站视频中的嵌入式广告段，并提供自动或手动的跳过功能

Meerkat parsers

A parser combinator library based on the GLL algorithm