Alternatives and similar repositories for Jar

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

• harp-project / AML-Formalization
  ☆11Updated last week
• viperproject / VerifiedSCION
  Verifying the SCION architecture using Gobra
  ☆11Updated last week
• alexeyignatiev / mkplot
  A Python script to create cactus and scatter plots based on matplotlib
  ☆24Updated 4 years ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated this week
• PrAbsInt / appendix
  Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…
  ☆43Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆51Updated last month
• JMoerman / JM2018TS
  ☆9Updated 4 years ago
• isabelle-prover / cookbook
  A collection of useful tips/tricks/hints for Isabelle users.
  ☆16Updated last year
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆75Updated 2 months ago
• bzhan / auto2
  A best-first-search theorem prover implemented in Isabelle
  ☆34Updated 2 years ago
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆161Updated 9 months ago
• damien-pous / coinduction
  coinduction library for Coq
  ☆19Updated 3 months ago
• pedromigueladao / SSof
  Public Repo for Software Security Course@IST
  ☆20Updated 6 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆65Updated this week
• marcelosousa / descartes
  descartes: the cartesian hoare logic prover
  ☆12Updated 8 years ago
• rocq-community / coqtail-math
  Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…
  ☆16Updated last year
• meta-logic / coq-ll
  Formalization of Linear Logic in Coq
  ☆16Updated 3 months ago
• rocq-archive / coq-serapi
  Coq Protocol Playground with Se(xp)rialization of Internal Structures.
  ☆135Updated 8 months ago
• Tipoca / handbook-of-practical-logic-and-automated-reasoning
  Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
  ☆16Updated 12 years ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆66Updated last year
• fblanqui / color
  Coq library on rewriting theory and termination
  ☆36Updated last month
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆60Updated 8 months ago
• rocq-community / coq-art
  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
  ☆123Updated 5 months ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆221Updated last week
• slasser / CoStar
  A parser based on the ALL(*) algorithm, implemented and verified in Coq.
  ☆13Updated 2 years ago
• DeepSpec / dsss17
  Lecture material for DeepSpec Summer School 2017
  ☆88Updated 3 years ago
• clowdr-app / clowdr-web-app
  Old Clowdr versions 1 & 2 from 2020
  ☆36Updated 4 years ago
• uds-psl / autosubst2
  Official repository of the Autosubst 2 project.
  ☆23Updated 2 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated 2 years ago