Deyan Ginev (dginev)

dginev

Geek Repo

Company:@KWARC

Location:New York

Home Page:http://prodg.org

Twitter:@dginev

Github PK Tool:Github PK Tool


Organizations
DRMF
KWARC
MathML

Deyan Ginev's starred repositories

LLaMA-Factory

A WebUI for Efficient Fine-Tuning of 100+ LLMs (ACL 2024)

Language:PythonLicense:Apache-2.0Stargazers:28044Issues:187Issues:4423

cursor

The AI Code Editor

llamafile

Distribute and run LLMs with a single file.

Language:C++License:NOASSERTIONStargazers:17921Issues:165Issues:379

million

Optimize React performance and make your React 70% faster in minutes, not months.

Language:TypeScriptLicense:MITStargazers:16059Issues:63Issues:499

Perplexica

Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI

Language:TypeScriptLicense:MITStargazers:11495Issues:81Issues:191

ariakit

Toolkit for building accessible web apps with React

Language:TypeScriptLicense:MITStargazers:7720Issues:54Issues:622

llama-fs

A self-organizing file system with llama 3

Language:Jupyter NotebookLicense:MITStargazers:4660Issues:33Issues:39

askama

Type-safe, compiled Jinja-like templates for Rust

Language:RustLicense:Apache-2.0Stargazers:3267Issues:23Issues:403

mistral.rs

Blazingly fast LLM inference.

Language:RustLicense:MITStargazers:3170Issues:30Issues:175

resvg

An SVG rendering library.

Language:RustLicense:MPL-2.0Stargazers:2636Issues:33Issues:637

thirtyfour

Selenium WebDriver client for Rust, for automated testing of websites

Language:RustLicense:NOASSERTIONStargazers:990Issues:13Issues:137

llm2vec

Code for 'LLM2Vec: Large Language Models Are Secretly Powerful Text Encoders'

Language:PythonLicense:MITStargazers:871Issues:18Issues:105

DeepSeek-Math

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

Language:PythonLicense:MITStargazers:729Issues:13Issues:24

gritlm

Generative Representational Instruction Tuning

Language:Jupyter NotebookLicense:MITStargazers:492Issues:8Issues:42

DeTikZify

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

Language:PythonLicense:Apache-2.0Stargazers:432Issues:5Issues:4

ollama-rs

A Rust library allowing to interact with the Ollama API.

Language:RustLicense:MITStargazers:392Issues:5Issues:25

encoding_rs

A Gecko-oriented implementation of the Encoding Standard in Rust

Language:RustLicense:NOASSERTIONStargazers:370Issues:14Issues:68

llama-tokenizer-js

JS tokenizer for LLaMA 1 and 2

Language:JavaScriptLicense:MITStargazers:326Issues:4Issues:11

typst-fletcher

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Language:TypstLicense:MITStargazers:292Issues:2Issues:38

mitex

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Language:RustLicense:Apache-2.0Stargazers:264Issues:3Issues:55

templates

Templates that are directly maintained by the Typst team.

Language:TypstLicense:MIT-0Stargazers:210Issues:9Issues:23

typst-theorems

An implementation of numbered theorem environments in typst

Language:TypstLicense:MITStargazers:189Issues:3Issues:26

fontdb

A simple, in-memory font database with CSS-like queries.

Language:RustLicense:MITStargazers:132Issues:10Issues:28

rstml

Rust+html (JSX-like) parser for TokenStreams aka rsx

Language:RustLicense:MITStargazers:81Issues:1Issues:24

LeanEuclid

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Language:LeanLicense:MITStargazers:59Issues:5Issues:0

SciRIFF

Dataset and evaluation suite enabling LLM instruction-following for scientific literature understanding.

Language:PythonLicense:Apache-2.0Stargazers:18Issues:2Issues:1
Language:PythonLicense:Apache-2.0Stargazers:5Issues:0Issues:0

upar5iv

Convert ar5iv html dataset into LLM friendly format such .md and .json

Language:PythonStargazers:2Issues:0Issues:0

arxivwithattention

A simple Chrome extension to enhance the Ar5iv reading experience

Language:JavaScriptStargazers:1Issues:1Issues:0