A Rust compiler backend targeting CIL(.NET IR) and C.

Xwayland outside your Wayland

A scrollable-tiling Wayland compositor.

A textbook on informal homotopy type theory

The Power of Prolog: Introduction to modern Prolog

A multipurpose discord bot written in kotlin, using jda

Cron utils for parsing, validations and human readable descriptions as well as date/time interoperability.

A GPU compute-centric 2D renderer.

Alternative web client for WaniKani

Report general bugs for the SwitchCraft 3 server here. This tracker is NOT for exploits - please disclose those responsibly and privately to a member of staff.

An efficient vector-graphics renderer

just nyan cat images

Lifetime-Friendly, Component-Based, Retained-Mode UI Powered by Async Rust

Modern embedded framework, using Rust and async.

A BK-tree implementation in Rust.

Modular FFXIV data toolkit written in rust.

a smol tcp/ip stack

a picture of big rat

Build truly native applications with ease!

Rust bindings of GTK 4

Rewrite of Cold Clear

A refreshingly simple data-driven game engine built in Rust

Fast and multi-platform Spotify client with native GUI

Infrastructure for solid modeling

A powerful multi-purpose discord bot

Al de afleidingen van het vak Natuurkunde voor Informatici (beide delen)

Rust Bindings for the Skia Graphics Library

mholt's caddy v1 but maintained

Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies