Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Model that fuses instruct, reasoning and agentic skills
Open language model developed by NVIDIA as part of Nemotron-3 family
JetBrains’ 4B parameter code model for completions
Post-Exploitation Framework
High-efficiency reasoning and agentic intelligence model
Scheduled task and device event evidence
Build tool in pure Python. http://boguslawski-piotr.github.com/atta/
Think Python is an interactive online learning environment for Python.
OpenAI’s compact 20B open model for fast, agentic, and local use
Tencent’s 36-language state-of-the-art translation model