Windows inside a Docker container.

Godot Engine – Multi-platform 2D and 3D game engine

Interactive visualization and analytics on ADS-B data with ClickHouse

The ultimate productivity workstation

Make beautiful isometric infrastructure diagrams

📡 Open Ground Station Network 🛰

Open source, multi-user SDR receiver software with a web interface

High Performace IDE for Jupyter Notebooks

ALIEN is a CUDA-powered artificial life simulation program.

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.

Meta-variable Operations for Lean Development

Master the command line, in one page

JupyterLab desktop application, based on Electron.

Ada bindings for the notcurses text user interface library

blingful character graphics/TUI library. definitely not curses.

A modern port of Turbo Vision 2.0, the classical framework for text-based user interfaces. Now cross-platform and with Unicode support.

A curated list of awesome MangoPi MQ-Pro images, tools and resources

GitHub actions to upload coverage results from gnatcov to codecov.io

An action which manages a github release

All Algorithms implemented in Python

Meta-variable Operations for Lean Development

A flight software framework in SPARK/Ada

Secure environments for developers and their agents

Adventures for Learning and Inspiring Coding Excellence

Tool Support for Correctness-by-Construction

A local arena for codingame multiplayer puzzles in c++ 20

Source code for 'Physics for JavaScript Games, Animation, and Simulations' by Adrian Dobre and Dev Ramtal