Docker images of coq-mathcomp [maintainer=?]
- docker-image
- dockerfile
- opam
- coq
Repository Index
86,576 visible repositories in the index
985–1,008 of 1,030 · Most stars
Fast and flexible HTTP request parser for Go
- go-library
- golang
- http
- middleware
A V library for processing PCRE regular expressions
- vlang
- vlang-module
- pcre2
- regex
An Ada binding for the Dear ImGui library.
Dynamic bindings to libogg for the D Programming Language.
The kitchen sink for clean Go projects — generic helpers for slices, maps, parallel work, JSON, HTTP, and containers
- collections
- data-structures
- functional-programming
- generics
An asynchronous Node.js binding for librsvg
A programming language that utilizes long-term storage for space consumption
GML Interpreter
Static and dynamic bindings to the Blend2D C API for D
Ada bindings for libsoundio
Grammar handling and parser generation Ada library
- ada
- grammars
- parsing
- syntax-analysis
An esoteric programming language with prefix-free brackets
- esoteric-programming-language
- esolang
- programming-language
A Latin-themed esoteric programming language where source code reads as prayer
- brainfuck
- c
- esolang
- esoteric-language
Simple .lng File Parser from HandyGames games
- deepl
- javagame
- lng
- parser
A dynamic binding to OpenGLES for the D Programming Language.
A dynamic binding to the PhysicsFS library for the D Programming Language.
KiWi binding for D programming language
Json-values allows Java developers to harness the power of persistent data structures when working with JSON data, simplifying complex data manipulation. It provides a purely functional approach to JSON
- functional-programming
- java
- json
- json-generator
Haxe externs for simple-peer.
a V wrapper for the sokol_gp library
Ada bindings for the Microsoft Win32 Api
- ada
- gnat
- gcc
- win32
A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.
A dynamic binding to the ALURE library for the D Programming Language.