mmuesly

mmuesly's Stars

• badges/shields

  Concise, consistent, and legible badges in SVG and raster format

  Language:JavaScript23.7k1192.6k5.5k

• oracle/graal

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

  Language:Java20.3k4684.2k1.6k

• williamfiset/Algorithms

  A collection of algorithms and data structures

  Language:Java17.2k4381764.4k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• awslabs/gluonts

  Probabilistic time series modeling in Python

  Language:Python4.6k75960750

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k352.6k233

• model-checking/cbmc-viewer

  CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.

  Language:Python32113411

• tudo-aqua/jconstraints

  A constraint solver abstraction layer for Java

  Language:SMT6433

• rdelhougne/Amygdala

  Language:Java110