Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Open language model developed by NVIDIA as part of Nemotron-3 family
Model that fuses instruct, reasoning and agentic skills
Building Skills in Programming - Python 2.6
a Language to define Statements About Assembly Functions
This is the entire source code for NewsNotFound's article gen process
System shell merged with python shell
Self‑Healing Localization is a lightweight Python library.
Chat with local GGUF LLMs on your own machine
Solve Differential Equations
Evaluate whether advertising works using sales data.
Guide is a UI layout and data-binding system.
A human-readable ISC-Licensed implementation of the LZO1X algorithm.
A coding style checker tool support C/C++ syntax