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,233 1,125 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,619 69 Updated Aug 18, 2024

a classy font

1,119 112 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 107 9 Updated Mar 5, 2025

Pure-Python Git implementation

Python 2,099 406 Updated Mar 5, 2025

Rust / Wasm framework for creating reliable and efficient web applications

Rust 31,282 1,436 Updated Mar 4, 2025

A Rust framework for creating web apps

Rust 3,823 156 Updated Jan 11, 2025

A tiling window manager for macOS based on binary space partitioning

C 25,118 663 Updated Mar 1, 2025

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

C 18,816 40,756 Updated Mar 4, 2025

Automatic tiling window manager for macOS à la xmonad.

Swift 15,142 489 Updated Feb 11, 2025

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

Swift 26,564 810 Updated Feb 10, 2025

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

Lean 1,662 294 Updated Jun 28, 2024

A fast and flexible keyboard launcher

C++ 7,427 314 Updated Mar 5, 2025

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

Haskell 2,771 378 Updated Mar 5, 2025

An 8-bit minicomputer with a fully custom architecture

C 1,339 94 Updated Jun 5, 2022

Rust bindings for the Python interpreter

Rust 13,146 804 Updated Mar 4, 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,921 671 Updated Mar 3, 2025

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

Python 12,503 405 Updated Mar 2, 2025

Stabilizer: Rigorous Performance Evaluation

Prolog 570 46 Updated Sep 29, 2021

Project management tool for Emacs

Emacs Lisp 1,290 150 Updated Sep 13, 2024

Emacs Lisp Static Analyzer and gradual type system.

Emacs Lisp 653 27 Updated May 9, 2024

Static analyzer and linter for Clojure code that sparks joy

Clojure 1,748 292 Updated Feb 28, 2025

The Stump Window Manager

Common Lisp 1,940 268 Updated Feb 8, 2025

Emacs X Window Manager

2,848 133 Updated Feb 5, 2024

fast, friendly searching with ripgrep and Emacs

Emacs Lisp 739 47 Updated Dec 10, 2024
Next