Sign in

Repository Index

56,638 visible repositories in the index

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

3,697–3,720 of 4,126 · Most stars

Static & dynamic D bindings to the FreeType library, compatible with BetterC, @nogc, and nothrow.

  • bindbc
  • dlang
  • freetype
  • freetype-bindings

A simple Neovim plugin that turns plain text files into smart task lists with automatic counting, dynamic highlighting, and customizable colors. Easily track completed, pending, and in-progress tasks with real-time updates, keeping your workflow organized directly inside Neovim.

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm

Static & dynamic D bindings to the C API of Lua, compatible with BetterC, @nogc, and nothrow.

  • bindbc
  • lua
  • lua-bindings
  • dlang