Stars
A project to digitalise results from physics into Lean.
A Bulletproof Way to Generate Structured JSON from Language Models
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
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
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.
Numerical simulation of the Sachdev-Ye-Kitaev fermion model