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

Corne keyboard, a split keyboard with 3x6 column staggered keys and 3 thumb keys.

Files related to the Aurora Series keyboards.

Text mode window environment. A terminal emulator and multiplexer with mouse support, overlapped windows and networked clients. Text-mode equivalent of X11 server + VNC server

Experimentation with the RT-Thread Operating System with the Allwinner D1H

A description of the Erlang Runtime System ERTS and the virtual Machine BEAM.

Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

A mathematical keypad for students and professionals