Large dataset of coding contests designed for AI and ML model training
Vim client for TabNine
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
JetBrains’ 4B parameter code model for completions