Skip to content
View gehrman's full-sized avatar

Organizations

@AcademicsForTheFutureOfScience

Block or report gehrman

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Writing an OS in Rust

HTML 16,267 1,127 Updated Feb 20, 2025

Pattern Matcher Compatible with Optima

Common Lisp 341 22 Updated Sep 4, 2024

A primitive DNS server written in Rust for fun.

Rust 25 3 Updated Feb 3, 2025

A legible monospace font... the very typeface you’ve been trained to recognize since childhood

Python 2,620 69 Updated Aug 18, 2024

a classy font

1,121 113 Updated Mar 27, 2023

CLESH a very short and simple program, written in Common Lisp, that extends Common Lisp to embed shell code in a manner similar to perl's backtick.

Common Lisp 70 7 Updated Nov 10, 2020

📝 The Lecture Notes

TeX 109 9 Updated Mar 5, 2025

Pure-Python Git implementation

Python 2,103 406 Updated Mar 10, 2025

Rust / Wasm framework for creating reliable and efficient web applications

Rust 31,341 1,437 Updated Mar 15, 2025

A Rust framework for creating web apps

Rust 3,823 154 Updated Jan 11, 2025

A tiling window manager for macOS based on binary space partitioning

C 25,224 664 Updated Mar 9, 2025

Open-source keyboard firmware for Atmel AVR and Arm USB families

C 18,872 40,879 Updated Mar 16, 2025

Automatic tiling window manager for macOS à la xmonad.

Swift 15,163 491 Updated Feb 11, 2025

Move and resize windows on macOS with keyboard shortcuts and snap areas

Swift 26,620 812 Updated Feb 10, 2025

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,664 294 Updated Jun 28, 2024

A fast and flexible keyboard launcher

C++ 7,438 313 Updated Mar 6, 2025

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Haskell 2,773 378 Updated Mar 17, 2025

An 8-bit minicomputer with a fully custom architecture

C 1,337 94 Updated Jun 5, 2022

Rust bindings for the Python interpreter

Rust 13,216 806 Updated Mar 13, 2025

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

Reason 8,065 197 Updated Feb 13, 2022

get things from one computer to another, safely

Python 20,966 669 Updated Mar 14, 2025

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

Python 12,524 406 Updated Mar 8, 2025

Stabilizer: Rigorous Performance Evaluation

Prolog 570 46 Updated Sep 29, 2021

Project management tool for Emacs

Emacs Lisp 1,293 150 Updated Sep 13, 2024

Emacs Lisp Static Analyzer and gradual type system.

Emacs Lisp 654 27 Updated Mar 16, 2025

Static analyzer and linter for Clojure code that sparks joy

Clojure 1,749 293 Updated Mar 14, 2025

The Stump Window Manager

Common Lisp 1,940 269 Updated Mar 15, 2025

Emacs X Window Manager

2,847 133 Updated Feb 5, 2024

fast, friendly searching with ripgrep and Emacs

Emacs Lisp 740 46 Updated Dec 10, 2024
Next