Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
OpenAI’s compact 20B open model for fast, agentic, and local use
JetBrains’ 4B parameter code model for completions
Online 3D Network Diagram Editor
Ztooly is a comprehensive collection of 50+ free online tools designed
OpenAI’s open-weight 120B model optimized for reasoning and tooling
Localization as code. One command to translate your app
VaultGemma: 1B DP-trained Gemma variant for private NLP tasks
AI-supported visual verification and tests you can actually trust.
685B model with improved agents and consistency
Custom BLEURT model for evaluating text similarity using PyTorch
Map and logic editor
Advanced technology that powers large scale, independent 3D games
Hermes 4 FP8: hybrid reasoning Llama-3.1-405B model by Nous Research
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
Compact agentic model for coding, tools, and productivity tasks
High-performance MoE model with MLA, MTP, and multilingual reasoning
Vision-language-action model for robot control via images and text