Browser extension to add git graph to GitHub website.

Friction Graphics

AI Pair Programming in Emacs with Aider

A dynamic tiling extension for KWin

Run your GitHub Actions locally 🚀

UMLet ISTAR-palette for goal oriented requirements engineering (GORE)

This repository template will create a repository with the metrics collection set up automatically.

Interactive, file-level Time Machine-like tool for ZFS/btrfs/nilfs2 (and even Time Machine and Restic backups!)

A Laravel and React JS SPA created through heavy utilization of AI (ChatGPT and Copilot).

CakeML: A Verified Implementation of ML

🎵 Audio processing and mixing suite「音频编辑工具」

Model of a permissions-based filesystem using Alloy

The Gillian Platform main repository

The P programming language.

⚡ Transfer files over wifi from your computer to your mobile device by scanning a QR code without leaving the terminal.

Synthesis is a compiletime, procedure-based, low-overhead, no-allocation, state-machine generator optimized for communicating processes and threads

Multi-tier framework for programming web and mobile applications in OCaml.

An open-source project for the Learning Management System used at Coder Academy

A formal verification tool for Lending Pools. Final MSc Thesis project developed at DTU.

If you're new to DDD and not sure where to start, this process will guide you step-by-step

Definitions of DDD and fundamental concepts to reduce the learning curve and confusion

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

LiteRef: a Software System for Managing the Knowledge of Research Literature.

An intelligent source code browser

DEPRECATED - Powerful search for large codebases