ammkrn

servo

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

bat

A cat(1) clone with wings.

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

nvim-lspconfig

Quickstart configs for Nvim LSP

lean.nvim

neovim support for the Lean theorem prover

unison

Unison file synchronizer

typst-tablex

More powerful and customizable tables in Typst

batteries

The "batteries included" extended library for the Lean programming language and theorem prover

DateTime

DateTime package for Lean 4

license-similarity

Identify an open-source SPDX license from license text. (Essentially a pure-JavaScript/TypeScript fork of https://github.com/spdx/spdx-license-matcher)

simple-sat-solver-mojo

A simple SAT solver implemented in Mojo compared to Python and C++ counterparts

lean4checker

Replay the `Environment` for a given Lean module, ensuring that all declarations are accepted by the kernel.

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

compiler9000

An formalized micro-compiler in Lean 4

candle

Minimalist ML framework for Rust

Gymnasium

An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

rl-baselines3-zoo

A training framework for Stable Baselines3 reinforcement learning agents, with hyperparameter optimization and pre-trained agents included.

DLFS_code

Code for the book Deep Learning From Scratch, from O'Reilly September 2019

elaboration-zoo

Minimal implementations for dependent type checking and elaboration

melody

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

hhkb-zmk

HHKB Pro 2 with ZMK firmware

ocaml-flap

A deterministic parser with fused lexing

ImHex-Patterns

Hex patterns, include patterns and magic files for the use with the ImHex Hex Editor

hayagriva

Rusty bibliography management.

tuning_playbook

A playbook for systematically maximizing the performance of deep learning models.

lapce

Lightning-fast and Powerful Code Editor written in Rust

git-branchless

High-velocity, monorepo-scale workflow for Git

yuujinchou

👹 A library for hierarchical names and lexical scoping

tuple-database

aesop

White-box automation for Lean 4