Skip to content
View f-koehler's full-sized avatar

Block or report f-koehler

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

Next-gen fast plotting library running on WGPU using the pygfx rendering engine

Python 1,006 42 Updated Mar 11, 2025

This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."

MATLAB 7,106 740 Updated Mar 11, 2025

A markdown terminal slideshow tool

Rust 4,491 95 Updated Mar 12, 2025

CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.

Nim 884 12 Updated Mar 12, 2025

Learn Low Level Design (LLD) and prepare for interviews using free resources.

C++ 12,360 3,008 Updated Mar 9, 2025

NGINX configuration static analyzer

Python 821 14 Updated Mar 2, 2025

A neovim lua plugin to help easily manage multiple terminal windows

Lua 4,716 184 Updated Mar 9, 2025

Neovim plugin to manage the file system and other tree like structures.

Lua 4,305 245 Updated Mar 11, 2025

An extremely fast LaTeX formatter written in Rust

Rust 433 26 Updated Feb 10, 2025

Source code spell checker

Rust 2,971 123 Updated Mar 10, 2025

check code for common misspellings

Python 2,046 485 Updated Mar 11, 2025

Lightweight yet powerful formatter plugin for Neovim

Lua 3,745 194 Updated Mar 5, 2025

Typer, build great CLIs. Easy to code. Based on Python type hints.

Python 16,590 714 Updated Mar 10, 2025

arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv

Python 5,938 350 Updated Jul 21, 2024

Universal Wayland Session Manager

Python 516 19 Updated Mar 9, 2025

isd (interactive systemd) – a better way to work with systemd units

Python 1,490 15 Updated Feb 24, 2025

A self-hostable bookmark-everything app (links, notes and images) with AI-based automatic tagging and full text search

TypeScript 13,855 526 Updated Mar 12, 2025

Lightweight server monitoring hub with historical data, docker stats, and alerts.

Go 9,767 284 Updated Mar 12, 2025

A general purpose application launcher for X and wayland inspired by rofi/wofi and alfred

Rust 602 26 Updated Feb 14, 2025

A library for controlling sway through its IPC interface

Rust 94 29 Updated Mar 6, 2025

blazing fast implicit surface evaluation

Rust 294 20 Updated Mar 9, 2025

Expressive Vector Engine - SIMD in C++ Goes Brrrr

C++ 1,161 61 Updated Mar 11, 2025

A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

Nix 1,030 103 Updated Mar 9, 2025

Optimise Linux system performance on demand

C 5,062 193 Updated Feb 24, 2025

A Vulkan and OpenGL overlay for monitoring FPS, temperatures, CPU/GPU load and more. Discord: https://discordapp.com/invite/Gj5YmBb

C 6,937 314 Updated Mar 12, 2025

derive(Error) for struct and enum error types

Rust 4,788 170 Updated Mar 3, 2025

Flexible concrete Error type built on std::error::Error

Rust 5,797 150 Updated Mar 3, 2025

A WebGPU-accelerated ONNX inference run-time written 100% in Rust, ready for native and the web

Rust 1,709 61 Updated Jul 21, 2024

A topic-centric list of HQ open datasets.

62,323 10,041 Updated Nov 13, 2024

Mold: A Modern Linker 🦠

C++ 14,944 492 Updated Mar 12, 2025
Next