Lists (1)
Sort Name ascending (A-Z)
Stars
Maple Mono: Open source monospace font with round corner, ligatures and Nerd-Font icons for IDE and terminal, fine-grained customization options. 带连字和控制台图标的圆角等宽字体,中英文宽度完美2:1,细粒度的自定义选项
Ongoing research training transformer models at scale
The absolute trainer to light up AI agents.
A curated list of awesome mathematics resources
"AutoAgent: Fully-Automated and Zero-Code LLM Agent Framework"
GLM-4 series: Open Multilingual Multimodal Chat LMs | 开源多语言多模态对话模型
Gradio WebUI for creators and developers, featuring key TTS (Edge-TTS, kokoro) and zero-shot Voice Cloning (E2 & F5-TTS, CosyVoice), with Whisper audio processing, YouTube download, Demucs vocal is…
A language for constraint-guided and efficient LLM programming.
Real-time transcription of audio, integrated with ChatGPT for interactive use. Save, load, and append transcripts for effective context management in conversations.
A python package for developing AI applications with local LLMs.
Official implementation of "Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving"


