Repository Index

A compiler for an Ada-like language

Mutation analysis tool for Coq verification projects

• coq
• mutation-analysis
• serapi

A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.

Gatherers library for Java Stream API

• java
• streams-api
• gatherer
• gatherers

A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe

This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.

Elixir macro for extracting or transforming values inside a pipe flow.

• elixir
• pipe
• error-handling

OCaml/MPI interface

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

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

• pipe
• pipeline
• kleisli
• ramda

Simple Shopify API for the Go Programming Language

Transpiles from everything to everything else

Java scope functions inspired by Kotlin

• functional-programming
• java
• java-utils
• java-utilities

Trivial/Tagless Polytypic Functions

ffmpeg crystal bindings

Crystal shard wrapping libgphoto2

• libgphoto2
• crystal
• photography
• gphoto2

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

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

Ada API to the Windows library

A Mustache template compiler.

• mustache
• translator
• compiler

Crystal library for Win32 API

• crystal
• crystal-lang
• crystal-language
• crystal-shard

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

Capstone Disassembler Library Binding for Delphi

• disassembler
• assembler
• pascal
• delphi