Dynamic D bindings to OpenGL, compatible with BetterC, @nogc, and nothrow.
- dlang
- opengl-bindings
- bindbc
- opengl
Repository Index
47,133 repositories indexed
673–696 of 853 · Most stars
the alchemist's happy path with elixir
- elixir
- error-handling
- with
- monad
Load Javascript and CSS asynchronously in yew
- codesplitting
- interop
- wasm
- rust
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
Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
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
Delphi's FMX and VCL header/wrapper units for BASS audio library plus add-ons
Crystal binding for LevelDB
- crystal
- leveldb
The completeness of Djula meets the usability of Eco.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Jmeter as code is the easy way to write jmeter test as code.
- jmeter
- java
- performance-testing
- performance
A Scala Native wrapper of the SQLite C library
The Thue programming language: Programming with grammars
Simple currying for FuncN and ActionN on RxJava [STABLE]
Wait for a specified number of promises to be fulfilled
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
An Earley parser written in Ruby
- ruby
- rubynlp
- natural-language-processing
- nlp
Coq library on rewriting theory and termination
scikit-learn for OCaml
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
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