Ada 2012 library for WeeChat plug-ins
- weechat
- weechat-plugin
- ada
47,133 repositories indexed
2,329–2,352 of 2,416 · Most stars
Ada 2012 library for WeeChat plug-ins
Incremental analysis in Ada
Formal proof in Coq of Puiseux's Theorem.
Ruby bindings to Hunspell 1.2.x with iconv support
A GraphQL parser for python
Ada bindings for the Microsoft Win32 Api
Anime quote web app that fetches data from Animechan (https://animechan.vercel.app/)
A Catspeak to Gamemaker VM bytecode Just-In-Time compiler.
Ada bindings of Turbo Pascal 7.0 units with GTKAda.
A Parenscript to Javascript command line compiler and interpreter.
MicroPython bindings for some MbedTLS EC and x509 cert/csr functions.
A dynamic binding to the ALURE library for the D Programming Language.
Dynamic bindings to libvorbis for the D Programming Language.
A configurable dynamic and static D binding to the HarfBuzz library which is compatible with @nogc, nothrow, and BetterC.
keim's CannonML (shmup scripting language) implementation in Actionscript 3
Dynamic and static bindings to nanovg, compatible with -betterC, @nogc, and nothrow.
A queue-esque data type for purescript.
Ada binding to OpenAL which tries to mimic original API while using Ada types.
ALSA NIFs in C for Elixir.
Scala Native bindings for the Cairo 2D graphics library
V bindings to quickjs javascript engine. Run JS in V.
Actionscript 3 Functional Programing
Scala Native bindings for GStreamer
Wrapper for NLopt - nonlinear optimization library