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

Efficiently Fine-Tune 100+ LLMs in WebUI (ACL 2024)

Language:PythonLicense:Apache-2.0Stargazers:30210Issues:193Issues:4725

cursor

The AI Code Editor

llamafile

Distribute and run LLMs with a single file.

Language:C++License:NOASSERTIONStargazers:18849Issues:171Issues:404

million

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

Language:TypeScriptLicense:MITStargazers:16171Issues:64Issues:520

Perplexica

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

Language:TypeScriptLicense:MITStargazers:12906Issues:96Issues:239

ariakit

Toolkit for building accessible web apps with React

Language:TypeScriptLicense:MITStargazers:7771Issues:54Issues:636

gemma_pytorch

The official PyTorch implementation of Google's Gemma models

Language:PythonLicense:Apache-2.0Stargazers:5233Issues:39Issues:37

llama-fs

A self-organizing file system with llama 3

Language:Jupyter NotebookLicense:MITStargazers:4771Issues:34Issues:44

mistral.rs

Blazingly fast LLM inference.

Language:RustLicense:MITStargazers:3350Issues:29Issues:210

askama

Type-safe, compiled Jinja-like templates for Rust

Language:RustLicense:Apache-2.0Stargazers:3343Issues:23Issues:407

diff2html

Pretty diff to html javascript library (diff2html)

Language:TypeScriptLicense:MITStargazers:2866Issues:38Issues:265

resvg

An SVG rendering library.

Language:RustLicense:MPL-2.0Stargazers:2699Issues:32Issues:651

ariadne

A fancy diagnostics & error reporting crate

Language:RustLicense:MITStargazers:1716Issues:10Issues:69

thirtyfour

Selenium WebDriver client for Rust, for automated testing of websites

Language:RustLicense:NOASSERTIONStargazers:989Issues:13Issues:137

DeepSeek-Math

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

Language:PythonLicense:MITStargazers:778Issues:13Issues:28

DeTikZify

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

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

ollama-rs

A Rust library allowing to interact with the Ollama API.

Language:RustLicense:MITStargazers:437Issues:7Issues:28

encoding_rs

A Gecko-oriented implementation of the Encoding Standard in Rust

Language:RustLicense:NOASSERTIONStargazers:377Issues:14Issues:68

llama-tokenizer-js

JS tokenizer for LLaMA 1 and 2

Language:JavaScriptLicense:MITStargazers:330Issues:4Issues:11

mitex

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

Language:RustLicense:Apache-2.0Stargazers:281Issues:3Issues:58

templates

Templates that are directly maintained by the Typst team.

Language:TypstLicense:MIT-0Stargazers:230Issues:10Issues:25

fontdb

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

Language:RustLicense:MITStargazers:136Issues:10Issues:30

rstml

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

Language:RustLicense:MITStargazers:83Issues:1Issues:24

LeanEuclid

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

Language:LeanLicense:MITStargazers:65Issues:5Issues:1

deunicode

Convert Unicode to ASCII "Ôóű, 🦄☣ in 北亰" :arrow_right: "Oou, unicorn face biohazard in Bei Jing"

Language:RustLicense:NOASSERTIONStargazers:64Issues:6Issues:11

SciRIFF

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

Language:PythonLicense:Apache-2.0Stargazers:23Issues:2Issues:1
Language:PythonLicense:Apache-2.0Stargazers:6Issues:1Issues:0
Stargazers:3Issues:0Issues:0

upar5iv

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

Language:PythonStargazers:2Issues:0Issues:0