-
bat Public
A cat(1) clone with wings.
-
salsa Public
Forked from salsa-rs/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
-
numbat Public
A statically typed programming language for scientific computations with first class support for physical dimensions and units
-
hexyl Public
A command-line hex viewer
-
config-files Public
A set of configuration files for vim, zsh, i3, ...
-
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedFeb 12, 2025 -
insect Public
High precision scientific calculator with support for physical units
-
fd Public
A simple, fast and user-friendly alternative to 'find'
-
hyperfine Public
A command-line benchmarking tool
-
pastel Public
A command-line tool to generate, analyze, convert and manipulate colors
-
winget-pkgs Public
Forked from microsoft/winget-pkgsThe Microsoft community Windows Package Manager manifest repository
-
binocle Public
a graphical tool to visualize binary data
-
peps Public
Forked from python/pepsPython Enhancement Proposals
reStructuredText UpdatedJan 8, 2025 -
bugreport Public
Rust library to collect system and environment information for bug reports
-
vivid Public
A themeable LS_COLORS generator with a rich filetype datebase
-
diskus Public
A minimal, fast alternative to 'du -sh'
-
-
shell-functools Public
Functional programming tools for the shell
-
lscolors Public
A Rust library and tool to colorize paths using LS_COLORS
-
-
minicpp Public
A REPL-style development environment for small C++ snippets
-
jiff Public
Forked from BurntSushi/jiffA date-time library for Rust that encourages you to jump into the pit of success.
Rust The Unlicense UpdatedAug 2, 2024 -
yinsh Public
A web-based version of the board game Yinsh
-
argmax Public
Rust library to deal with "argument too long" errors
-
dp Public
Personal website about some of my open source projects, board games and mountainbiking.
-
dbg-macro Public
A dbg(…) macro for C++
-
-
factorization-diagrams Public
Interactive factorization diagrams
-
purescript-quantities Public
Physical quantities and units
-
quizzity Public
A fast-paced geography quiz