Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

🌀 A log file highlighter

A post-modern modal text editor.

Self contained, fully static llvm tools & libs

Kani Rust Verifier

A 21st century LaTeX wrapper

Official pure Rust typed client for ClickHouse DB

Fast and multi-platform Spotify client with native GUI

A curated list of Wayland code and resources.

A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

Collections with custom allocators support

[mirror] A non-monolithic Wayland compositor

A purely functional programming language with first class types

A smithy for rusty wayland compositors

Cranelift based backend for rustc

A hands-on introduction to video technology: image, video, codec (av1, vp9, h265) and more (ffmpeg encoding). Translations: 🇺🇸 🇨🇳 🇯🇵 🇮🇹 🇰🇷 🇷🇺 🇧🇷 🇪🇸

Open h.265 video codec implementation.

Message passing based allocator

Papers from the computer science community to read and discuss.

CS 1.6 NoSteam server

FFmpeg libav tutorial - learn how media works from basic to transmuxing, transcoding and more. Translations: 🇺🇸 🇨🇳 🇰🇷 🇪🇸 🇻🇳 🇧🇷 🇷🇺

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

i3-compatible Wayland compositor

Lung cancer detection framework

A simple, kernel-space, on-disk filesystem from the scratch

C in four functions

A powerful and user-friendly binary analysis platform!

a memory-bound graph-theoretic proof-of-work system

Brainfuck interpreter inside printf