8000 iff (Yves Ineichen) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View iff's full-sized avatar

Sponsoring

@neovim

Highlights

  • Pro

Organizations

@rmx

Block or report iff

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
Showing results

Magical Rust patterns laid out and simplified

Rust 1,916 56 Updated Jul 24, 2026

A rust crate that provides a space efficient 𝛿-based C 8000 RDT implementation

Rust 195 6 Updated Apr 2, 2026

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

Rust 4,000 362 Updated Nov 6, 2026
Nix 1 Updated Oct 13, 2026

A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

Rust 3,017 230 Updated Nov 6, 2026

An interpreter for Rust's mid-level intermediate representation

Rust 6,718 548 Updated Nov 6, 2026

A beautiful, non-destructive, and GPU-accelerated RAW image editor built with performance in mind.

TypeScript 10,978 654 Updated Nov 6, 2026

Command-line sampling profiler for macOS, Linux, and Windows

Rust 4,482 110 Updated Nov 2, 2026

A small and fast async runtime for Rust

Rust 5,110 198 Updated Oct 26, 2026

Add hardship to your tests

Rust 1,294 79 Updated Nov 5, 2026

A modern Anki custom scheduling based on Free Spaced Repetition Scheduler algorithm

Jupyter Notebook 4,127 165 Updated Aug 14, 2026

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Rust 23,175 820 Updated Nov 3, 2026

Collection of CI configuration files for Rust projects

359 68 Updated Oct 1, 2026

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

5,535 202 Updated Jul 23, 2026

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

C++ 55,755 2,607 Updated Oct 9, 2026

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

Rust 341 27 Updated Nov 6, 2026

Lean 4 programming language and theorem prover

Lean 9,898 1,093 Updated Nov 6, 2026

Interactive neural theorem proving in Lean

Lean 135 7 Updated Mar 24, 2022

📖 An approachable introduction to Assembly.

Assembly 3,554 151 Updated Feb 2, 2026
Clojure 89 72 Updated Nov 6, 2026

This repo contains the Hugging Face Deep Reinforcement Learning Course.

MDX 5,088 817 Updated Oct 14, 2026

magic-trace collects and displays high-resolution traces of what a process is doing

OCaml 6,347 223 Updated Oct 19, 2026

PDF, ePUB and Mobi versions of “Harry Potter and the Methods of Rationality”, from LaTeX source

TeX 442 63 Updated Oct 26, 2026

Style your webpage like Edward Tufte’s handouts.

HTML 6,593 483 Updated Jun 24, 2026

Open source, local-first knowledge platform.

Rust 213 9 Updated Aug 22, 2022

This is the repository for the distill web framework

JavaScript 1,010 159 Updated Dec 5, 2022

Links to my articles from Medium and other places on Roam and other things

3 Updated Jul 5, 2021

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

TypeScript 1,838 66 Updated Oct 20, 2026
CSS 94 8 Updated Aug 19, 2022

Roam force multiplier

TypeScript 479 46 Updated Apr 15, 2026
Next
0