Alternatives and similar repositories for model-evaluation

Users that are interested in model-evaluation are comparing it to the libraries listed below

• seahorn / seahorn-tutorial
  Supplementary files for SSFT 2015 summer school
  ☆12Updated 6 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated last month
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• y-t-bot / opensea-instant-outbidder-bidding-bot
  Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…
  ☆100Updated 3 years ago
• smtlib / jSMTLIB
  jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…
  ☆27Updated 2 months ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 4 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated 2 months ago
• texmacs / plugins
  Collection of builtin GNU TeXmacs plugins
  ☆45Updated 6 months ago
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆14Updated 4 months ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆49Updated 3 months ago
• jojojames / gud-lldb
  LLDB Frontend for Gud
  ☆13Updated 8 years ago
• racket / eopl
  ☆39Updated 2 months ago
• tuhdo / emacs-proglang
  Minimal Emacs distribution for beginners to use with Programming Languages course on Coursera
  ☆18Updated 9 years ago
• cy20lin / .spacemacs.d
  My Spacemacs configuration.
  ☆11Updated 7 years ago
• crillab / d4v2
  ☆14Updated 8 months ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• sourcegraph / language-server-protocol
  Defines a common protocol for language servers.
  ☆21Updated last year
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated last month
• cadets / loom
  The LOOM IR instrumentation framework
  ☆19Updated last year
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 5 years ago
• nicferrier / elmarmalade
  emacs-lisp version of the marmalade package repository
  ☆112Updated 10 years ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• abrochard / org-sync-snippets
  Simple extension to export snippets to org-mode and vice versa
  ☆13Updated 5 years ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆25Updated 6 months ago
• yasuaki / lxrng
  clone of git://lxr.linux.no/git/lxrng.git
  ☆13Updated 8 years ago
• rydesun / tree-sitter-dot
  Graphviz DOT grammar for tree-sitter.
  ☆19Updated 3 months ago
• wh5a / gcc-plugin
  Some sample code for creating gcc plugins
  ☆22Updated 15 years ago
• shishougang / wiki
  personal knowledge wiki
  ☆25Updated 6 years ago