Alternatives and similar repositories for scribble-java

Users that are interested in scribble-java are comparing it to the libraries listed below

• QuickChick / Luck
  Luck -- A Language for Property-Based Generators
  ☆35Updated 3 months ago
• mpickering / icfp2015-papers
  Accepted papers for ICFP 2015
  ☆45Updated 9 years ago
• DistributedComponents / disel
  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
  ☆98Updated 10 months ago
• idris-hackers / idris-llvm
  Idris LLVM codegen factored out
  ☆81Updated 7 years ago
• pa-ba / calc-comp
  Coq proofs for the paper "Calculating Correct Compilers"
  ☆30Updated last year
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• CertiKOS / coqrel
  Binary logical relations library for the Coq proof assistant
  ☆21Updated 7 months ago
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• agda / ooAgda
  Interactive and object-oriented programming in Agda using coinductive types
  ☆23Updated 3 weeks ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• slindley / effect-handlers
  ☆83Updated last year
• ndmitchell / derive
  A Haskell program and library to derive instances for data types
  ☆25Updated 5 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• hephaestus-pl / coqfj
  A mechanized proof of type safety for Featherweight Java using Coq
  ☆16Updated 6 years ago
• GaloisInc / tower
  A concurrency framework for the Ivory language
  ☆43Updated 5 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• emina / kodkod
  Kodkod solver for relational logic
  ☆76Updated last year
• lastland / WebSpec
  ☆18Updated 8 years ago
• martinring / cobra
  Proof and Code Presentation Framework
  ☆21Updated 5 years ago
• rahulmutt / codec-jvm
  JVM code generation
  ☆32Updated 6 years ago
• alcestes / mpstk
  Multiparty Session Types toolKit
  ☆15Updated last month
• leepike / SmartCheck
  A Smarter QuickCheck
  ☆102Updated 7 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆64Updated this week
• ISANobody / sill
  ☆29Updated 9 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• hkuplg / fcore
  Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding
  ☆45Updated 9 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago