Rust Linux-compatible kernel

Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data ow…

AirPods liberated from Apple's ecosystem.

Improve keyboard comfort and usability with advanced customization

Learn Prolog Now LaTeX sources

simple terminal UI for git commands

monospace typeface designed for symbol-rich programming

Verified Rust for low-level systems code

Programming language from down under

Statistics-driven benchmarking library for Rust

Rust GUI components for building fantastic cross-platform desktop application by using GPUI.

Light-weight MIPS R4000 and RISC-V system simulator

🌟 For when you really just want to serve some files over HTTP right now!

🦜 type-safe SQL in gleam

A cozy CMS that powers https://fasterthanli.me and others

High performance self-hosted photo and video management solution.

The ultimate set of SQLite extensions

Interactive code examples

Bear is a tool that generates a compilation database for clang tooling.

Professionally crafted React & Figma components for building beautiful products or starting your own design system

Eclipse B612

Streaming music player that finds free music for you

Official Elixir Language Server Protocol implementation

Small C string formatting library

Minimal implementations for dependent type checking and elaboration

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

The markdown editor that's just a textarea https://overtype.dev

c:geo - The powerful Android geocaching app.

Typeface based on the historical eye charts and optotypes used by opticians world wide.

Archive of tomlehrersongs.com