l4l

papers-we-love

Papers from the computer science community to read and discuss.

slidev

Presentation Slides for Developers

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

cryptomator

Multi-platform transparent client-side encryption of your files in the cloud

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!

awesome-zero-knowledge-proofs

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

river

[mirror] A dynamic tiling Wayland compositor

i3status-rust

Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust

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.

snmalloc

Message passing based allocator

rustc_codegen_cranelift

Cranelift based backend for rustc

tfhe

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

simplefs

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

cuckoo

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

latexrun

A 21st century LaTeX wrapper

printbf

Brainfuck interpreter inside printf

clickhouse.rs

A typed client for ClickHouse

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