Bilalh

testresult

Provides TestResult type for concise and precise test failures

rust-dec

libdecnumber bindings for the Rust programming language

release-plz

Publish Rust crates from CI with a Release PR.

cargo-dist

📦 shippable application packaging

nvim-config

A modern Neovim configuration with full battery for Python, Lua, C++, Markdown, LaTeX, and more...

scripts_old

Scripts for various functions

miri

An interpreter for Rust's mid-level intermediate representation

ruff

An extremely fast Python linter and code formatter, written in Rust.

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

cargo-bundle

Wrap rust executables in OS-specific app bundles

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

build-your-own-jira-with-rust

A test-driven workshop to learn Rust building your own JIRA clone!

uniffi-rs

a multi-language bindings generator for rust

sendable

Wrapper around Rc safe to send to a different thread

rustic-c

An extraordinarily horrible idea

changedetection.io

The best and simplest free open source web page change detection, website watcher, restock monitor and notification service. Restock Monitor, change detection. Designed for simplicity - Simply monitor which websites had a text change for free. Free Open source web page change detection, Website defacement monitoring, Price change notification

companies-with-successful-pivot

List of startups/companies that had successful pivots

Gen

Set of tools produced during the creation of the PhD thesis "Model selection and testing for an automated constraint modelling toolchain" which focused on how to find good constraint programming models automatically and how to test them.

zsh-histdb

A slightly better history for zsh

python-syntax-errors

no-op statements syntactically valid only since Python X.Y

slacktyping

i'm typing when you're typing

pep585-upgrade

Pre-commit hook for upgrading type hints

cpmpy

Constraint Programming and Modeling library in Python, based on numpy, with direct solver access.

awesome_or-tools

A curated list of awesome OR-Tools community resources.

hush

🤫 Noiseless Browsing – Content Blocker for Safari

git-smartlist

ts-sql

A SQL database implemented purely in TypeScript type annotations.

base2048

Binary encoding optimised for Twitter

SPLV20

SPLV20 course notes

simonw

https://simonwillison.net/2020/Jul/10/self-updating-profile-readme/