#
Lists (2)
Starred repositories
Collection of image builders [maintainer=@Lassulus]
Code from the book "Types and Programming Languages" in Scala
Self-hosted collection of powerful web-based tools for everyday tasks. No ads, no tracking, just fast, accessible utilities right from your browser!
🔖 Redis client built on top of Cats Effect, Fs2 and Lettuce
A Personal Software Runtime inspired by Emacs, Plan 9, Erlang, Hypermedia, and Unix
A collection of formalized statements of conjectures in Lean.
A Minecraft clone made with pure HTML & CSS – no JavaScript.
Build production-ready applications in TypeScript
Weighs the soul of incoming HTTP requests to stop AI crawlers
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A Spotify Connect client that mostly Just Works™
Prolog puzzles for fun and profit (mostly fun)
A new way to see and navigate directory trees : https://dystroy.org/broot
Convert any git repository into an engaging podcast
Take control over your live stream video by running it yourself. Streaming + chat out of the box.
A theory‑backed, ultra type‑safe algebraic effects
Zero-cost, compile-time, type-safe dependency injection library.
Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a compl…
Plugin to improve viewing Markdown files in Neovim
💥 Create key bindings that stick. WhichKey helps you remember your Neovim keymaps, by showing available keybindings in a popup as you type.
A statically-typed, functional typesetting system
Collection of decent Community-made GRUB themes. Contributions welcome!