Repository Index

A simple Elixir Markdown to HTML conversion library

Common Lisp binding for SQLite

• common-lisp
• sqlite
• sqlite3

High performance gradient boosting for Ruby

• machine-learning
• lightgbm
• rubyml

Write HTML in plain Crystal

• crystal
• dsl
• html
• oop

The repository host gives no description.

• rubyml
• machine-learning
• ruby
• ml

An SMT solver frontend for OCaml

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

A native Selenium WebDriver binding for ColdFusion

• coldfusion
• lucee
• railo
• selenium

OCaml bindings for Kafka

• ocaml-bindings
• kafka
• librdkafka

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

• go
• html
• jsx
• lsp

Machine Learning & Data Mining with JRuby

• machine-learning
• ruby
• jruby
• weka

OCaml bindings to libcurl

• libcurl
• ocaml-bindings
• ocaml

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

• coq
• theorems

Pascal binding for SFML

• object-pascal
• wrapper
• library
• game-engine

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

• ocaml
• linenoise
• readline
• standalone

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Fast YAML native library for Erlang / Elixir

• libyaml
• yaml
• libyaml-library
• erlang

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

Type-safe library for building parallel applications, built on top of Async's Rpc module.

Versatile Go code generator.

• golang
• code-generator
• generics
• conditional-compilation

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Ada binding to the SFML library

• ada
• binding
• sfml
• multimedia