Repository Index

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

• combinatorial-optimization
• community-detection
• dynamic-graphs
• edge-orientation

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

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

Anonymous lambda literal in Common Lisp, respecting Scala

A PHP parser for Djot, a modern light markup language

• djot
• language
• markdown
• markdown-language

Decimal number parser and formatter package for the Common Lisp language

• decimal-numbers
• common-lisp
• library
• parser

V Wrapper For ZMQ

• vlang
• zmq
• networking
• v

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

• elixir-lang
• elixir
• hex
• package

HAR (HTTP Archive) parser in Crystal

• har
• http-archive
• http-archive-format
• json

Kotlin recursion schemes with Arrow

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

A scala-native bridge to Cocoa

• scala-native
• cocoa
• objective-c
• scala

Javascript recursion schemes compatible with flow-static-land

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Backport for type hinting generics in standard collections and union types as X | Y

High-performance network library for D programming language, event-driven asynchonous implemention(IOCP / kqueue / epoll).

• tcp
• tls
• ssl
• socket

Rate limiter and overload protection for erlang application

COM-wrapper of Cloo to execute OpenCL code from VBA/Excel.

• excel
• excel-vba
• vbscript
• vba

Capstone Disassembler Library Binding for Delphi

• disassembler
• assembler
• pascal
• delphi

The repository host gives no description.

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

TML Object Pascal Components

Experiment to compile something Elm-ish to Wasm