Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Repository Index
87,075 visible repositories in the index
865–888 of 1,034 · Most stars
Ada binding to the SFML library
- ada
- binding
- sfml
- multimedia
A practical functional programming library for promises
- promise
- async-programming
- functional-programming
- javascript-callback-hell-solution
Functional Programming for EcmaScript(Javascript)
- functional-programming
- fp
- js
- es
Static & dynamic D bindings to GLFW, compatible with BetterC, @nogc, and nothrow.
- dlang
- glfw-bindings
- bindbc
- glfw
Qt Qml bindings for the D programming language
XAsyncSockets is an efficient Python/MicroPython library of managed asynchronous sockets.
- python
- asynchronous
- sockets
- tcp
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
Go Bindings for libsamplerate
- golang
- libsamplerate
- audio
- audio-processing
Scala Native BLAS (Basic Linear Algebra Subprograms) supporting Linux and macOS
- scala
- scala-native
- math
- linear-algebra
The Thue programming language: Programming with grammars
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
OCaml library for combinatorics
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
scikit-learn for OCaml
A cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
Tealang - high level language for Algorand ASC1 and TEAL
nanomsg bindings for ocaml
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker