8000 l4l (Kitsu) / Starred · GitHub
[go: up one dir, main page]
Skip to content
View l4l's full-sized avatar
84 followers · 5 following

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Galaxy BrainAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Block or report l4l

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

bendlang / bend

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

TypeScript 24,860 797 Updated Nov 6, 2026

bensadeh / tailspin

🌀 A log file highlighter

Rust 8,018 141 Updated Oct 19, 2026

helix-editor / helix

A post-modern modal text editor.

Rust 46,903 4,008 Updated Sep 29, 2026

rsms / llvmbox

Self contained, fully static llvm tools & libs

C 369 7 Updated Mar 1, 2023

model-checking / kani

A model checker for Rust programs.

Rust 3,650 194 Updated Nov 6, 2026

aclements / latexrun

A 21st century LaTeX wrapper

Python 638 76 Updated Apr 28, 2024

ClickHouse / clickhouse-rs

Official pure Rust typed client for ClickHouse DB

Rust 570 182 Updated Nov 7, 2026

jpochyla / psst

Fast and multi-platform Spotify client with native GUI

Rust 9,510 274 Updated Aug 18, 2026

natpen / awesome-wayland

A curated list of Wayland code and resources.

2,195 99 Updated Oct 17, 2023

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

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

5,848 918 Updated Oct 21, 2026

mexus / alloc-collections

Collections with custom allocators support

Rust 4 Updated Mar 30, 2020

riverwm / river

[mirror] A non-monolithic Wayland compositor

Zig 4,339 170 Updated Nov 5, 2026

idris-lang / Idris2

A purely functional programming language with first class types

Idris 3,107 425 Updated Nov 5, 2026

Smithay / smithay

A smithy for rusty wayland compositors

Rust 3,366 454 Updated Nov 4, 2026

rust-lang / rustc_codegen_cranelift

Cranelift based backend for rustc

Rust 2,170 168 Updated Nov 6, 2026

leandromoreira / digital_video_introduction

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

Jupyter Notebook 16,381 1,380 Updated Nov 5, 2026

strukturag / libde265

Open h.265 video codec implementation.

C++ 1,930 500 Updated Sep 29, 2026

microsoft / snmalloc

Message passing based allocator

C++ 1,981 141 Updated Nov 4, 2026

papers-we-love / papers-we-love

Papers from the computer science community to read and discuss.

Shell 111,245 6,472 Updated Oct 28, 2026

mrZizik / CS-1.6-NoSteam-server-DOCKERFILE

CS 1.6 NoSteam server

Pawn 6 9 Updated Jul 19, 2019

leandromoreira / ffmpeg-libav-tutorial

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

C 11,067 1,010 Updated Jun 18, 2026

tfhe / tfhe

TFHE: Fast Fully Homomorphic Encryption Library over the Torus

C++ 1,335 190 Updated Sep 17, 2025

swaywm / sway

i3-compatible Wayland compositor

C 17,497 1,320 Updated Sep 21, 2026

vessemer / LungCancerDetection

Lung cancer detection framework

Jupyter Notebook 22 12 Updated Oct 18, 2020

psankar / simplefs

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

C 981 222 Updated Jul 1, 2026

EspacioTeam / write-ups

Python 2 1 Updated Sep 5, 2016

rswier / c4

C in four functions

C 10,824 1,496 Updated Dec 26, 2023

angr / angr

A powerful and user-friendly binary analysis platform!

Python 9,332 1,231 Updated Nov 7, 2026

tromp / < 4059 /span>cuckoo

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

C++ 865 175 Updated Sep 25, 2026

HexHive / printbf

Brainfuck interpreter inside printf

Brainfuck 697 29 Updated Mar 9, 2026
Next

Starred topics

0