Alternatives and similar repositories for CoqCheatSheet

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

• SoftwareFoundationGroupAtKyotoU / SystemFg

  View on GitHub
  Implementation of Polymorphic Gradual Typing
  ☆12Sep 16, 2018Updated 7 years ago
• diasbruno / cl-bnf

  View on GitHub
  A simple BNF parser.
  ☆11Nov 15, 2023Updated 2 years ago
• LPCIC / matita

  View on GitHub
  Matita (proof assistant) with embedded elpi
  ☆15Jan 30, 2018Updated 8 years ago
• sunshowers / z3.rkt

  View on GitHub
  Racket bindings for Z3
  ☆20Aug 7, 2012Updated 13 years ago
• thery / T2048

  View on GitHub
  a version of the 2048 game for Coq
  ☆22Jan 30, 2026Updated 2 weeks ago
• sdiehl / galois-field

  View on GitHub
  Finite field and algebraic extension field arithmetic
  ☆53Feb 3, 2024Updated 2 years ago
• markcox80 / specialization-store

  View on GitHub
  A different type of generic function for common lisp.
  ☆30Sep 30, 2020Updated 5 years ago
• martinjonas / Q3B

  View on GitHub
  ☆31Sep 29, 2025Updated 4 months ago
• cedille / cedille-developments

  View on GitHub
  A showcase of interesting code and proof developments in Cedille
  ☆36Jun 10, 2025Updated 8 months ago
• mortberg / gen-cart

  View on GitHub
  A Unifying Cartesian Cubical Set Model
  ☆35Oct 14, 2019Updated 6 years ago
• alhassy / next-700-module-systems

  View on GitHub
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆82Oct 24, 2021Updated 4 years ago
• qhga / shanty-themes

  View on GitHub
  The shanty emacs theme is meant for us, you and me - the workers - who may not get dirty hands very often but love to code and tinker whi…
  ☆33Jan 23, 2023Updated 3 years ago
• rishabhs / sygus-comp14

  View on GitHub
  ☆40Apr 17, 2019Updated 6 years ago
• GeorgOfenbeck / SpaceTime

  View on GitHub
  This github repository hosts the code used within my thesis work and my last publication.
  ☆12Jul 20, 2017Updated 8 years ago
• dschepler / coq-topology

  View on GitHub
  Topology library for Coq
  ☆12Dec 24, 2015Updated 10 years ago
• maksimKorzh / bmcp

  View on GitHub
  bare minimum chess program
  ☆11Sep 16, 2020Updated 5 years ago
• pm133 / SCF_Szabo

  View on GitHub
  This is a C version of the SCF code found in Appendix B of Modern Quantum Chemistry, An Introduction to Electronic Structure Theory by A.…
  ☆10Jan 1, 2019Updated 7 years ago
• mcleod-ideafix / simple_sdram_controller

  View on GitHub
  A very simple SDRAM controller for FPGA written in Verilog. It exposes a SRAM-like interface to the rest of the FPGA fabric
  ☆14Dec 4, 2018Updated 7 years ago
• racket / plot

  View on GitHub
  ☆45Nov 21, 2025Updated 2 months ago
• rntz / rotten

  View on GitHub
  Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler
  ☆98May 1, 2015Updated 10 years ago
• kingoflolz / mic_hardware

  View on GitHub
  ☆20Feb 27, 2023Updated 2 years ago
• OPLSS / oplss-notes-2021

  View on GitHub
  Materials for OPLSS 2021
  ☆11Jun 1, 2021Updated 4 years ago
• mfelleisen / RacketSchool

  View on GitHub
  ☆11Apr 19, 2019Updated 6 years ago
• mratsim / haskell-numbertheory

  View on GitHub
  Exploration of primes, factorization and number theory through haskell
  ☆10Oct 10, 2016Updated 9 years ago
• dch82 / crc32

  View on GitHub
  ☆14Nov 1, 2024Updated last year
• rumbleminze / lifeforce-snes

  View on GitHub
  Native port of Life Force for the NES to the SNES
  ☆20Jun 22, 2025Updated 7 months ago
• travitch / hasksyn

  View on GitHub
  A vim mode for Haskell
  ☆31Sep 4, 2014Updated 11 years ago
• charliermarsh / OCaml-SAT-Solvers

  View on GitHub
  An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.
  ☆19Sep 5, 2014Updated 11 years ago
• YaZko / Coq_Cheat_Sheet

  View on GitHub
  Shared Cheat Sheet for Coq
  ☆10Sep 8, 2016Updated 9 years ago
• MITHyperloopTeam / software_core

  View on GitHub
  Core software stack used by the MIT Hyperloop Team during the SpaceX Hyperloop Pod Competition in January 2017.
  ☆10Jan 30, 2026Updated 2 weeks ago
• zapta / i2c_adapter

  View on GitHub
  A simple USB to I2C adapter that works.
  ☆11Feb 28, 2024Updated last year
• kai-qu / syntax

  View on GitHub
  Experiments with syntax and symbols
  ☆15Mar 5, 2019Updated 6 years ago
• jcs-elpa / preview-it

  View on GitHub
  Preview anything at point.
  ☆11Jan 1, 2026Updated last month
• gregdavill / cap-sense-flex

  View on GitHub
  ☆11Jul 6, 2024Updated last year
• davep / dad-joke.el

  View on GitHub
  Get/show dad jokes in Emacs
  ☆10Sep 28, 2017Updated 8 years ago
• chsticksel / smtlib-mode

  View on GitHub
  An Emacs major mode to edit and run SMTLIB v2 files
  ☆10Nov 14, 2015Updated 10 years ago
• CoqHott / Program-translations-CC-omega

  View on GitHub
  ☆14Nov 23, 2016Updated 9 years ago
• jpellegrini / gnu-apl-refcard

  View on GitHub
  A reference card for GNU APL
  ☆11Feb 19, 2025Updated 11 months ago
• TiarkRompf / types-and-proofs

  View on GitHub
  Mechanized baselines for various type system features
  ☆18Dec 6, 2025Updated 2 months ago