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
JetBrains’ 4B parameter code model for completions
This is the entire source code for NewsNotFound's article gen process
A telegram bot for learning German der/die/das articles.
OpenAI’s compact 20B open model for fast, agentic, and local use
Tencent’s 36-language state-of-the-art translation model
High-efficiency reasoning and agentic intelligence model
Multi-AI workspace with persistent cross-session memory via MCP
A low code unified framework for computer vision and deep learning