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
Language learning WebApp
Labo27 python learning game
a Language to define Statements About Assembly Functions
System shell merged with python shell
Chat with local GGUF LLMs on your own machine
Solve Differential Equations
Evaluate whether advertising works using sales data.