Slides for a presentation/talk adapted from Tom Preston-Werner's essay "The Git Parable"
☆12Aug 26, 2022Updated 3 years ago
Alternatives and similar repositories for git_parable
Users that are interested in git_parable are comparing it to the libraries listed below
Sorting:
- "Accessible University" demo site☆21Oct 28, 2025Updated 4 months ago
- This is the proposed class project for the Fall 2018 Code Louisville React course.☆15Jun 13, 2019Updated 6 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- This is an implementation of 14 set operations by using only Unix utilities such as sort, uniq, diff, comm, cat, head, tail, awk, and oth…☆32Nov 27, 2009Updated 16 years ago
- ☆17Sep 15, 2017Updated 8 years ago
- Linguagem de programação na sua língua com compilador para arduino. Esse programa traduz o seu arquivo.brpp em um arquivo .ino que pode s…☆13Aug 14, 2020Updated 5 years ago
- PID server for Fresh Roast SR700 for use with Artisan roasting software☆11Nov 25, 2018Updated 7 years ago
- ABC-DS: obstacle Avoidance with Barrier-Certified polynomial Dynamical Systems☆11Aug 10, 2024Updated last year
- A script to generate railroad diagrams for Python grammar☆15Jan 6, 2021Updated 5 years ago
- A .NET library that imports data from a .ged (GEDCOM) file. GEDCOM is a format for saving Genealogy data and is an export format for Fami…☆12Oct 25, 2014Updated 11 years ago
- Moved to https://git.singpolyma.net/cheogram☆27Dec 13, 2022Updated 3 years ago
- OSMVisualizer is a lightweight ROS 2 node with minimal dependencies designed to visualize OpenStreetMap (OSM) data in Foxglove, Lichtblic…☆22Oct 14, 2025Updated 5 months ago
- VHDL example code☆16Feb 8, 2013Updated 13 years ago
- Code & website for http://seattlehacks.com☆43Mar 8, 2016Updated 10 years ago
- AWS VPN Migration scripts that provide a simple way to migrate from a Classic VPN to an AWS VPN connection, using public APIs.☆26Jan 14, 2026Updated 2 months ago
- ☆18Sep 6, 2023Updated 2 years ago
- ☆17Jul 17, 2023Updated 2 years ago
- A Chrome extension to stylize Google Colab☆26Jun 16, 2022Updated 3 years ago
- A simple Markov-chain-based music generator. It was trained on Bach's violin concertos and used as a demonstration for a lecture to physi…☆10Oct 14, 2016Updated 9 years ago
- Robotic Arm controled by Arduino with 2 Degrees of freedom☆14Apr 13, 2020Updated 5 years ago
- ☆28Mar 12, 2026Updated last week
- Netsuite Python Toolkit for SuiteTalk SOAP API☆10Dec 17, 2018Updated 7 years ago
- Street Fighter II using MIPS and the DE2-70 development kit.☆11Dec 6, 2017Updated 8 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 7 months ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- ☆12Feb 2, 2026Updated last month
- Game Snake implemented with assembly risc-v☆11Feb 12, 2020Updated 6 years ago
- ☆16Mar 1, 2025Updated last year
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Some foldings for PHP☆28Oct 28, 2018Updated 7 years ago
- A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).☆15Feb 2, 2026Updated last month
- This is Gate SSO implementation for WireGuard, It allows you to setup WireGuard for your organisation using self sign up style oAuth auth…☆26Mar 12, 2026Updated last week
- A web application to create and edit elasticsearch mappings from raw json on the go. Just copy and paste raw json and see the mappings. E…☆16Mar 9, 2020Updated 6 years ago
- A Python module to control the FreshRoastSR700 coffee roaster.☆12Dec 11, 2021Updated 4 years ago
- A program logic for concurrent randomized programs☆14Nov 9, 2018Updated 7 years ago
- Ansible role for check_mk agent☆24Jun 22, 2021Updated 4 years ago
- Contains solutions to the ENADE math tests starting from 1998☆10Jul 3, 2022Updated 3 years ago
- Very simple XPath XML parsing in Google Sheet Script☆13Dec 13, 2016Updated 9 years ago
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago