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

utils for Go context

• golang
• go
• context
• async

Simple Shopify API for the Go Programming Language

Ant Design bindings for Fable Elmish

• fable
• antd

An experimental implementation of parsing expression grammars (a la Janet) in Common Lisp

A Coq library providing tactics to deal with hypothesis

• coq
• formal-proofs
• proof-assistant
• tactics

Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.

• elixir-lang
• elixir
• hex
• package

Simple Groovy options library

A utility library to write code in functional programming style in Javascript

• functor
• monads
• curry
• composition

Perl bindings for playwright

Crystal shard wrapping libgphoto2

• libgphoto2
• crystal
• photography
• gphoto2

Kotlin recursion schemes with Arrow

• recursion-schemes
• kotlin
• functional-programming
• recursive-structures

Simple Hunspell wrapper for Delphi

Javascript recursion schemes compatible with flow-static-land

The GMap iteration macro, plus a few other useful macros.

A web framework for writing react components in common lisp using jscl

Go option and result types that optionally contain a value

• golang
• option
• result
• error

A certified Sudoku solver in Coq [maintainers=@siraben,@thery]

• coq
• sudoku
• nix-action

AS3-based Javascript interpreter, minus a few features (prototype chain, mainly)

Crystal shard aiming to assist with parsing backtraces into a structured form.

• crystal
• stacktrace
• parser

kafka pascal, freepascal bindings using librdkafka and zeromq

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

pipelines contains generic functions for concurrent processing

• concurrency
• go
• golang
• pipelines

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