l4l

l4l's Stars

• papers-we-love/papers-we-love

  Papers from the computer science community to read and discuss.

  Language:Shell89.1k3.1k2435.8k

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust34.5k1914.7k2.6k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k99262438

• leandromoreira/digital_video_introduction

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

  Language:Jupyter Notebook15.6k436551.3k

• swaywm/sway

  i3-compatible Wayland compositor

  Language:C14.8k2184.7k1.1k

• leandromoreira/ffmpeg-libav-tutorial

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

  Language:C10.1k26885966

• rswier/c4

  C in four functions

  Language:C9.8k326331.4k

• jpochyla/psst

  Fast and multi-platform Spotify client with native GUI

  Language:Rust8.8k48343225

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.7k1862k1.1k

• bensadeh/tailspin

  🌀 A log file highlighter

  Language:Rust6k186598

• matter-labs/awesome-zero-knowledge-proofs

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

  5.3k18513853

• riverwm/river

  [mirror] A dynamic tiling Wayland compositor

  Language:Zig3.4k460153

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k631.2k379

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k231.7k97

• natpen/awesome-wayland

  A curated list of Wayland code and resources.

  2k521688

• Smithay/smithay

  A smithy for rusty wayland compositors

  Language:Rust1.9k26332171

• strukturag/libde265

  Open h.265 video codec implementation.

  Language:C++1.7k143292459

• rust-lang/rustc_codegen_cranelift

  Cranelift based backend for rustc

  Language:Rust1.7k39479103

• microsoft/snmalloc

  Message passing based allocator

  Language:C++1.6k41127112

• verus-lang/verus

  Verified Rust for low-level systems code

  Language:Rust1.3k2548676

• tfhe/tfhe

  TFHE: Fast Fully Homomorphic Encryption Library over the Torus

  Language:C++1.2k64182175

• psankar/simplefs

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

  Language:C942595221

• aclements/latexrun

  A 21st century LaTeX wrapper

  Language:Python622264464

• rsms/llvmbox

  Self contained, fully static llvm tools & libs

  Language:C3451062

• ClickHouse/clickhouse-rs

  Official pure Rust typed client for ClickHouse DB

  Language:Rust3281211598

• vessemer/LungCancerDetection

  Lung cancer detection framework

  Language:Jupyter Notebook227113

• swsnr/systemd-journal-logger.rs

  Logger implementation for the systemd journal

  Language:Rust15378

• mrZizik/CS-1.6-NoSteam-server-DOCKERFILE

  CS 1.6 NoSteam server

  Language:Pawn62010

• mexus/alloc-collections

  Collections with custom allocators support

  Language:Rust4200

• EspacioTeam/write-ups

  Language:Python2201