Open-source code agent designed for Lean 4
Large language model developed and released by NVIDIA
Bulk delete your ChatGPT conversations easily with this Chrome extensi
JetBrains’ 4B parameter code model for completions
VaultGemma: 1B DP-trained Gemma variant for private NLP tasks
OpenAI’s compact 20B open model for fast, agentic, and local use
OpenAI’s open-weight 120B model optimized for reasoning and tooling
685B model with improved agents and consistency
Mirror of Green Tara's OO jDREW fork on Bitbucket
Custom BLEURT model for evaluating text similarity using PyTorch
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
High-performance MoE model with MLA, MTP, and multilingual reasoning
Vision-language-action model for robot control via images and text
Instruction-tuned 1.2B LLM for multilingual text generation by Meta