Repository Index

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

• supercollider
• lisp
• synth
• sequencer

Java wrapper for SDL and LibGDX controller API

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

• kotlin
• graphql
• client
• code-generation

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

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

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

Unit tests generator for Go programming language

• go
• golang
• unit-testing
• generator

Java API over Accelio

Clojure collection and sequence APIs in Common Lisp, with optional Clojure collection syntax

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

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

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

• python
• dlang
• excel
• data-science

An SMT solver frontend for OCaml

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

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

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

• go
• golang
• lua

Experimental Malfunction backend for Idris

Tiny DSL for idiomatic date parsing and formatting in Ruby

• ruby
• dsl
• date
• syntax-sugar

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Simple Node.JS stream (streams2) Transform that runs the transform functions concurrently (with a set max concurrency)

The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

• coq
• refinement
• mathcomp
• coq-platform