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