Lists (1)
Stars
Control the mouse pointer with the keyboard on Wayland.
Output management utility for sway and Hyprland.
Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
ading2210 / doompdf
Forked from ozkl/doomgenericA port of Doom (1993) that runs inside a PDF file
An extremely fast LaTeX formatter written in Rust
My take on writing 'Ray Tracing in One Weekend' with Haskell
Hyprshot is an utility to easily take screenshots in Hyprland using your mouse.
A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) and the proof by Nagele-van Oostrom-Sternagel (2016); reuses t…
A collection of handy Bash One-Liners and terminal tricks for data processing and Linux system maintenance.
Improve keyboard comfort and usability with advanced customization
Lecture "DB2" Summer 2024 (University of Tübingen)
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Public bug tracker for SE Dashboard
🦆 A curated list of awesome DuckDB resources
High performance self-hosted photo and video management solution.
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A tool to detect when your YubiKey is waiting for a touch (to send notification or display a visual indicator on the screen)
A new markup-based typesetting system that is powerful and easy to learn.