Alternatives and similar repositories for kani

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

• stupendouse / squirreldb-ingestor
  Bleemeo Open Source MQTT to Prometheus ingestor
  ☆37Updated last month
• suspiciousche / youshallnotpass
  YouShallNotPass brings an added level of execution security to mission-critical CI/CD Systems.
  ☆21Updated last month
• snivelingsh / go-clamav
  go wrapper for libclamav
  ☆37Updated last month
• trimday / goStrongswanVici
  a golang implement of strongswan vici plugin client.
  ☆37Updated last month
• solidcanvas / human-readable-json-logging
  The tool to pretty print JSON log stream right from running process in human readable format elk, human-readable, logging, slog, structur…
  ☆37Updated last month
• swiftbeck / doc
  A modern TUI for reading man pages, info pages, and tldr pages.
  ☆36Updated last month
• velvetynetwo / bufplugin-go
  The Go library for plugins to the Buf platform. grpc, protobuf, protocol-buffers
  ☆37Updated last month
• strangemode / eventstore
  a collection of databases specifically designed for storing nostr events nostr
  ☆37Updated last month
• unnaturalwork / solana-ping-api
  solana ping api server
  ☆37Updated last month
• competenthi / fts5index
  SQLite FTS5-based search engine for Hugo pages
  ☆37Updated last month
• suburbandol / timer
  Go Timer implementation with a fixed Reset behavior
  ☆21Updated last month
• tamefender / ldp-tail
  OVH Logs Data Platform - Tail CLI tooling cli, ldp, logging, ovh, tail
  ☆21Updated last month
• unpleasantcla / json-formatter
  Provides a language-agnostic command-line tool to convert cucumber messages into a JSON document.
  ☆22Updated last month
• closeshoppin / asciicheck
  Simple linter to check that your code does not contain non-ASCII identifiers ascii, lint, linter
  ☆37Updated last month
• utilizedcomb / wealthy-mcp
  Wealthy-MCP ai, investment, llm, mcp, mcp-server, trading
  ☆21Updated last month
• briskfedeli / Zoho
  Golang API for Zoho services
  ☆37Updated last month
• medicaltract / gog
  General extensions to the Go language, requiring generics
  ☆37Updated last month
• waterloggedbe / sshterm
  Remote terminal over SSH built with Fyne and FyneTerm
  ☆37Updated last month
• thankfulant / sqlc-pgx-monitoring
  A database monitoring/metrics library for pgx and sqlc. Trace, log and monitor your sqlc query performance using OpenTelemetry
  ☆36Updated last month
• evenabundanc / imas-ime-dic
  THE IDOLM@STER words dictionary for Japanese IME (by imas-db.jp)
  ☆20Updated last month
• qualifiedlit / aks-app-routing-operator
  Kubernetes operator that implements AKS Application Routing
  ☆37Updated last month
• mealyreliabi / distillery
  like homebrew but with less fizz. install binaries as fast and as easy as possible. no package manager, no recipes or metadata to update,…
  ☆38Updated last month
• sanepush / parsley
  An easy-to-use reflection-based dependency injection package that fits into any Go application. dependency-injection, inversion-of-contro…
  ☆22Updated last month
• uttersneaker / go-netty-ws
  An Websocket server & client written by https://github.com/go-netty/go-netty go-netty, websocket
  ☆21Updated last month
• gaseousment / phyrox-developer-portable
  🚀 Phyrox Developer (based on Mozilla Firefox Developer) portable for Windows firefox, firefox-developer-edition, portable, portapps, win…
  ☆22Updated last month
• politicalwall / postpass
  a simple API wrapper around PostGIS
  ☆37Updated last month
• flawlesspast / testrail
  TestRail api in Go
  ☆35Updated last month
• whoppingamen / exim_exporter
  Exports metrics from the exim mail server for consumption by Prometheus.
  ☆38Updated last month
• prizechoker / sample-golang-app
  Sample Golang app to demonstrace OpenTelemetry instrumentation
  ☆37Updated last month
• tenderimpress / container-suseconnect
  Provides access to repositories inside containers using the host entitlements
  ☆36Updated last month