Repository Index

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

• logging
• process
• streams
• serializer

Generate a ready-to-use Common Lisp project

• common-lisp
• cookiecutter
• lisp

The repository host gives no description.

Automatic generation of N-API wrapper from a C++ library

• napi
• n-api
• nodejs
• node-addon-api

Coroutines for GameMaker

• gamemaker
• gamemaker-studio-2
• gms2
• coroutines

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

• baseline
• cli
• legacy-code
• mypy

This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)

V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.

• v
• webview
• gtk
• webkit

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

• monads
• result-type
• typing
• python

The repository host gives no description.

• rubyml
• machine-learning
• ruby
• ml

Filter promises concurrently

Wrap existing D code for use in Python, Excel, C#

• python
• dlang
• excel
• data-science

Selenium WebDriver Bindings for Objective-C

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

Idris LLVM codegen factored out

`llthreads` library rewritten without `LuaNativeObjects` code generator

• lua
• threading
• pthreads
• lua-binding

The Penn Locally Nameless Metatheory Library

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

• coq
• hydra-battles
• ordinal-notations
• formal-proofs

A native Selenium WebDriver binding for ColdFusion

• coldfusion
• lucee
• railo
• selenium

High level go to Lua binder. Write less, do more.

• go
• golang
• lua

Fast Ruby FFI string edit distance algorithms

Experimental Malfunction backend for Idris

ImGui Binding for FreePascal / Delphi with the latest version & docking

• freepascal
• imgui
• imgui-binding
• opengl3

Sciter component for Delphi