Alternatives and similar repositories for git_parable

Users that are interested in git_parable are comparing it to the libraries listed below

• ellieyhcheng / dice-vs-code
  Dice Language Support for VS Code
  ☆10Updated 5 years ago
• uwplse / PUMPKIN-PATCH
  Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
  ☆52Updated last year
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• dagstuhl-publishing / styles
  LaTeX Styles provided by Dagstuhl Publishing
  ☆40Updated last year
• danwallach / github-classroom-utils
  Python tools for instructors working with GitHub Classroom
  ☆91Updated 2 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆25Updated 2 years ago
• rocq-community / coqoban
  Sokoban (in Coq) [maintainer=@erikmd]
  ☆24Updated 11 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆23Updated 4 months ago
• JetBrains / ot-coq
  ot-coq
  ☆17Updated 2 years ago
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆69Updated last year
• LeifAndersen / PLGradSchools
  ☆234Updated last year
• rocq-community / huffman
  Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
  ☆14Updated last month
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 6 years ago
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• wilbowma / pl-thesaurus
  ☆90Updated 4 years ago
• MetaRocq / rocq-verified-extraction
  Verified Extraction from Rocq to OCaml/Malfunction
  ☆13Updated 6 months ago
• yforster / coqtheorem
  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
• INRIA / velus
  A Lustre compiler in Coq
  ☆71Updated 6 months ago
• JasonGross / coq-tools
  Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
  ☆43Updated last week
• olivierverdier / pydflatex
  Python wrapper around pdflatex
  ☆30Updated 9 years ago
• arthuraa / deriving
  Class instances for Coq inductive types with little boilerplate
  ☆27Updated 7 months ago
• Armael / coq-procrastination
  A small Coq library for collecting side conditions and deferring their proof
  ☆25Updated 6 years ago
• joom / type.systems
  joke page until I decide what to do with this domain name
  ☆39Updated 5 months ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated last year
• snu-sf / paco
  A Coq library for parametric coinduction
  ☆51Updated 10 months ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• olydis / coq2latex
  A command-line tool to generate Latex (inference rules) from inductive coq definitions.
  ☆30Updated 9 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆221Updated 3 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated last year