Repository Index

Hoare Type Theory

• hoare-logic
• hoare-monads
• separation-logic
• coq

gpool - a generic context-aware resizable goroutines pool to bound concurrency based on semaphore.

• concurrency
• workerpool
• goroutine-pool
• resource-pool

FANN (Fast Artifical Neural Network) binding in Crystal

• fann
• neural-network
• machine-learning
• crystal

.NET wrapper around the LibSass library with the ability to support a virtual file system.

• libsass
• scss
• dotnet
• sass

A simple Elixir Markdown to HTML conversion library

A library for managing pools of workers

• elixir-library
• worker-pool
• elixir
• poolboy

jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.

• java
• jni
• gradle

A fast and simple .NET parsing library

simple to use threading library

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

• csharp
• dotnet
• fsharp
• mono

High performance gradient boosting for Ruby

• machine-learning
• lightgbm
• rubyml

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

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

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

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

The repository host gives no description.

• rubyml
• machine-learning
• ruby
• ml

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

• python
• dlang
• excel
• data-science

Selenium WebDriver Bindings for Objective-C

`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

Sciter component for Delphi

Salesforce Formula Parser implemented in ES2017. Live demo at