MatchFlow is a full-stack invoice processing and purchase-order matching system—built on Clean Architecture with a React+Nginx front-end, a .NET 6 API back-end, Azure Form Recognizer OCR, Azure Blob Storage, and Docker Compose for one-command local setup.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
Common LISP Kubernetes Client
Real-time secret-leak guardrails for AI coding agents (Claude Code, Codex), Git hooks, and CI.
Get started playing with Craft CMS 3 in a few command lines with Docker
FairPlayCombined is a platform designed to accelerate app development using .NET, Blazor, and more. It includes real-world templates like video sharing and dating apps, reducing costs and time-to-market. Perfect for developers, startups, and businesses, it empowers innovation and delivers value with pre-built tools and resources.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Stacks-blockchain with API using docker compose
Highly efficient compile-time general purpose DI container based on C# source generators.
- ioc
- di-container
- sourcegenerator
- di-framework
Ever wanted to run your own IP lookup service like canhazip.com? Don't want to resort to awful PHP? Powered by Cloudflare Workers (https://cloudflareworkers.com)
Official asdf plugin for opentofu
GitHub Action to Setup Common Lisp tools
Source-to-Image builder for Common Lisp applications on OpenShift
Patient API is a PoC project using Golang, Chi, PostrgreSQL among Docker and Docker compose. Exposing REST API endpoints.
A cakephp 5 template for Docker
Unofficial AWS SDK for Common Lisp
S3 Blobs module for Play!, based on https://github.com/jamesward/plays3upload
CQRS on Windows Azure
Libmemcached library support for Amazon ElastiCache Memcached Cluster for PHP. The client is available at https://github.com/awslabs/aws-elasticache-cluster-client-memcached-for-php.
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
A curated collection of ready-to-use Docker Compose files for local web development, plus a powerful CLI (dctl) to manage and orchestrate your registered stacks from anywhere in your terminal.
A GitHub Action to track code coverage in your pull requests, with a beautiful HTML preview, for free.
Utilities for running Common Lisp on CI platforms
- common-lisp
- ci
- travis-ci
- circleci
Dyna is an AWS DynamoDB ORM for Common Lisp.