Sign in

Repository Index

69,734 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

649–672 of 817 · Most stars

Go validation library with functional API built on top of generics, statically typed and batteries included :fire:

  • generics
  • go
  • type-safe
  • validation

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

The Blog built on pure Rust stack. Backend for graphql services, and frontend for web application.

:rocket: A task launcher plugin for neovim allowing dynamic task configuration per directory, with optional support for debugging

  • debugging-tool
  • hot-reload
  • lua
  • neovim

A Go toolkit for building AI agents and applications across multiple providers. Unified LLM client, agent framework with handoffs, tool calling, streaming, structured output, MCP integration, and cost tracking.

A simple script that handles bookmarks stored in a txt file.

  • foxy
  • bookmark
  • store-bookmarks
  • dmenu

Clean boilerplate for graphql services, wasm/yew frontend, handlebars frontend. Using tide, rhai, async-graphql, surf, graphql-client, yew, handlebars, jsonwebtoken, and mongodb.