TypeScript

Source of truth for the Compliance engine, validating certificate are conforming to rules, providing shapes, schemas and trusted sources

ADHD-friendly productivity app: brain-dump tasks, let AI break them into tiny steps, schedule to your calendar, focus with a Pomodoro style visual timer, and earn rewards & streaks.

Repository for the core system of shepard containing frontend, backend and documentation.

Multi-language research playground for reproducible optimization experiments, Dockerized language workspaces, and cross-paradigm workflow comparisons.

Goal. Loop. Audit. Done. — a pi-coding-agent extension that supervises long-running work, with isolated auditor on each completion. Beat bamboozling by design: the auditor runs in a fresh session with no extensions, no skills, no editor — only the read tools needed to verify your goal.

Website and Scripts for Podcasts. https://podcast.sirimangalo.org/

Inits the configuration files, the volume's directory structure, the XFS quotas

Generated Java and TypeScript API contracts for pinned Headscale releases, published as Maven and npm packages with matching upstream versions.

Przeglądarkowa, turowa gra karciana. Reimplementacja „Małej Karczmy”, rozszerzona o 7 nowych klanów i 5 nowych kart wydarzeń oraz zmienne warunki zwycięstwa (opcjonalne).

A Billing Dashboard For OpenStack

Static API security scanner — detects undocumented and unauthenticated Express.js routes before they reach production

Dev How To wiki/documentation.

https://devhowto.gitlab.io/

Data visualization project of a fantasy league competition between Melanie Brière and Crucifix Arnaud.

LLM agents run a Screeps colony by editing a typed, SMT-checked spec. Paradox generates the Typescript; Z3, strict type checking, and NixOS VM tests gate every change. Nix builds and deploys the whole world, game server included.

Translations and internationalization for Radiooooo - the musical time machine. 23 languages supported. Community contributions welcome!

Assured File Transfer (AFT) workflow application for cross-domain file transfers: auditable multi-role approvals, signed state transitions, CAC authentication, and physical-media tracking. Part of the Foxx Cyber Bedrock family. AGPL-3.0-or-later.

Notabene TypeScript SDK for managing PII data

Compliance service enforcing rules defined in the TrustFramework - Architecture Document/Compliance Document

This is part of the SDP and is the GUI for providing QA visualisations