Large language model developed and released by NVIDIA
An advanced web-based tool for checking JavaScript code using ESLint.
Coding-focused Kimi model for long-horizon agent workflows
AI-supported visual verification and tests you can actually trust.
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Ztooly is a comprehensive collection of 50+ free online tools designed
Automated Linguistic Analysis, with both monolith and cluster versions
Trillion-parameter MoE model for coding and million-token reasoning
Omnimodal AI model for agents, coding, and long-context tasks
Agentic coding model combining Opus reasoning and Fable tools