Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
Repository Index
57,138 visible repositories in the index
25–29 of 29 · Most stars
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
Unofficial OpenCV binding for D programming language
Bindings to special math functions from the Cephes library.
Unofficial automated SBCL build usable on Windows 7