Skip to content
View def-'s full-sized avatar

Organizations

@nim-lang @ddnet

Block or report def-

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Scaling Automated Database System Testing. ASPLOS'26

Java 8 4 Updated Jan 31, 2026

Trashmap lets you start a DDraceNetwork server for testing your maps at a click of a button.

Rust 6 1 Updated Dec 26, 2025
Rust 41 15 Updated Oct 27, 2025

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

Zig 48,668 2,131 Updated Mar 26, 2026

DDraceNetwork, a free cooperative platformer game

C++ 754 581 Updated Mar 25, 2026

The DDNet account system

Rust 9 2 Updated Jan 12, 2025

Port of DDNet 9 to the Nintendo 3DS

C++ 4 Updated Mar 22, 2025

Port of DDNet 9 to the Nintendo DS

C++ 7 2 Updated Oct 27, 2025
Yacc 1 3 Updated Jan 5, 2024

SQL pretty printer for Materialize

TypeScript 4 1 Updated Oct 9, 2025

Extended DDNet Teeworlds client.

C++ 129 55 Updated Mar 9, 2026

The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL

Rust 6,254 498 Updated Mar 26, 2026

Super Mario 64 in Teeworlds/DDNet

C++ 13 1 Updated Dec 24, 2022

Random Query Generator (with MariaDB patches)

Yacc 43 24 Updated Mar 25, 2026

Open-source KVM software

C 30,378 1,607 Updated Jun 22, 2024

DDraceNetwork Playground

C++ 2 1 Updated Nov 14, 2025

EXT4 implementation for FUSE

C 1,021 118 Updated Apr 11, 2021

Language for generating DDNet's automapper rules.

C++ 6 1 Updated May 29, 2025

Skeleton for creating modifications on top of the latest DDNet version. Forked from https://github.com/ddnet/ddnet.

C++ 9 4 Updated Oct 21, 2023

GNOME Shell extension to check for online DDNet friends

JavaScript 6 Updated Jul 13, 2023

A tool to run a variety of checks on a set of source code files

Python 3 3 Updated Nov 25, 2022

A bot (powered by Koishi.js) for DDNet CHN moderators to manage QQ groups.

TypeScript 3 1 Updated Oct 5, 2021

Query Optimizer Testing Framework for Postgres compatible DBs

Python 21 6 Updated Apr 29, 2025

Teeworlds collaborative map editor online

TypeScript 17 3 Updated Feb 20, 2026

TeeAssembler 2.0 is a script used for coloring a Teeworlds skin image the same way Teeworlds does and rendering the image in your browser using HTML, CSS and JavaScript.

7 5 Updated Jan 27, 2024

Map editor for a retro multiplayer shooter TeeWorlds.

C# 14 Updated Feb 28, 2022

A read-only Git copy of the OpenBenchmarking.org test profiles.

Shell 76 87 Updated Dec 8, 2024
Next