model checking samples
☆17Oct 18, 2021Updated 4 years ago
Alternatives and similar repositories for modelchecking
Users that are interested in modelchecking are comparing it to the libraries listed below
Sorting:
- Sieve for Exchange but really just Perl doing HTTP requests☆12Sep 17, 2016Updated 9 years ago
- Simple bloom filter☆12Feb 9, 2022Updated 4 years ago
- github.com/cznic/interval has moved to modernc.org/interval☆11Nov 22, 2018Updated 7 years ago
- Fast 64 bit evolved hash.☆34Apr 4, 2017Updated 8 years ago
- Search engine postings list with support for compresison☆11May 5, 2017Updated 8 years ago
- ☆16Jan 5, 2015Updated 11 years ago
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- Some basic unsigned 128 bit math and bitwise operations implemented in go☆18Dec 27, 2014Updated 11 years ago
- ☆23May 12, 2022Updated 3 years ago
- BPF based FIM solution☆42May 22, 2023Updated 2 years ago
- A package version resolver Go library, built on top of bindings for picosat (SAT Solver)☆16Dec 14, 2016Updated 9 years ago
- A tool for reading Go core files☆16Dec 22, 2017Updated 8 years ago
- Go implementation of xoroshiro128+ RNG☆15Jun 25, 2021Updated 4 years ago
- github.com/cznic/dns has moved to modernc.org/dns☆29Nov 22, 2018Updated 7 years ago
- Hollow Heaps for Go☆20Jan 23, 2018Updated 8 years ago
- serve zookeeper with etcd☆16Nov 17, 2016Updated 9 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Apr 3, 2017Updated 8 years ago
- Simple generative fuzzer☆17Oct 18, 2021Updated 4 years ago
- Fast identification of character sequences in text or documents (multi-lingual)☆18Feb 9, 2016Updated 10 years ago
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Oct 11, 2022Updated 3 years ago
- Golang client for HyperLogLog daemon (hlld)☆21Jan 31, 2016Updated 10 years ago
- xoshiro256** random number generator☆22May 7, 2018Updated 7 years ago
- Multi-host replacement for cron☆17May 3, 2021Updated 4 years ago
- Copying and moving files, how hard could it possible be ?☆45Nov 14, 2018Updated 7 years ago
- KNoC is a Kubernetes Virtual Kubelet that uses an HPC cluster as the container execution environment☆21Feb 1, 2023Updated 3 years ago
- Heap dump reader & visualizer for Go 1.4☆48Jan 25, 2016Updated 10 years ago
- Generates Go-Kit endpoints and decoders for gRPC services.☆19Sep 3, 2016Updated 9 years ago
- Go bindings wrapping the Google Keep API☆22Nov 25, 2014Updated 11 years ago
- ☆23Jul 29, 2016Updated 9 years ago
- a thin layer over Go's database/sql☆28Feb 22, 2024Updated 2 years ago
- semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.☆17Nov 1, 2024Updated last year
- An Unopinionated Meta-Packaging System☆26Jan 17, 2024Updated 2 years ago
- A port of the Google Randen fast backtracking-resistant random generator to the C language.☆27May 10, 2018Updated 7 years ago
- ☆26Dec 28, 2015Updated 10 years ago
- Property-based testing with inputs defined as EBNF grammars☆29Dec 6, 2024Updated last year
- wyhash fast non-cryptographic string hash☆37May 12, 2020Updated 5 years ago
- A set of experimental extensions to the go standard library☆31Mar 21, 2024Updated last year
- Go implementation of SIMD-BP128 integer encoding and decoding☆31Apr 8, 2022Updated 3 years ago
- Go tools for analyzing wire protocols to report fine-grained telemetry☆39Jan 17, 2019Updated 7 years ago