Coq utility and tactic library.
☆27Dec 9, 2023Updated 2 years ago
Alternatives and similar repositories for StructTact
Users that are interested in StructTact are comparing it to the libraries listed below
Sorting:
- A reflection-based proof tactic for lattices in Coq☆21Oct 15, 2023Updated 2 years ago
- ☆12Oct 1, 2024Updated last year
- A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]☆136Feb 26, 2026Updated last week
- BibTeX bibliographies for proof engineering-related papers☆30Jul 24, 2019Updated 6 years ago
- A Coq plugin to disable positivity check, guard check and termination check☆16Nov 2, 2019Updated 6 years ago
- Verified Intermediate Representation☆31Updated this week
- ☆16Jul 24, 2024Updated last year
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- coinduction library for Coq☆24Nov 14, 2025Updated 3 months ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- "htop" for erlang / elixir processes☆16Apr 23, 2025Updated 10 months ago
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- Search, check, and autofix your BibTex files!☆27Aug 11, 2025Updated 6 months ago
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆71Apr 23, 2021Updated 4 years ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- Template project for program verification in the Rocq Prover, showcasing reasoning on CompCert's Clight language using the Verified Softw…☆35Updated this week
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆539May 28, 2025Updated 9 months ago
- CertiCrypt Coq Framework☆37Apr 6, 2016Updated 9 years ago
- ☆49Dec 31, 2025Updated 2 months ago
- TLA+ tools for Emacs☆36Dec 14, 2024Updated last year
- bare minimum chess program☆11Sep 16, 2020Updated 5 years ago
- RTS technique for .NET☆12Oct 25, 2021Updated 4 years ago
- New generation of State Chart Autocoder written completely in Python☆12Feb 11, 2026Updated 3 weeks ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Feb 14, 2026Updated 3 weeks ago
- a simearth clone☆13Jun 25, 2020Updated 5 years ago
- Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]☆50Feb 26, 2026Updated last week
- The Next Generation of Compositional Programming☆56Jan 27, 2026Updated last month
- A LaTeX package for formatting meta-theory.☆46Nov 19, 2020Updated 5 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology☆11Aug 31, 2019Updated 6 years ago
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated last month
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago