Repository Index

Minimal git server running in a container (docker, podman...)

Go 1.18+ polymorphic generic containers and functions.

• go
• golang
• generics

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

• coq
• mathcomp
• 2-3-tree
• avl-tree

A resource to help people starting with @CakePHP 3.

• php
• blog
• framework
• dashboard

Create PICO-8 games in TypeScript

Fluent assertion framework for D with expressive syntax and detailed error messages

• testing
• asserts
• tdd
• bdd-style

macOS app that contains a full Ruby installation (for use with Ruby/Gosu)

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

This tool analyzes a given Gitlab repository and searches for dangling or force-pushed commits containing potential secret or interesting information.

Community maintained fork of https://github.com/dsacre/mididings

• midi-router-linux
• python-midi
• real-time-performance
• live-music-automation

ReduxDelphi is a predictable state container for Delphi apps utilizing a unidirectional data flow. Inspired by https://github.com/reactjs/redux .

• redux
• delphi
• library
• object-pascal

Transloadit's official Rails SDK, maintained by the community

Erlang Redis client. This is an actively maintained fork used and sponsored by Ericsson via Nordix Foundation.

Graph Theory [maintainers=@chdoc,@damien-pous]

• coq
• graph-theory
• mathcomp
• docker-coq-action

Dash component for Vega-Altair charts

• altair
• plotly-dash
• vega

CakePHP plugin for maintaining a contiguous sequence of records

• php
• cakephp
• cakephp-plugin
• sequence

A starter project on Meteor with React

Community-maintained C# SDK for PocketBase

• sdk-c-sharp
• csharp-sdk
• pocketbase
• pocketbase-sdk

Troje is a honeypot built around lxc containers. It will run each connection with the service within a seperate lxc container.

Overhead allocators, allocator-aware containers and lifetime management for D objects

Data and code for "When (ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems" (CHI 2016)

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

JMeter Docker Image for Distributed Testing on EC2 Container Service (ECS)

• jmeter
• ec2
• docker-image
• ecs

This repository contains a sample showcasing Web APIs with Node.js compared to ASP.NET Core 1.0