jherland / git_parableLinks
Slides for a presentation/talk adapted from Tom Preston-Werner's essay "The Git Parable"
☆12Updated 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:
- Python tools for instructors working with GitHub Classroom☆91Updated 2 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Race Condition Running☆11Updated 2 weeks ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆221Updated 3 years ago
- ☆90Updated 4 years ago
- ☆11Updated 8 months ago
- ☆64Updated 3 years ago
- Women in Programming Languages and Software Engineering Research☆173Updated last month
- Untitled PL Card Game☆20Updated 4 years ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- PL conference deadline countdowns☆65Updated 2 weeks ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆42Updated 5 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆44Updated last month
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33Updated 9 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- ☆234Updated last year
- BibTeX bibliographies for proof engineering-related papers☆30Updated 6 years ago
- A graphical interactive proof assistant designed for education☆171Updated last year
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Updated 10 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 6 months ago
- Old Clowdr versions 1 & 2 from 2020☆36Updated 5 years ago
- An agda2hs-compatible library for well-scoped syntax☆11Updated 3 months ago
- Very controlled natural language tactics for Lean☆66Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆70Updated last year
- Library for proving propositions quantified over finite sets☆14Updated 3 years ago
- deep learning course materials☆15Updated 5 years ago
- A Coq library for parametric coinduction☆51Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Updated 2 years ago