Repository Index

Generates Blazor -> Javascript strongly typed interop methods.

A MT940 parser in Rust

• mt940
• fints
• hbci
• sepa

The repository host gives no description.

A lock-free concurrent data structures library for Common Lisp.

• common-lisp
• concurrency
• lisp
• primitives

Erlang PortAudio bindings

A couple of lambda shorthand macros

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

🇪🇺 Resources and Learning Games for European Romance Language Communication

• language
• romance-languages
• language-learning

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