Stars
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
A non-saturating, open-ended environment for evaluating LLMs in Factorio
Enhancing the Factorio experience with SAT solvers
✨ Agentic chat experience in your terminal. Build applications using natural language.
A WebAssembly runtime implemented in TypeScript types
OpenAI-Compatible RESTful APIs for Amazon Bedrock
A Kubernetes controller for Amazon VPC Lattice
Free universal database tool and SQL client
Moved to CodeBerg, download here: https://codeberg.org/Deimos-Wizard101/Deimos-Wizard101
Satisfactory alternate recipe and production optimizer
Kerbal Space Program Optimal Rocket Calculator - Calculates the most efficient rocket possible!
A cross-platform reimplementation of JKDF2 in C
A high-throughput and memory-efficient inference and serving engine for LLMs
OpenRecall is a fully open-source, privacy-first alternative to proprietary solutions like Microsoft's Windows Recall. With OpenRecall, you can easily access your digital history, enhancing your me…
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filte…
🖥 Control your display's brightness & volume on your Mac as if it was a native Apple Display. Use Apple Keyboard keys or custom shortcuts. Shows the native macOS OSDs.
A Progressive Web App for local file sharing
An open-source cross-platform alternative to AirDrop
A node.js version management utility for Windows. Ironically written in Go.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
A Gradio web UI for Large Language Models with support for multiple inference backends.
Python GUIs for Humans! PySimpleGUI is the top-rated Python application development environment. Launched in 2018 and actively developed, maintained, and supported in 2024. Transforms tkinter, Qt, …
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
🦜🔗 Build context-aware reasoning applications
Shared data types for building collaborative software