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
aichat
All in one CLI tool for 10+ AI platforms, including OpenAI(ChatGPT), Gemini, Claude, Mistral, LocalAI, Ollama, VertexAI, Ernie, Qianwen...
ante
A safe, easy systems language
Auto-GPT-ZH
Auto-GPT中文版本及爱好者组织 同步更新原项目 AI领域创业 自媒体组织 用AI工作学习创作变现
bark
🔊 Text-Prompted Generative Audio Model
Blooket-Cheats
The best Blooket Hacks made by someone who actually knows what they're doing
buzz
Buzz transcribes and translates audio offline on your personal computer. Powered by OpenAI's Whisper.
cakeml
CakeML: A Verified Implementation of ML
clap
A full featured, fast Command Line Argument Parser for Rust
rime-ice
Rime 配置:雾凇拼音 | 长期维护的简体词库
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...
gaohu0425/ante
A safe, easy systems language
gaohu0425/cakeml
CakeML: A Verified Implementation of ML
gaohu0425/clap
A full featured, fast Command Line Argument Parser for Rust
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
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
gaohu0425/ripgrep
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
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.