Go static program analyser
☆59Apr 18, 2020Updated 6 years ago
Alternatives and similar repositories for gospal
Users that are interested in gospal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Godel Checker with data race detection☆10Feb 2, 2022Updated 4 years ago
- Demo tool for Go concurrency analysis framework☆11Sep 13, 2018Updated 8 years ago
- MiGo types library in Go☆11Apr 18, 2020Updated 6 years ago
- Gong liveness and channel safety checker☆32Dec 1, 2017Updated 8 years ago
- Static analyser for finding Deadlocks in Go☆322Oct 11, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆19Oct 25, 2026Updated last week
- Incomplete Go port of the KLEE SymEx system.☆12Sep 12, 2019Updated 7 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 5 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆47May 31, 2023Updated 3 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 5 years ago
- ☆14May 19, 2016Updated 10 years ago
- Tool to detect range statements iterating over addressable arrays☆27Dec 6, 2017Updated 8 years ago
- Generates a GitHub issue description for go-fuzz findings☆11Dec 3, 2015Updated 10 years ago
- Go implementation of libhydrogen - a lightweight, easy-to-use crypto library☆24Mar 23, 2017Updated 9 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆23Feb 28, 2019Updated 7 years ago
- github.com/cznic/ccgo has moved to modernc.org/ccgo☆38Nov 22, 2018Updated 7 years ago
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Implementation of the CRUSH Algorithm in Go☆32Jun 23, 2020Updated 6 years ago
- Static analysis of Go code through golang.org/x/tools/go/analysis☆22Apr 24, 2019Updated 7 years ago
- An experimental KV store, which implements an LSM on top of Bolt segments.☆32May 26, 2016Updated 10 years ago
- Fork of http://godoc.org/code.google.com/p/gopacket☆14Jul 23, 2020Updated 6 years ago
- Graph layouting package☆32Oct 19, 2026Updated 2 weeks ago
- ☆29May 20, 2016Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- minimal perfect hashing for rust☆13Aug 10, 2020Updated 6 years ago
- Counter Data structure for Golang using CountMin Sketch with a fixed amount of memory☆45Jan 4, 2018Updated 8 years ago
- A counter data structure that knows when to start estimating to save space☆34Oct 9, 2017Updated 9 years ago
- Golang user signal based package for collecting pprof information☆12Apr 1, 2016Updated 10 years ago
- An example ReadMe file for Go libraries.☆22Feb 11, 2017Updated 9 years ago
- Graphs in go☆19Dec 22, 2022Updated 3 years ago
- MetaSSH connects to and runs commands on thousands of machines in seconds.☆18Nov 1, 2018Updated 8 years ago
- an example airship app☆14Jul 14, 2016Updated 10 years ago
- Golang Git Index Check Tool. No longer maintained.☆22Feb 3, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Bindings for the Z3 SMT solver☆36Aug 9, 2022Updated 4 years ago
- State of the art point location and neighbour finding algorithms for region quadtrees, in Go☆141Jun 22, 2022Updated 4 years ago
- embd-go is an embeddable command-line tool for embedding data files in Go source code, specially crafted for easy use with `go generate`.☆27Jan 13, 2016Updated 10 years ago
- A flexible image server written in go, using chained image filters☆14Mar 21, 2015Updated 11 years ago
- Load generator for graphite, Go-based.☆14May 31, 2017Updated 9 years ago
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Oct 11, 2022Updated 4 years ago
- Specialized 2D/3D R-Tree library for Go☆11May 31, 2017Updated 9 years ago