AIPython★ 379
aallan/vera
ВЕРА: ЯЗЫК ДЛЯ LLM
Vera — язык для LLM, чтобы модели писали код. На Python, уже 379 звёзд.
// КЛЮЧЕВЫЕ ОСОБЕННОСТИ
- Синтаксис, оптимизированный для генерации LLM
- Интеграция с популярными фреймворками ИИ
- Лёгкое расширение через плагины на Python
#algebraic-effects#contracts#formal-verification#llm#parser#programming-language#verification#webassembly
Открыть на GitHub →Новые репозитории каждые 30 минут
REDDYX AI сканирует GitHub 24/7 и присылает лучшие AI/ML/Web3 проекты в Telegram.
Подписаться в Telegram