l4l

papers-we-love

Papers from the computer science community to read and discuss.

helix

A post-modern modal text editor.

Bend

A massively parallel, high-level programming language

digital_video_introduction

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

sway

i3-compatible Wayland compositor

ffmpeg-libav-tutorial

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

c4

C in four functions

psst

Fast and multi-platform Spotify client with native GUI

angr

A powerful and user-friendly binary analysis platform!

tailspin

🌀 A log file highlighter

awesome-zero-knowledge-proofs

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

river

[mirror] A dynamic tiling Wayland compositor

Idris2

A purely functional programming language with first class types

kani

Kani Rust Verifier

awesome-wayland

A curated list of Wayland code and resources.

smithay

A smithy for rusty wayland compositors

libde265

Open h.265 video codec implementation.

rustc_codegen_cranelift

Cranelift based backend for rustc

snmalloc

Message passing based allocator

tfhe

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

verus

Verified Rust for low-level systems code

simplefs

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

latexrun

A 21st century LaTeX wrapper

llvmbox

Self contained, fully static llvm tools & libs

clickhouse-rs

Official pure Rust typed client for ClickHouse DB

LungCancerDetection

Lung cancer detection framework

systemd-journal-logger.rs

Logger implementation for the systemd journal

CS-1.6-NoSteam-server-DOCKERFILE

CS 1.6 NoSteam server

alloc-collections

Collections with custom allocators support

write-ups