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
179 results for source starred repositories
Clear filter

Pattern Matcher Compatible with Optima

Common Lisp 332 22 Updated Sep 4, 2024

A primitive DNS server written in Rust for fun.

Rust 24 3 Updated Apr 30, 2024

a classy font

1,047 104 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 69 7 Updated Nov 10, 2020

📝 The Lecture Notes

TeX 84 6 Updated Sep 30, 2024

Pure-Python Git implementation

Python 2,048 392 Updated Sep 28, 2024

Rust / Wasm framework for creating reliable and efficient web applications

MDX 30,595 1,421 Updated Sep 29, 2024

A Rust framework for creating web apps

Rust 3,798 153 Updated Sep 3, 2023

A tiling window manager for macOS based on binary space partitioning

C 23,260 641 Updated Sep 26, 2024

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

C 18,072 38,834 Updated Sep 30, 2024

Automatic tiling window manager for macOS à la xmonad.

Swift 14,677 486 Updated Sep 20, 2024

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

Swift 25,700 767 Updated Sep 24, 2024

A fast and flexible keyboard launcher

C++ 7,210 304 Updated Sep 24, 2024

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

Haskell 2,656 355 Updated Sep 30, 2024

An 8-bit minicomputer with a fully custom architecture

C 1,295 90 Updated Jun 5, 2022

Rust bindings for the Python interpreter

Rust 12,050 744 Updated Sep 29, 2024

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

Reason 8,067 196 Updated Feb 13, 2022

get things from one computer to another, safely

Python 20,181 636 Updated Sep 29, 2024

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

Python 11,615 387 Updated Sep 20, 2024

Stabilizer: Rigorous Performance Evaluation

Prolog 554 45 Updated Sep 29, 2021

Project management tool for Emacs

Emacs Lisp 1,274 147 Updated Sep 13, 2024

Emacs Lisp Static Analyzer and gradual type system.

Emacs Lisp 643 27 Updated May 9, 2024

Static analyzer and linter for Clojure code that sparks joy

Clojure 1,697 292 Updated Sep 29, 2024

The Stump Window Manager

Common Lisp 1,898 266 Updated Sep 27, 2024

Emacs X Window Manager

2,846 136 Updated Feb 5, 2024

fast, friendly searching with ripgrep and Emacs

Emacs Lisp 715 46 Updated Jul 1, 2024

An operating system written in Common Lisp

Common Lisp 3,540 187 Updated Jul 13, 2024

Deft for Emacs

Emacs Lisp 713 87 Updated May 24, 2024

Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

CSS 2,196 431 Updated Sep 27, 2024
Next