slaiyer

mesop

HelloSilicon

An introduction to ARM64 assembly on Apple Silicon Macs

errgo

Generate enum variants inline

rust-koans

Koans for the Rust programming language

elixir-koans

Elixir learning exercises

bastion

Highly-available Distributed Fault-tolerant Runtime

cnc-ddraw

GDI, OpenGL and Direct3D 9 re-implementation of the DirectDraw API for classic 2D games for better compatibility with Windows 2000, XP, Vista, 7, 8, 10, 11, Wine (Linux/macOS/Android) and Virtual Machines

toy_robot_elixir

Code from leanpub.com/elixir-toyrobot

Ice

Powerful menu bar manager for macOS

xpipe

Your entire server infrastructure at your fingertips

AeroSpace

AeroSpace is an i3-like tiling window manager for macOS

epaxos

A Pure Rust Implementation of Egalitarian Paxos

tikv

Distributed transactional key-value database, originally created to complement TiDB

RustBooks

List of Rust books

quix-streams

100% Python stream processing with Streaming DataFrames

ThinkDSP

Think DSP: Digital Signal Processing in Python, by Allen B. Downey.

result

A simple Rust like Result type for Python 3. Fully type annotated.

tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

rust-formal-methods.github.io

kani

Kani Rust Verifier

stateright

A model checker for implementing distributed systems.

monoio

Rust async runtime based on io-uring.

rep

enforce representation/class invariants in your Rust data structures

slipshow

An engine for displaying slips, the next-gen version of slides

sumtype.h

A mirror of https://git.sr.ht/~grego/sumtypes.h

resume-builder

Create a clean, easy to read resume in pure Python.

ReMind

Your Local Artificial Memory on your Device.

rust-scratch

dataherald

Interact with your SQL database, Natural Language to SQL using LLMs

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.