Generic model checker for concurrent C programs (mirror repository)

Private repo for the Memory Model Task Group

RISC-V Instruction Set Manual

Implementing the walking algorithm used in classic Pokémon G/S/C games.

A go 2d RPG based loosely on the popular Pokemon (TM) by Nintendo (R)

Go bindings for ncurses, with atomic accesses.

Fungo is the Fun Unified Game library for the gO programming language. It will make programming games in Go more fun. This project is on hold, in favor of Eruta and Gari. Please look at EBITEN for …

Google Go Client and Connectors for Redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs,…