Repository Index

Erlang PortAudio bindings

A couple of lambda shorthand macros

Bindings for libncursesw and crt class

Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64

• dspack
• microsoft-directshow
• delphinuspackage

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Little utility D3 functions

Helper tool to debug parser and formatter

A library that brings all the CSP joy to the Elixir land.

Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀

• pipe
• pipeline
• kleisli
• ramda

Cassandra for Delphi

Free Monads and useful constructions to work with them

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

Try monad for crystal

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

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

Common Lisp feed parser

Libnotify for Crystal

Native DTrace probes for ruby apps

Hanoi tower in Coq

Anonymous lambda literal in Common Lisp, respecting Scala

Parser for todo.txt files in Go ✅

• go
• golang
• todo
• todoapp

The repository host gives no description.