Skip to content
View edef1c's full-sized avatar

Sponsors

Private Sponsor
@rrbutani
Private Sponsor
Private Sponsor
Private Sponsor
Private Sponsor
@PhilienTaylor

Organizations

@NixOS @techinc @then @squatconf

Block or report edef1c

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

Fingerprints the underlying system by only using primitives available in pure evaluation mode

Nix 23 Updated Sep 8, 2025

MCP server and CLI tool for searching and downloading documents from Anna's Archive

Go 636 32 Updated Dec 23, 2025

A Compute Primitive Designed for Live Migration

Go 157 13 Updated Oct 13, 2025

A Storage Primitive Designed for Live Migration

Go 35 5 Updated Sep 29, 2025

generate a tree of diverse file names

Python 50 1 Updated Jun 2, 2024

a meta-SSG based on pollen and soupault

Clojure 14 Updated Dec 7, 2025

A routing stack written in Rust.

Rust 67 5 Updated Dec 30, 2025

Data captured and decoded from the 3ESS generic tapes

2 Updated Nov 22, 2020

SIMD-optimized B+ Tree implementation that uses integer keys

Rust 77 Updated Jul 13, 2025

Ninja-compatible incremental build system for Nix

Rust 225 10 Updated Sep 7, 2025

Proc macro implementation of #[naked]

Rust 32 6 Updated Jun 5, 2023

Atomic operations on potentially uninitialized integers.

Rust 26 3 Updated Dec 29, 2025

Byte-wise atomic memcpy.

Rust 39 Updated Dec 30, 2025

a structural diff that understands syntax 🟥🟩

Rust 23,864 421 Updated Dec 26, 2025

An event sourced, purely functional application platform.

Haskell 62 1 Updated Mar 5, 2025

A cloud native embedded storage engine built on object storage.

Rust 2,599 169 Updated Dec 31, 2025
Rust 494 33 Updated Jun 11, 2024

A simple, single-future, non-blocking executor intended for building state machines. Designed to be no-std and embedded friendly.

Rust 86 3 Updated Apr 13, 2024

Twitter archive viewer, also takes WARC/HAR files as input

Python 28 1 Updated Oct 4, 2025

Providing reproducible HTTP/HTTPS responders to builds that just can not live without

Nix 119 5 Updated Feb 29, 2024

A library for building fast, reliable and evolvable network services.

Rust 25,825 1,544 Updated Dec 19, 2025

A modern proof language

Haskell 3,719 148 Updated Jan 22, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,190 429 Updated Nov 21, 2024

A categorical programming language with effects

Haskell 290 5 Updated Mar 6, 2023

kat's configuration flake

Nix 45 5 Updated Dec 19, 2025

Download and generate EPUB of your favorite books from O'Reilly Learning (aka Safari Books Online) library.

Python 5,002 743 Updated Sep 12, 2025

an implementation of BLAKE3 verified streaming

Rust 547 29 Updated May 7, 2025
JavaScript 1 Updated Jun 5, 2018

a small statically-linked linux system

Roff 3,023 86 Updated Jul 27, 2025

High-performance regular expression matching library

C++ 5,238 776 Updated Apr 2, 2025
Next