Deyan Ginev's starred repositories
LLaMA-Factory
A WebUI for Efficient Fine-Tuning of 100+ LLMs (ACL 2024)
Perplexica
Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI
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
typst-fletcher
Typst package for drawing diagrams with arrows, built on top of CeTZ.
typst-theorems
An implementation of numbered theorem environments in typst
LeanEuclid
LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
arxivwithattention
A simple Chrome extension to enhance the Ar5iv reading experience