Emanate a structured view of your plain-text notes

Build Rust projects in Nix - no configuration, no code generation, no IFD, sandbox friendly.

Pure and reproducible nix overlay of binary distributed rust toolchains

Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos

A monitor of resources

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

A date-time library for Rust that encourages you to jump into the pit of success.

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

A library for writing discord bots in haskell

NixOS MicroVMs

Collection of image builders [maintainer=@Lassulus]

TR-100 Machine Report

NullPointerExceptions in Haskell

NIx Language server, an incremental analysis assistant for writing in Nix.

Quickly build and run kernels inside a virtualized snapshot of your live system

A massively parallel, optimal functional runtime in Rust

A massively parallel, high-level programming language

raft in rust

Kolmogorov Arnold Networks

A rendition of everyone's favorite 1995 Microsoft operating system for Linux.

Deduplicating archiver with compression and authenticated encryption.

Functional choreographic programming in Haskell

Animated visualizations of several garbage collection algorithms

A retro game engine for Python

sched_ext schedulers and tools

Nix flake for linux kernel module development with rust support

Open-source vector similarity search for Postgres