Godel Checker with data race detection
☆10Feb 2, 2022Updated 4 years ago
Alternatives and similar repositories for godel2
Users that are interested in godel2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Go static program analyser☆59Apr 18, 2020Updated 6 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆47May 31, 2023Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆19Oct 25, 2026Updated last week
- Cases for high concurrency go programs☆11Jan 18, 2021Updated 5 years ago
- MiGo types library in Go☆11Apr 18, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Demo tool for Go concurrency analysis framework☆11Sep 13, 2018Updated 8 years ago
- 各种面试,笔试题的go语言解法☆12May 24, 2016Updated 10 years ago
- Statically Detecting Go Concurrency Bugs☆443Jun 23, 2023Updated 3 years ago
- Collected Concurrency Bugs in Our ASPLOS Paper☆263May 18, 2019Updated 7 years ago
- Go bindings for wkhtmltopdf - Convert HTML to PDF using Webkit☆13May 14, 2015Updated 11 years ago
- Static analyser for finding Deadlocks in Go☆322Oct 11, 2023Updated 3 years ago
- material for my students☆14May 7, 2021Updated 5 years ago
- symbolic reachability checker☆23Sep 23, 2021Updated 5 years ago
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆20Apr 8, 2023Updated 3 years ago
- SOCKS5 proxy library for Go☆29May 30, 2021Updated 5 years ago
- ☆10May 17, 2022Updated 4 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- a minimal secure channel for libp2p☆45Feb 24, 2021Updated 5 years ago
- A golang library for caching KV values stored in Consul☆11Dec 13, 2014Updated 11 years ago
- Go Memcached client library #golang☆11Jun 4, 2014Updated 12 years ago
- ☆10Oct 5, 2021Updated 5 years ago
- 基于OWTP协议库，封装所有与openw-server钱包服务API交互方法。用于集成到go语言开发下的应用方系统。☆11Mar 13, 2026Updated 7 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Assembly-optimized Marvin32 hash function☆12Jan 17, 2024Updated 2 years ago
- ☆23Apr 30, 2026Updated 6 months ago
- Simple profiling for Go☆75Feb 9, 2024Updated 2 years ago
- ☆12Dec 11, 2017Updated 8 years ago
- A high level concurrency and parallelism libary☆23Jul 23, 2018Updated 8 years ago
- Simple task runner☆13Jan 10, 2026Updated 9 months ago
- XRP / Ruby Library☆11Apr 23, 2020Updated 6 years ago
- ☆12Dec 25, 2022Updated 3 years ago
- Rainbows as lolcat☆15Oct 3, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An algorithmic stock-trading bot arena☆12Aug 20, 2015Updated 11 years ago
- XRPKit is a Swift SDK built for interacting with the XRP Ledger☆10Jun 12, 2026Updated 4 months ago
- Implementation of ray tracer from Ray Tracing in One Weekend☆15Oct 1, 2020Updated 6 years ago
- Best-effort CPU-local sharded values for Go☆11Feb 19, 2023Updated 3 years ago
- A fast limit order book implementation in Go, inspired by voyager's winning 2011 QuantCup entry. (Also see kmanley/orderbook, the Python …☆14May 15, 2020Updated 6 years ago
- CLI secret management☆16Sep 24, 2026Updated last month
- simple package to r/w length-delimited slices.☆17Aug 21, 2025Updated last year