Alternatives and similar repositories for modelchecking:

Users that are interested in modelchecking are comparing it to the libraries listed below

• aclements / objbrowse
  Interactive object file browser with symbol, source, assembly, and analysis
  ☆22Updated 11 months ago
• dgryski / go-marvin32
  Assembly-optimized Marvin32 hash function
  ☆12Updated last year
• dominikh / go-rdeps
  ☆11Updated 7 years ago
• molecula / noticeme
  A simple static checker for unused results.
  ☆23Updated last year
• denzel-morris / clex
  A C11 positional lexer with error reporting written in Go
  ☆22Updated 7 years ago
• jba / codec
  A fast encoder for Go.
  ☆11Updated 4 years ago
• codahale / nanostat
  A Rust library and CLI tool for evaluating whether two or more sets of measurements are statistically different.
  ☆16Updated 2 years ago
• jtolio / crawlspace
  If enabled, allows live debug scripting of a running process's Go objects and types over a TCP socket.
  ☆16Updated 10 months ago
• jbarham / primegen
  Port of D. J. Bernstein's primegen prime number generator to Go
  ☆31Updated 5 years ago
• tokenrove / fixie-trie
  Compact tries for fixed-width keys
  ☆25Updated 6 years ago
• dgryski / peachpy-examples
  ☆15Updated 8 years ago
• codahale / veil-go
  Stupid crypto tricks
  ☆18Updated 3 years ago
• jedisct1 / go-clocksmith
  A sleep-aware-sleep() function
  ☆12Updated last month
• thanm / dragongo
  LLVM IR generation "middle end" for LLVM-based go compiler.
  ☆18Updated 2 years ago
• cheekybits / gennylib
  Library of generic stuff for Genny
  ☆14Updated 6 years ago
• gunnihinn / queuesim
  A simple bounded queue simulator
  ☆21Updated 6 years ago
• cespare / frosty
  A raytracer, for fun
  ☆26Updated 3 years ago
• beyang / go-astquery
  A simple library for querying the AST of a Go program
  ☆10Updated 10 years ago
• pwaller / perf
  Linux Perf subsystem bindings for Go
  ☆20Updated 4 years ago
• jordancurve / radix
  Radix sorting in Go
  ☆10Updated 6 years ago
• jgrahamc / wtickle
  Small program to run requests against a web server and look for problems
  ☆11Updated 9 years ago
• KaiSta / gopherlyzer
  Static Trace-Based Deadlock Analysis for Synchronous Mini-Go
  ☆20Updated 7 years ago
• hockeypuck / hkp
  HTTP Keyserver Protocol (HKP) handlers
  ☆13Updated 6 years ago
• ungerik / mdgo
  Markdown Go: Literate Programming for Go
  ☆16Updated 12 years ago
• rsc / perf2pprof
  Convert Linux perf traces to Go pprof format
  ☆21Updated 8 years ago
• timtadh / dynagrok
  ☆23Updated 6 years ago
• wdamron / x64
  x86-64 instruction encoder in Go
  ☆21Updated 5 years ago
• ept / cap-critique
  Source of paper “A critique of the CAP theorem”
  ☆16Updated 9 years ago
• Symantec / scotty
  A highly scalable collector for tricorder applications
  ☆10Updated 7 years ago
• facebookarchive / counting
  Package counting provides wrappers to add counting to io.Reader and io.Writer.
  ☆24Updated 9 years ago