someplaceguy

Pinned Repositories

gdu
Fast disk usage analyzer with console interface written in Go
Language:Go4.1k 26 191147
wangle
Wangle is a framework providing a set of common client/server abstractions for building services in a consistent, modular, and composable way.
Language:C++3.1k 171 148542
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.7k 275 43.5k14.5k
shpool
Think tmux, then aim... lower
Language:Rust1.2k 10 5120
HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML0 0 00
nixpkgs
Nix Packages collection & NixOS
Language:Nix0 1 00
polyml
Poly/ML
Language:Standard ML0 0 00
sml-buildscripts
Scripts to compile and run Standard ML programs defined in .mlb files.
Language:Shell00
z3
The Z3 Theorem Prover
Language:C++0 0 00
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k

someplaceguy's Repositories

someplaceguy/HOL
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Language:Standard ML0 0 00
someplaceguy/nixpkgs
Nix Packages collection & NixOS
Language:Nix0 1 00
someplaceguy/polyml
Poly/ML
Language:Standard ML0 0 00
someplaceguy/sml-buildscripts
Scripts to compile and run Standard ML programs defined in .mlb files.
Language:Shell00
someplaceguy/z3
The Z3 Theorem Prover
Language:C++0 0 00