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:
- Dice Language Support for VS Code☆10Updated 5 years ago
- Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker☆52Updated last year
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- LaTeX Styles provided by Dagstuhl Publishing☆40Updated last year
- Python tools for instructors working with GitHub Classroom☆91Updated 2 years ago
- Official repository of the Autosubst 2 project.☆25Updated 2 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆24Updated 11 months ago
- A project of short tutorials and how-to guides for Coq features and Coq Platform packages.☆23Updated 4 months ago
- ot-coq☆17Updated 2 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Updated 2 years ago
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆69Updated last year
- ☆234Updated last year
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last month
- BibTeX bibliographies for proof engineering-related papers☆30Updated 6 years ago
- ☆64Updated 3 years ago
- ☆90Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆13Updated 6 months ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21Updated 6 years ago
- A Lustre compiler in Coq☆71Updated 6 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆43Updated last week
- Python wrapper around pdflatex☆30Updated 9 years ago
- Class instances for Coq inductive types with little boilerplate☆27Updated 7 months ago
- A small Coq library for collecting side conditions and deferring their proof☆25Updated 6 years ago
- joke page until I decide what to do with this domain name☆39Updated 5 months ago
- Women in Programming Languages and Software Engineering Research☆173Updated last year
- A Coq library for parametric coinduction☆51Updated 10 months ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 7 years ago
- A command-line tool to generate Latex (inference rules) from inductive coq definitions.☆30Updated 9 years ago
- Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur☆221Updated 3 years ago
- A graphical interactive proof assistant designed for education☆169Updated last year