- Brisbane, Australia
- steshaw.org
- in/steshaw
- @steshaw
- @steshaw@types.pl
Highlights
- All languages
- ANTLR
- ATS
- ActionScript
- Agda
- Assembly
- Astro
- Bikeshed
- Boo
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Component Pascal
- Coq
- Crystal
- Cuda
- D
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Flix
- Fortran
- Frege
- Go
- Go Template
- Gosu
- Groovy
- HCL
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Just
- Kit
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mercury
- NCL
- Nemerle
- NetLogo
- Nim
- Nix
- Nunjucks
- Nushell
- OCaml
- Objective-C
- Objective-C++
- Oz
- PHP
- Pascal
- Perl
- Pkl
- PostScript
- PowerShell
- Pug
- PureScript
- Python
- QML
- Racket
- Raku
- ReScript
- Reason
- Red
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- Smalltalk
- Standard ML
- Starlark
- Svelte
- Swift
- Tcl
- TeX
- Thrift
- TypeScript
- Typst
- UrWeb
- V
- Vala
- Vim Script
- Vue
- WebAssembly
- Wren
- YAML
- Zig
- hoon
Starred repositories
Desktop shell for wayland compositors built with Quickshell & GO, optimized for niri, hyprland, sway, MangoWC, labwc, and MiracleWM.
Flexible toolkit for making desktop shells with QtQuick, for Wayland and X11
Chess analysis GUI for UCI engines, with extra features for Leela (Lc0) in particular.
Maia is a human-like neural network chess engine trained on millions of human games.
Highly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
Tiled scrollable window management for GNOME Shell
A sleek and minimal desktop shell thoughtfully crafted for Wayland.
A focused launcher for your desktop - native, fast, extensible
A vulnerability scanner for container images and filesystems
CLI tool and library for generating a Software Bill of Materials from container images and filesystems
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
openDAW is a next-generation web-based Digital Audio Workstation (DAW)
Byzantine Majority Greek New Testament text edited by Robinson and Pierpont, with morphological parsing tags and Strong's numbers
The Postgres development platform. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
Yet another modal editing on Emacs / 猫态编辑
An open-source AI agent that brings the power of Gemini directly into your terminal.
The official home of the Presto distributed SQL query engine for big data
Rust crate for Substrait: Cross-Language Serialization for Relational Algebra
An opinionated NixOS config based on DHH's Omarchy
Rust-native building blocks for the Cardano blockchain ecosystem
Apache Kafka® compatible broker with S3, PostgreSQL, SQLite, Apache Iceberg and Delta Lake
PROST! a Protocol Buffers implementation for the Rust Language
Multi-language serialization library
A declarative, efficient, and flexible JavaScript library for building user interfaces.
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!