stoeffel

Christoph Hermann's starred repositories

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Language:RustISC45198 187 2296

zellij

A terminal workspace with batteries included

Language:RustMIT21627 108 1992

monaspace

An innovative superfamily of fonts for code

Language:TypeScriptOFL-1.114279 54 208

ratatui

A Rust crate for cooking up terminal user interfaces (TUIs) 👨‍🍳🐀 https://ratatui.rs

Language:RustMIT10652 34 346

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixMIT7047 54 2292

purerl

Erlang backend for the PureScript compiler

Language:HaskellNOASSERTION333 13 28

noredink-ui

Component Library package & Component Catalog app code

Language:ElmBSD-3-Clause132 18 137

haskell-libraries

Libraries we use at NoRedInk

Language:Haskell75 19 6

elm-3d-playground-exploration

An experimental playground for game development with Elm

Language:Elm69 6 1

elm-3d

A package for making 3D games and apps in Elm

Language:ElmNOASSERTION1000

playos

A custom Linux system for running Dividat Play.

Language:OCamlNOASSERTION7 4 1

firstaide

Bootstrap tool for Nix environments

Language:Rust4 20

roc-drum-machine

Drum machine built with the roc-wasm4 platform

Language:Zig3 30

toy-lang

Playing around with PL for learning and fun

Language:Roc2 10

.dots

🏡

Language:Shell2 30

jump-to

A Vimium inspired keyboard shortcut script for browsers

Language:JavaScriptBSD-3-Clause1 20