A project to digitalise results from physics into Lean.

Data and Codes for GroceryDB

⌨ Toward a more useful keyboard

Numbers every LLM developer should know

A Bulletproof Way to Generate Structured JSON from Language Models

LLM inference in C/C++

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

nostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things

Robust Speech Recognition via Large-Scale Weak Supervision

Manage your GnuPG keys with ease! 🔐

A public catalogue of Lua plugins Neovim users would like to see exist

Collections of awesome neovim plugins.

Blazing fast Neovim framework providing solid defaults and a beautiful UI, enhancing your neovim experience.

Dwarf management tool for Dwarf Fortress

A history of edits to the US Constitution as it has been amended. Written in markdown to match original formatting.

🥑 Language focused docker images, minus the operating system.

Draw pretty maps from OpenStreetMap data! Built with osmnx +matplotlib + shapely

Plugin to help you stop repeating the basic movement keys

A linter for prose.

Open source code for AlphaFold 2.

Multi-threaded BLAS-like library that provides pure Julia matrix multiplication

check code for common misspellings

RNA vaccines have become a key tool in moving forward through the challenges raised both in the current pandemic and in numerous other public health and medical challenges. With the rollout of vacc…

Create delightful software with Jupyter Notebooks

Prettify Python exception output to make it legible.

The warmest start to a cold email

What the f*ck Python? 😱

NixOS overlay for MIT Athena packages

Numerical simulation of the Sachdev-Ye-Kitaev fermion model