Repository Index

Software Transactional Locks

Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg

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

Go utility library for convenient looping using Go's range-over-func feature

• golang

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

utils for Go context

• golang
• go
• context
• async

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

• coq
• randomized-algorithms
• probability
• monad

Parser for todo.txt files in Go ✅

• go
• golang
• todo
• todoapp

:evergreen_tree: Parses indented code and returns a tree structure.

• go
• parser

Simple Shopify API for the Go Programming Language

cookiestxt implement parser of cookies txt format

Pure functions for slices.

• golang
• go
• generics

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

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

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

Dynamic and static D bindings for bgfx

🚧 Flexible mechanism to make execution flow interruptible.

• hacktoberfest

Go bindings for the snowball libstemmer library including porter 2

Go option and result types that optionally contain a value

• golang
• option
• result
• error

Lazy iterator implementation for Golang

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

Minimal cgo bindings for libenca

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

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

• golang
• go
• goroutine

a NIF for libntru. NTRU is a post quantum cryptography algorithm.

• ntru
• cryptography
• encryption
• lattice-based-crypto