JujuYuki / godel2
Godel Checker with data race detection
☆9Updated 2 years ago
Related projects: ⓘ
- Go static program analyser☆58Updated 4 years ago
- Bindings for the Z3 SMT solver☆28Updated 2 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆39Updated last year
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- symbolic reachability checker☆22Updated 2 years ago
- ☆19Updated 4 years ago
- automate Go compiler comparisons☆24Updated last year
- Gong liveness and channel safety checker☆30Updated 6 years ago
- A simple static checker for unused results.☆23Updated 8 months ago
- A radix sorting library for Go (golang)☆51Updated last year
- Regular expression libraries for Go☆15Updated 3 years ago
- Benchmark and test getter + runner☆28Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 4 years ago
- POC on how to use WebAssembly binaries generated by the Go compiler in a non-web environment☆24Updated 5 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- Run Go executables under llvm-mca☆13Updated 2 years ago
- github.com/cznic/hash has moved to modernc.org/hash☆15Updated 5 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Work space for golang.org/x/perf version 2☆20Updated 3 years ago
- wyhash fast non-cryptographic string hash☆34Updated 4 years ago
- Reference implementations for golang/go#38203 and golang/go#19367.☆25Updated 3 years ago
- Bootstrap Go bindings for Clang's C API☆20Updated last year
- convert from a Go AST to JSON☆42Updated 3 years ago
- Object file abstractions in Go☆30Updated 5 months ago
- Port of D. J. Bernstein's primegen prime number generator to Go☆30Updated 4 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 6 years ago
- A Go API for perf_event_open☆15Updated 2 months ago
- Go regexp for binary/latin-1 data☆49Updated 5 years ago
- Automatically exported from code.google.com/p/gosmith☆51Updated 8 years ago
- A fast SAT solver☆148Updated 3 years ago