Lists (2)
Starred repositories
Experiments with SAT solvers with proofs in Lean 4
Machine learning for multivariate data through the Riemannian geometry of positive definite matrices in Python
Easily generate and modify .docx files with JS/TS with a nice declarative API. Works for Node and on the Browser.
An object-oriented algebraic modeling language in Python for structured optimization problems.
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
A series of math-specific large language models of our Qwen2 series.
A fast and offline word and synonym completion provider for Neovim
Re-editable LaTeX/ typst graphics for Inkscape
Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
Provides a side-car container to backup itzg/minecraft-server server data
💤 Put your Minecraft server to rest when idle.
Routes Minecraft client connections to backend servers based upon the requested server address
Docker image that provides a Minecraft Server for Java Edition that automatically installs/upgrades versions, modloaders, modpacks and more at startup
A web extension that uses aggressive techniques to enable dark mode on every site.
Lightweight coding agent that runs in your terminal
An open-source AI agent that brings the power of Gemini directly into your terminal.
High-Performance Symbolic Regression in Python and Julia
A neovim plugin for interactively running code with the jupyter kernel. Fork of magma-nvim with improvements in image rendering, performance, and more
An extremely fast Python package and project manager, written in Rust.
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
An extremely fast Python type checker and language server, written in Rust.