Deyan Ginev's starred repositories
LLaMA-Factory
Efficiently Fine-Tune 100+ LLMs in WebUI (ACL 2024)
Perplexica
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI
gemma_pytorch
The official PyTorch implementation of Google's Gemma models
mistral.rs
Blazingly fast LLM inference.
thirtyfour
Selenium WebDriver client for Rust, for automated testing of websites
DeepSeek-Math
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
encoding_rs
A Gecko-oriented implementation of the Encoding Standard in Rust
llama-tokenizer-js
JS tokenizer for LLaMA 1 and 2
LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.