hundt / git-time-travelLinks
Refer to a future commit sha1 in your commit message!
☆19Updated 10 years ago
Alternatives and similar repositories for git-time-travel
Users that are interested in git-time-travel are comparing it to the libraries listed below
Sorting:
- repeatedly run programs until they break, and be ready to attach a debugger☆197Updated 7 years ago
- ☆144Updated 9 years ago
- state machine visual debugger☆121Updated 10 years ago
- Crema: A Sub-Turing Programming Language☆66Updated 10 years ago
- X86_64 Linux webserver in assembler☆107Updated 10 years ago
- A highly portable build system targeting modern UNIX systems. Supports C, OCaml, TeX, METAPOST, NOWEB, M4, and more. Based on BSD Make.☆105Updated 5 months ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 10 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- Genetic BF programming☆61Updated 3 months ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆117Updated 4 months ago
- Ekam Build System☆232Updated 3 years ago
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆442Updated 3 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 5 years ago
- Scripting with Least Privilege☆110Updated 8 years ago
- Use some TLS servers for trusted timestamping☆42Updated 10 years ago
- Classp -- a classier way to parse☆169Updated 8 years ago
- Polyglots☆83Updated 10 years ago
- C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.☆55Updated 10 years ago
- A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…☆292Updated 9 years ago
- GrSL - the GSL-based random Sampling Library☆13Updated 14 years ago
- A graphics library for text mode consoles☆74Updated 9 years ago
- Constaints-based spreadsheet prototype☆18Updated 9 years ago
- A brainfuck compiler, written in sed☆158Updated 14 years ago
- ZeroScript☆83Updated 10 years ago
- An exercise in cryptographic minimlism☆24Updated 10 years ago
- A programming language I can like. Unholy and full of magic.☆198Updated 6 months ago
- practical provenance for the GitHub-and-npm set☆70Updated 4 years ago
- Finally a HTML that you can sight-read.☆76Updated 11 years ago
- The engine that powers DeLorean!☆837Updated 6 years ago
- SC4 - Strong Crypto for Mere Mortals☆122Updated 4 years ago