bash

maths student and wizard of the arts and crafts of programming :mage: :rainbow_flag:

@messerli-informatik-agZürich

Pinned Repositories

broccolini
A non-destructive parser for INI files compatible with `GetPrivateProfileString`
Language:C#2 2 102
color-scheme-sync
Daemon to sync the new dark style preference with the legacy `gtk-theme` preference
Language:Rust4 3 01
egui-theme-switch
A very pretty theme switch for your egui app
Language:Rust14 1 02
fmtastic
A fantastic crate for formatting numbers using the appropriate unicode characters
Language:Rust11 2 201
game-night
Source code for Tau's Game Night website
Language:Rust10
mundy
Reads various system-level accessibility and UI preferences 🐋
Language:Rust1 1 00
portal
A cross-platform GUI for Magic Wormhole ✨
Language:Rust9 2 362
terminal-colorsaurus
A library for answering the question «Is this terminal dark or light?» 🦕
Language:Rust18 2 143
toby
:robot: Toby the friendly server bot.
Language:Rust5 3 00

bash's Repositories

bash/terminal-colorsaurus
A library for answering the question «Is this terminal dark or light?» 🦕
Language:Rust18 2 143
bash/egui-theme-switch
A very pretty theme switch for your egui app
Language:Rust14 1 02
bash/portal
A cross-platform GUI for Magic Wormhole ✨
Language:Rust9 2 362
bash/node-uname
Wrapper around the uname call
Language:C3 3 21
bash/terminal-dark-light-agenda
Top Sekrit Agenda
Language:Rust3 3 0
bash/bash.github.io
Source code of my personal website and blog
Language:SCSS2 3 30
bash/cauliflambda
WIP lambda calculus parser and evaluator with a very professional name
Language:Rust2 2 32
bash/terminal-trx
Provides a handle to the terminal of the current process that is both readable and writable 🦖
Language:Rust2 2 03
bash/bevy
A refreshingly simple data-driven game engine built in Rust
Language:Rust1 0 0
bash/dotfiles
My personal, totally not overengineered dotfiles
Language:Shell1 2 0
bash/game-night
Source code for Tau's Game Night website
Language:Rust10
bash/gimoji
Easily add emojis to your git commit messages 😎
Language:Rust1 0 0
bash/mundy
Reads various system-level accessibility and UI preferences 🐋
Language:Rust1 1 00
bash/onehalf
Clean, vibrant and pleasing color schemes for Vim, Sublime Text, iTerm, gnome-terminal and more.
Language:Vim Script1 0 0
bash/alpentau
Modified version of Firefox Alpenglow
Language:Shell
bash/bat
A cat(1) clone with wings.
Language:Rust1 0
bash/crev-proofs
bash/dec-modes
An exhaustive list of modes that can be set using `DECSET`
bash/delta
A syntax-highlighting pager for git, diff, and grep output
Language:Rust1 0
bash/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Language:Rust1 0
bash/egui_dock
Docking support for egui – an immediate-mode GUI library for Rust
Language:Rust0 0
bash/hirzenbach-bot
A very silly bot I wrote while being bored during a looong lecture :)
Language:Python0 0
bash/i-cant-believe-its-not-bsn
An ergonomic way to spawn entity hierarchies using component hooks and the magic of the type system
bash/mirror
a script for mirroring my GitHub repos
Language:Python1 0
bash/reactive
The Reactive Extensions for .NET
Language:C#1 0
bash/Rocket
A web framework for Rust.
Language:Rust1 0
bash/rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0
bash/tautropfen.space
Language:SCSS
bash/unicode-width
Displayed width of Unicode characters and strings according to UAX#11 rules.
Language:Rust0 0
bash/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.