Skip to content
View edef1c's full-sized avatar

Sponsors

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

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 21 Updated Sep 8, 2025

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

Go 564 25 Updated Jul 10, 2025

A Compute Primitive Designed for Live Migration

Go 152 10 Updated Oct 13, 2025

A Storage Primitive Designed for Live Migration

Go 33 4 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 11 Updated Oct 8, 2025

A routing stack written in Rust.

Rust 62 5 Updated Oct 11, 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 69 Updated Jul 13, 2025

Ninja-compatible incremental build system for Nix

Rust 217 8 Updated Sep 7, 2025

Proc macro implementation of #[naked]

Rust 31 6 Updated Jun 5, 2023

Atomic operations on potentially uninitialized integers.

Rust 22 2 Updated Oct 12, 2025

Byte-wise atomic memcpy.

Rust 37 Updated Sep 6, 2025

a structural diff that understands syntax 🟥🟩

Rust 23,253 404 Updated Oct 13, 2025

An event sourced, purely functional application platform.

Haskell 61 1 Updated Mar 5, 2025

A cloud native embedded storage engine built on object storage.

Rust 2,379 145 Updated Oct 13, 2025
Rust 494 34 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 26 1 Updated Oct 4, 2025

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

Nix 114 2 Updated Feb 29, 2024

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

Rust 25,233 1,484 Updated Oct 10, 2025

A modern proof language

Haskell 3,698 146 Updated Jan 22, 2025

A massively parallel, optimal functional runtime in Rust

Cuda 11,134 428 Updated Nov 21, 2024

A categorical programming language with effects

Haskell 284 5 Updated Mar 6, 2023

kat's configuration flake

Nix 44 6 Updated Oct 13, 2025

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

Python 4,931 735 Updated Sep 12, 2025

an implementation of BLAKE3 verified streaming

Rust 539 28 Updated May 7, 2025
JavaScript 1 Updated Jun 5, 2018

a small statically-linked linux system

Roff 2,990 87 Updated Jul 27, 2025

High-performance regular expression matching library

C++ 5,164 759 Updated Apr 2, 2025
Next