fhowar

fhowar's Stars

• tudo-aqua/whilestar

  The While* Virtual Machine

  Language:Kotlin21

• tudo-aqua/konstraints

  Language:SMT1

• decker-edu/decker

  A markdown based tool for slide deck creation.

  Language:JavaScript6015

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.3k1.6k

• DaTebe/destroyclaims

  Repository containing the Destroy Claim Model Specification and the destroyclaim-js library that helps building your own DCAs.

  Language:JavaScript4

• Try/OpenGothic

  Reimplementation of Gothic 2 Notr

  Language:C++1.2k81

• NASA-SW-VnV/fret

  A framework for the elicitation, specification, formalization and understanding of requirements.

  Language:JavaScript28248

• tudo-aqua/spout

  SPouT: Symbolic Path Recording During Testing

  Language:Java5

• tudo-aqua/jconstraints

  A constraint solver abstraction layer for Java

  Language:SMT63

• tudo-aqua/cvc4-turnkey

  Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

  Language:Kotlin4

• tudo-aqua/jdart

  A dynamic symbolic analysis tool for Java

  Language:Java6

• tudo-aqua/z3-turnkey

  TurnKey artifact for Z3

  Language:Java345

• javapathfinder/jpf-core

  JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

  Language:Java529337

• harelba/q

  q - Run SQL directly on delimited files and multi-file sqlite databases

  Language:Python10.2k422

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  184169

• terryum/awesome-deep-learning-papers

  The most cited deep learning papers

  Language:TeX25.4k4.5k

• jonschlinkert/sublime-markdown-extended

  Top 100 Sublime Text plugin! Markdown syntax highlighter for Sublime Text, with extended support for GFM fenced code blocks, with language-specific syntax highlighting. YAML Front Matter. Works with ST2/ST3. Goes great with Assemble.

  66096

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1.5k

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C437131

• psycopaths/jconstraints-z3

  jConstraints abstraction layer for Z3

  Language:Java98

• psycopaths/jdart

  A dynamic symbolic analysis tool for Java

  Language:Java11339

• psycopaths/jconstraints

  A constraint solver abstraction layer for Java

  Language:Java2010

• nylas/sync-engine

  :incoming_envelope: IMAP/SMTP sync system with modern APIs

  Language:Python3.5k354