Model that fuses instruct, reasoning and agentic skills
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
Only Auto Typer with Text and Code typing modes to ensure perfection.
A coding style checker tool support C/C++ syntax
You need a safety layer between your LLM and your users.
Everson Lab Script Coding
Personal Coding Dojo, for several technologies.