Repository Index

A variant of READ secure against internbombing, excessive input and macro characters.

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

Bash and Python Honeyport scripts

Modern, fast and ergonomic C++ HTTP/1.1, HTTP/2 and WebSocket server & client library for Linux, macOS and Windows, perfect for microservices.

• cpp
• cpp23
• http-server
• linux

A lightweight solution for handling and storing money.

• money
• currencies
• ecto

This is a sample/boilerplate project that shows how to create a production-ready hyperapp application.

• hyperapp
• rollup
• rollup-example
• flyjs

A collection of awesome Cucumber and Gherkin-related resources

• cucumber
• gherkin
• javascript
• java

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

CakePHP plugin for maintaining a contiguous sequence of records

• php
• cakephp
• cakephp-plugin
• sequence

AIRKinect 2.0 AIR Examples

Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)

• actions
• bugbounty
• cicd

A starter project on Meteor with React

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Renderer for the Ricardian Contract specification

Displays automatic scale bars for projected geospatial data.

Contrastive Explanation (Foil Trees), developed at TNO/Utrecht University

• interpretability
• machine-learning
• contrastive-explanations
• foil

Error Prone extensions: extra bug checkers and a large battery of Refaster rules.

• java
• static-analysis
• abstract-syntax-tree
• ast

Give your AI agent a wallet, email, phone number, and instant access to paid MCP tools — web search, image/video/music gen, X search, SMS, voice calls, code execution, and more. Works with Gemini CLI, Claude, and any MCP client.

• agent-tools
• ai-agent
• ai-payments
• gemini-cli

MCP server for spatial transcriptomics analysis through natural language interfaces.

• bioinformatics
• cell-communication
• deconvolution
• machine-learning

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, xDC replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding. Enterprise version is at seaweedfs.com.

A mobile platform for collecting transit data -- GTFS, passenger counts and GIS data.

An arbitrary-precision decimal floating-point arithmetic package for Go

• decimal
• arbitrary-precision
• floating-point
• go

Micropython package for doing fast rsa and elliptic curve cryptography, specifically digital signatures

• cryptography
• elliptic-curves
• micropython
• rsa

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