Alternatives and similar repositories for git-time-travel

Users that are interested in git-time-travel are comparing it to the libraries listed below

• geon / shebang-abuse
  ☆144Updated 9 years ago
• silentbicycle / autoclave
  repeatedly run programs until they break, and be ready to attach a debugger
  ☆195Updated 7 years ago
• Hullu2000 / BFTK
  Program to compile Brainfuk to a working i686 kernel.
  ☆31Updated 10 years ago
• baguette / rs-babygc
  A port of Bob Nystrom's "Baby's First Garbage Collector" to Rust
  ☆16Updated 9 years ago
• bjornedstrom / timmy
  Use some TLS servers for trusted timestamping
  ☆42Updated 10 years ago
• zarkzork / servasm
  X86_64 Linux webserver in assembler
  ☆107Updated 10 years ago
• UpstandingHackers / hammer
  Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.
  ☆438Updated 2 years ago
• capnproto / ekam
  Ekam Build System
  ☆231Updated 2 years ago
• r0nk / corvus
  Genetic BF programming
  ☆61Updated last month
• r0nk / ward
  state machine visual debugger
  ☆121Updated 10 years ago
• klange / taylor
  Swift on bare metal. Explorations of compiling Swift code without a standard library.
  ☆192Updated 9 years ago
• ainfosec / crema
  Crema: A Sub-Turing Programming Language
  ☆66Updated 10 years ago
• dobyrch / libtermboy
  A graphics library for text mode consoles
  ☆74Updated 9 years ago
• sigvef / sigvehtml
  Finally a HTML that you can sight-read.
  ☆76Updated 10 years ago
• magcius / keylog
  ☆10Updated 10 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 9 years ago
• LeptaSpace / zs
  ZeroScript
  ☆82Updated 10 years ago
• HarvardPL / shill
  Scripting with Least Privilege
  ☆110Updated 8 years ago
• Spark-Innovations / SC4
  SC4 - Strong Crypto for Mere Mortals
  ☆122Updated 4 years ago
• thestinger / playpen
  A secure application sandbox built with modern Linux sandboxing features - no longer actively developed, but still works fine, use bubble…
  ☆291Updated 9 years ago
• efoxepstein / stupid-machines
  Experimentations with Abstract Machines
  ☆315Updated 2 years ago
• cyphar / devgibson
  Hackers in yo' kernel!
  ☆59Updated 10 years ago
• google / classp
  Classp -- a classier way to parse
  ☆169Updated 8 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 9 years ago
• mcclure / emily
  Git mirror of https://bitbucket.org/runhello/emily
  ☆60Updated 5 years ago
• patrickt / bracer
  a language workbench for parsing and transforming curly-brace languages
  ☆43Updated 9 years ago
• InputUsername / dev-hodor
  /dev/hodor
  ☆21Updated 6 years ago
• SilasX / git-upstage
  Take credit for someone else's work; or, a typo gone too far.
  ☆173Updated 10 years ago
• junglejim8 / epaper
  QWERTY handset with wifi module and epaper display
  ☆16Updated 8 years ago
• kgaughan / memoize.py
  Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
  ☆117Updated 2 years ago