Skip to content
View steshaw's full-sized avatar
👨‍💻
Loves programming languages
👨‍💻
Loves programming languages

Organizations

@apache @NixOS @bfpg @idris-lang @type-theory

Block or report steshaw

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results

Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.

QML 5,624 356 Updated Apr 12, 2026

Truly independent web browser

C++ 62,311 2,936 Updated Apr 11, 2026

Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11

C++ 2,303 117 Updated Apr 11, 2026

Chess analysis GUI for UCI engines, with extra features for Leela (Lc0) in particular.

JavaScript 714 92 Updated Mar 31, 2026

Maia is a human-like neural network chess engine trained on millions of human games.

Python 1,155 141 Updated Jun 18, 2025

Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉

C++ 11,064 1,028 Updated Apr 7, 2026

A scrollable-tiling Wayland compositor.

Rust 22,403 820 Updated Apr 11, 2026

Tiled scrollable window management for GNOME Shell

JavaScript 4,086 162 Updated Apr 10, 2026

A sleek and minimal desktop shell thoughtfully crafted for Wayland.

QML 5,518 412 Updated Apr 11, 2026

A focused launcher for your desktop - native, fast, extensible

C++ 7,150 183 Updated Apr 10, 2026

A vulnerability scanner for container images and filesystems

Go 12,006 779 Updated Apr 10, 2026

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

Go 8,688 809 Updated Apr 10, 2026

Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.

Rocq Prover 1,107 41 Updated Apr 10, 2026

openDAW is a next-generation web-based Digital Audio Workstation (DAW)

TypeScript 1,463 109 Updated Apr 12, 2026

Byzantine Majority Greek New Testament text edited by Robinson and Pierpont, with morphological parsing tags and Strong's numbers

Python 71 21 Updated Dec 31, 2024

The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

TypeScript 100,695 12,050 Updated Apr 12, 2026

Yet another modal editing on Emacs / 猫态编辑

Emacs Lisp 1,578 156 Updated Sep 14, 2025

An open-source AI agent that brings the power of Gemini directly into your terminal.

TypeScript 100,978 13,054 Updated Apr 12, 2026

The official home of the Presto distributed SQL query engine for big data

Java 16,685 5,532 Updated Apr 11, 2026

Rust crate for Substrait: Cross-Language Serialization for Relational Algebra

Rust 87 30 Updated Apr 12, 2026

Beautiful, Modern & Opinionated Linux

Shell 21,817 2,175 Updated Apr 12, 2026

An opinionated NixOS config based on DHH's Omarchy

Nix 685 65 Updated Nov 13, 2025

Cardano Data Node

Rust 113 48 Updated Apr 9, 2026

Rust-native building blocks for the Cardano blockchain ecosystem

Rust 191 91 Updated Apr 1, 2026

Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake

Rust 1,728 62 Updated Apr 11, 2026

PROST! a Protocol Buffers implementation for the Rust Language

Rust 4,658 614 Updated Mar 2, 2026

Multi-language serialization library

Haskell 2 1 Updated Nov 12, 2025

Kotlin Evolution and Enhancement Process

Markdown 3,701 382 Updated Apr 9, 2026

A declarative, efficient, and flexible JavaScript library for building user interfaces.

TypeScript 35,394 1,058 Updated Apr 10, 2026

⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!

Rust 3,490 199 Updated Apr 8, 2026
Next