someplaceguy

Pinned Repositories

gdu
Fast disk usage analyzer with console interface written in Go
Language:Go3.8k 25 185138
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 147537
nixpkgs
Nix Packages collection & NixOS
Language:Nix17.4k 282 40.6k13.6k
shpool
Think tmux, then aim... lower
Language:Rust1.1k 8 4320
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 ML00
nixpkgs
Nix Packages collection & NixOS
Language:Nix00
polyml
Poly/ML
Language:Standard ML00
sml-buildscripts
Scripts to compile and run Standard ML programs defined in .mlb files.
Language:Shell00
z3
The Z3 Theorem Prover
Language:C++00
z3
The Z3 Theorem Prover
Language:C++10.2k 179 5.5k1.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 ML00
someplaceguy/nixpkgs
Nix Packages collection & NixOS
Language:Nix00
someplaceguy/polyml
Poly/ML
Language:Standard ML00
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++00