Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

73–96 of 107 · Most stars

Thick Ada binding for OpenGL and GLFW

  • glfw
  • ada
  • opengl-bindings
  • ada-binding

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

  • glfw
  • glfw3
  • glfw3-bindings
  • java

Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.

  • dlang
  • glfw-bindings
  • bindbc
  • glfw

Go utility library for convenient looping using Go's range-over-func feature

  • golang

Go option and result types that optionally contain a value

  • golang
  • option
  • result
  • error

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