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
• cadets / loom
  The LOOM IR instrumentation framework
  ☆19Updated last year
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 3 years ago
• jojojames / gud-lldb
  LLDB Frontend for Gud
  ☆13Updated 8 years ago
• go-air / reach
  symbolic reachability checker
  ☆23Updated 4 years ago
• yasuaki / lxrng
  clone of git://lxr.linux.no/git/lxrng.git
  ☆13Updated 8 years ago
• fm-polimi / zot
  The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)
  ☆10Updated 5 years ago
• reactive-systems / syfco
  Synthesis Format Conversion Tool
  ☆26Updated 2 months ago
• drothlis / clang-ctags
  Generate tag file for C++ source code, using the clang C++ compiler's parsing libraries
  ☆244Updated 8 years ago
• tiancaiamao / shen-go
  A Go implementation of the Shen programming language
  ☆61Updated 2 months ago
• tromey / gdb-gui
  A gdb gui written in Python, running inside gdb itself.
  ☆50Updated 2 months ago
• JuanitoFatas / Google-Common-Lisp-Style-Guide
  Google Common Lisp Style Guide in Chinese
  ☆13Updated 6 years ago
• kuanyui / moedict.el
  Moe Dictionary client for Emacs. 萌典 Emacs 版客戶端
  ☆18Updated 4 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆56Updated last month
• yaruopooner / ac-clang
  auto-complete + clang for MSVC
  ☆50Updated 4 years ago
• sjl / tslime.vim
  Send command from vim to a running tmux session
  ☆34Updated 4 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
• cuichaox / dml
  Diagram Make Language for common lisp
  ☆60Updated 2 years ago
• slowphil / texmacs-win-builder
  Automate building of TeXmacs on windows using MSys2/Mingw-w32
  ☆10Updated 3 years ago
• bstarynk / bismon
  persistent monitor (for static source code analysis, GCC based)
  ☆61Updated last year
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 10 years ago
• yinwang0 / ykanren
  miniKanren with a constraint-based negation operator
  ☆10Updated 11 years ago
• cy20lin / .spacemacs.d
  My Spacemacs configuration.
  ☆11Updated 7 years ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆19Updated last month
• 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
• formalmethods / intrepid
  Intrepyd Model Checker
  ☆18Updated 4 years ago
• dandavison / minimal
  Minimalist appearance for Emacs
  ☆23Updated 15 years ago
• SYNTCOMP / benchmarks
  Repository of benchmarks for SYNTCOMP
  ☆14Updated 4 months ago
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 11 years ago
• ARM-software / bob-build
  Meta-build system using Blueprint and ninja
  ☆33Updated 3 weeks ago