raceconditionrunning / raceconditionrunning.github.io

Related projects: ⓘ

• yeah-tiger / yeah-tiger.github.io
  PL conference deadline countdowns
  ☆51Updated 2 weeks ago
• tchajed / coq-tla
  ☆20Updated 6 months ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆64Updated 5 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆78Updated last week
• euisuny / best-of-popl
  Best of POPL (BOP) Reading Group Memoirs
  ☆67Updated 2 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• dafny-lang / libraries
  Libraries useful for Dafny programs
  ☆43Updated last week
• smtcoq / smtcoq
  Communication between Coq and SAT/SMT solvers
  ☆155Updated 2 months ago
• xavierleroy / cdf-mech-sem
  Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
  ☆62Updated 5 months ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆68Updated last year
• bkushigian / cornelius
  Equivalent and redundant mutant detection with e-graphs!!!
  ☆13Updated last year
• iyzhang / superhero-network
  An unaffiliated group of visible, early career CS women researchers dedicated to fighting harassment in all forms in academia.
  ☆102Updated last month
• GLaDOS-Michigan / verification-class
  Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos
  ☆10Updated last year
• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆30Updated 3 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆51Updated this week
• tchajed / ltac2-tutorial
  Ltac2 tutorial
  ☆39Updated last year
• PrincetonUniversity / compcomp
  Compositional CompCert
  ☆12Updated 5 years ago
• LeifAndersen / PLGradSchools
  ☆219Updated last month
• DeepSpec / InteractionTrees
  A Library for Representing Recursive and Impure Programs in Coq
  ☆199Updated 5 months ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆78Updated this week
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆23Updated 3 months ago
• coq / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆16Updated last week
• hiroshi-unno / coar
  Collection of Automated Reasoners
  ☆19Updated 3 months ago
• coq-community / coq-dpdgraph
  Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
  ☆86Updated last week
• WasmCert / WasmCert-Coq
  A mechanisation of Wasm in Coq
  ☆90Updated 2 weeks ago
• wies / grasshopper
  An automated deductive program verifier.
  ☆39Updated last year
• uw-unsat / yggdrasil
  ☆31Updated 2 years ago
• usi-verification-and-security / golem
  Solver for Constrained Horn Clauses
  ☆34Updated this week
• lkuper / CSE290Q-2019-09
  A graduate seminar on SMT solving and solver-aided systems
  ☆26Updated 2 years ago
• foreverbell / verified
  Coq formalizations and proofs of (data) structures and algorithms.
  ☆45Updated 6 years ago