-
-
zsh-history Public
Manipulate zsh history files
Haskell GNU General Public License v3.0 UpdatedMay 7, 2025 -
git-monitor Public
Lets you know when you forget to push, pull, or commit
C++ GNU General Public License v3.0 UpdatedApr 20, 2025 -
-
-
-
vampire Public
Forked from vprover/vampireThe Vampire Theorem Prover
-
sanoid Public
Forked from jimsalterjrs/sanoidPolicy-driven snapshot management and replication tools. Currently using ZFS for underlying next-gen storage, with explicit plans to support btrfs when btrfs becomes more reliable. Primarily intend…
Perl GNU General Public License v3.0 UpdatedJun 9, 2024 -
-
logical_verification_2023 Public
Forked from blanchette/logical_verification_2023Hitchhiker's Guide to Logical Verification (2023 Edition)
Lean UpdatedSep 17, 2023 -
-
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedOct 15, 2021 -
benchexec Public
Forked from sosy-lab/benchexecBenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Python Apache License 2.0 UpdatedJan 15, 2021 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedApr 14, 2020 -
LookOut-fix-version Public
Forked from TB-throwback/LookOut-fix-versionFork of LookOut (fix version)
JavaScript UpdatedAug 30, 2019 -
vampire-proof-check Public
Check proofs with the vampire theorem prover
Haskell GNU General Public License v3.0 UpdatedJun 21, 2019 -
tm Public
A simple Turing machine simulator (used as helper tool for correcting assignments)
Haskell GNU General Public License v3.0 UpdatedNov 5, 2018 -
vulkan Public
Forked from achirkin/vulkanLow-level low-overhead haskell bindings to vulkan API
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 14, 2018 -
edk2 Public
Forked from tianocore/edk2EDK II
C BSD 2-Clause "Simplified" License UpdatedAug 30, 2018 -
-
unison Public
Forked from bcpierce00/unisonUnison file synchronizer
OCaml GNU General Public License v3.0 UpdatedSep 28, 2016 -
-
securemodelines Public
Forked from ciaranm/securemodelinesA secure alternative to Vim modelines
Vim Script UpdatedDec 11, 2014 -
hammer Public
Forked from UpstandingHackers/hammer -
-
iro-castle-status Public
A small utility for the game Ragnarok Online to keep track of castle ownership during War of Emperium.
-
{{ message }}