Slides for a presentation/talk adapted from Tom Preston-Werner's essay "The Git Parable"
☆14Aug 26, 2022Updated 4 years ago
Alternatives and similar repositories for git_parable
Users that are interested in git_parable are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 10 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 3 years ago
- Migration tools for any build system to bazel☆27Updated this week
- ☆17Jul 17, 2023Updated 3 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Logical Relation for Martin-Löf Type Theory in Agda☆11Jul 31, 2025Updated last year
- ☆17Mar 1, 2025Updated last year
- Forcing layer on top of Coq☆16Aug 20, 2012Updated 14 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 7 years ago
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆28Sep 30, 2026Updated 3 weeks ago
- Alternative implementation of the logical framework Dedukti in Rust☆25Apr 10, 2025Updated last year
- Repositório sobre algotrading e finanças quantitativa☆13Sep 15, 2019Updated 7 years ago
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- a version of the 2048 game for Coq☆22Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A responsive grid builder which generates semantic and readable code☆11Dec 13, 2012Updated 13 years ago
- A formalization of properties of a simple imperative, memory-safe language.☆20Sep 27, 2021Updated 5 years ago
- An itree-like data-structure to additionally support internal non-determinism☆23Oct 17, 2026Updated last week
- Example about how to use to different version of the same class at the same time.☆11Jan 26, 2013Updated 13 years ago
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 6 months ago
- Deadlock freedom by type checking☆20Jun 2, 2023Updated 3 years ago
- An upper-division course in UCLA's Asian American Studies Department designed to utilize web technologies and empower communities for soc…☆12Apr 24, 2023Updated 3 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated last year
- How to invent reactive JavaScript☆11Jul 24, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Algebraic effects in the Bluefin effect system☆25May 13, 2026Updated 5 months ago
- Promisify any of: callback function, sync function, generator function, promise-returning function☆11May 29, 2017Updated 9 years ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36May 11, 2026Updated 5 months ago
- Learning JavaScript promises☆12Sep 5, 2022Updated 4 years ago
- A framework in JavaScript (JS) that enables JS-developers to work with Semantic Web (SW)☆12Aug 5, 2012Updated 14 years ago
- RemoteDebug Compatibility Tables☆15Apr 29, 2021Updated 5 years ago
- a look into matt wang's intriguing monetary ventures☆10Aug 31, 2021Updated 5 years ago
- Dodos Only Divide Or Surrender☆14Mar 18, 2018Updated 8 years ago
- 👋 get to know me through my personal website!☆10Aug 8, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- This is the Stamplay Command Line (CLI) Tool☆16Jan 23, 2017Updated 9 years ago
- coinduction library for Coq☆28Oct 23, 2026Updated last week
- Get a GUI fast in any language under the sea!☆48Jan 31, 2023Updated 3 years ago
- Python ASGI service that prints the DNS SRV records used for XMPP.☆17Sep 19, 2026Updated last month
- VarStream is an elegant alternative to JSON to exchange datas between apps.☆17Feb 27, 2025Updated last year
- Play Laser Online☆15Jul 20, 2023Updated 3 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆46Apr 14, 2021Updated 5 years ago