Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

385–408 of 505 · Most stars

Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott

Typed test data factories for Go. Compile-time checked field references, faker-backed defaults, and factories derived from factories.

  • factories
  • factory
  • faker
  • go

"to be defined" - a really simple way to create text templates with placeholders

  • golang
  • commandline-tool
  • text-template
  • placeholder

Procedural Cross-Platform 3D Tower Defense WebGame with Physics and AI and Procedural Sound

Lightweight AI agent runtime for Go. Define multi-agent crews in YAML, run them with goroutines and channels, and let the runtime handle scheduling, parallelism, retries, and observability — without leaving the Go ecosystem.