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