A storage system designed to alternative to S3-based filesystems.

A Python library for image and geometry processing with a focus on ease of use.

Color-naming based learning framework for interpretable image enhancement.

A benchmark designed to expose persistent blind spots in modern AI models.

API to get structured data from any website

Evaluation of LLM-generated metadata for RDF dataset search focusing on faithfulness vs effectiveness.

An LLM-based multi-agent simulation framework to model social capital theory and community prosperity.

UI for Who is hiring posts on Hacker News

The standard mathematical library for the Lean 4 theorem prover used by Lean-Quantum.

An emerging format for representing and maintaining organizational knowledge for AI systems.

A free web-based editor for creating and visualizing Mermaid diagrams.

An online simulator for the WS4000 hardware system.

CLI tool allowing AI agents to manipulate Microsoft Office files.

Index of European software, SaaS, and cloud alternatives with focus on sovereignty.

A lightweight server monitoring tool.

A tool providing system-wide undo functionality.

A multimedia-capable BASIC language implementation.

Reference implementation of the JPEG-XL image format with encode and decode support.

Privacy-respecting metasearch engine

Research on leveraging visual cues and structured data for railway crossing safety scoring.