Sign in

Repository Index

81,588 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

25–48 of 48 · Most stars

To help gophers generate QR Codes with customized styles, such as color, block size, block shape, and icon.

  • qrcode
  • golang
  • colorful
  • adjustable

Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal

  • pascal
  • vulkan
  • vulkan-api
  • vulkan-library

A lightweight lexical string parser for BBCode styled markup.

  • decoda
  • bbcode
  • bbcode-parser
  • hooks

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.