gaohu0425

Pinned Repositories

1brc
1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java
Language:Java00
aichat
All in one CLI tool for 10+ AI platforms, including OpenAI(ChatGPT), Gemini, Claude, Mistral, LocalAI, Ollama, VertexAI, Ernie, Qianwen...
Language:Rust00
ante
A safe, easy systems language
Language:Rust00
Auto-GPT-ZH
Auto-GPT中文版本及爱好者组织同步更新原项目 AI领域创业自媒体组织用AI工作学习创作变现
Language:Python10
bark
🔊 Text-Prompted Generative Audio Model
Language:Python10
Blooket-Cheats
The best Blooket Hacks made by someone who actually knows what they're doing
Language:HTML10
buzz
Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.
Language:Python10
cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
clap
A full featured, fast Command Line Argument Parser for Rust
Language:Rust00
rime-ice
Rime 配置：雾凇拼音 | 长期维护的简体词库
Language:Go10

gaohu0425's Repositories

gaohu0425/aichat
All in one CLI tool for 10+ AI platforms, including OpenAI(ChatGPT), Gemini, Claude, Mistral, LocalAI, Ollama, VertexAI, Ernie, Qianwen...
Language:Rust00
gaohu0425/ante
A safe, easy systems language
Language:Rust00
gaohu0425/cakeml
CakeML: A Verified Implementation of ML
Language:Standard ML00
gaohu0425/clap
A full featured, fast Command Line Argument Parser for Rust
Language:Rust00
gaohu0425/CompCert
The CompCert formally-verified C compiler
gaohu0425/crucible
Crucible is a library for symbolic simulation of imperative programs
gaohu0425/czkawka
Multi functional app to find duplicates, empty folders, similar images etc.
gaohu0425/diesel
A safe, extensible ORM and Query Builder for Rust
gaohu0425/direnv
unclutter your .profile
Language:Go0 0
gaohu0425/fd
A simple, fast and user-friendly alternative to 'find'
gaohu0425/grok-1
Grok open release
gaohu0425/hatchet
A distributed, fault-tolerant task queue
gaohu0425/jasmin
Language for high-assurance and high-speed cryptography
gaohu0425/maybe
The OS for your personal finances
gaohu0425/nango
A single API for all your integrations.
gaohu0425/nushell
A new type of shell
gaohu0425/odoc
Documentation compiler for OCaml and Reason
gaohu0425/ov
🎑Feature-rich terminal-based text viewer. It is a so-called terminal pager.
gaohu0425/plfa.github.io
An introduction to programming language theory in Agda
gaohu0425/ppx_deriving
Type-driven code generation for OCaml
gaohu0425/ppxlib
Base library and tools for ppx rewriters
gaohu0425/procs
A modern replacement for ps written in Rust
gaohu0425/ractor
Rust actor framework
Language:Rust0 0
gaohu0425/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
Language:Rust0 0
gaohu0425/saturn
Lock-free data structures for multicore OCaml
gaohu0425/starship
☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!
gaohu0425/tarpaulin
A code coverage tool for Rust projects
gaohu0425/task
A task runner / simpler Make alternative written in Go
gaohu0425/unleashed-firmware
Flipper Zero Unleashed Firmware
gaohu0425/vimium
The hacker's browser.
Language:JavaScript0 0