GY's repositories
simdjson
Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, StarRocks
Tennis-Refactoring-Kata
This is a Refactoring Kata based on the rules of Tennis
formal.land
Formal Land website
lenia_ca
Core functionality for simulating Lenia system of cellular automata in Rust
coq-of-rust
Formal verification for Rust 🦀 by translation to Coq 🐓
awesome-legacy-code
A curated list of legacy systems with publicly available source code
FastChat
The release repo for "Vicuna: An Open Chatbot Impressing GPT-4"
llama.cpp
Port of Facebook's LLaMA model in C/C++
Auto-GPT
An experimental open-source attempt to make GPT-4 fully autonomous.
Chinese-LLaMA-Alpaca
中文LLaMA&Alpaca大语言模型+本地CPU/GPU部署 (Chinese LLaMA & Alpaca LLMs)
alpaca-lora
Instruct-tune LLaMA on consumer hardware
vscoq
A Visual Studio Code extension for Coq [maintainers=@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
gpt4all
gpt4all: an ecosystem of open-source chatbots trained on a massive collections of clean assistant data including code, stories and dialogue
book
The Rust Programming Language
preserve-iso
绝版软件保护工程
stfp-livestreams
Links to the livestreams observed in the OOPSLA '21 publication "How Statically-Typed Functional Programmers Write Code"