Repository Index

CatBoost a fast, scalable, high performance Gradient Boosting on Decision Trees library. Golang using Cgo for blazing fast inference CatBoost Model 🚀

• cgo
• golang
• deep-learning
• gradient-boosting

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

• coq
• randomized-algorithms
• probability
• monad

Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]

• coq-plugin
• large-numbers
• coq
• docker-coq-action

A port of the Javascript library to GML2.3

Experiments on workflow with common lisp

• emacs
• common-lisp
• slime
• test-automation

A C# wrapper written around QPDF, allowing for various operations on PDF documents: transformations, page manipulation, linearization, and more.

• pdf
• pdf-lib
• csharp-pdf

Clang port to the GBZ80 CPU

Ant Design bindings for Fable Elmish

• fable
• antd

V Wrapper For ZMQ

• vlang
• zmq
• networking
• v

cookiestxt implement parser of cookies txt format

ffmpeg crystal bindings

Command line tool for Bluetooth Low Energy MicroPython devices

• micropython
• python
• embedded
• cli

Zig bindings for libVLC media framework.

• bindings
• libvlc
• zig
• zig-library

Lazy iterator implementation for Golang

• golang
• iterator
• golang-package
• golang-module

Variadic aritity tree with a zipper for Elixir!

kafka pascal, freepascal bindings using librdkafka and zeromq

Micropython wrapper for FastLZ, a lightning-fast lossless compression library

Seamless Interface to Octave -- and Matlab code

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm

An Object Pascal Client for NATS

• delphi
• lazarus
• pascal
• linux

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Pascal to Ada translator

• ada
• pascal
• translator
• ada-language

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm

A Clojure library designed to provide hassle-free, ready to go gRPC experience without ton of preparations and Java code.