Skip to content
View mkohler's full-sized avatar

Block or report mkohler

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Scan MCP servers for potential threats & security findings.

Python 742 74 Updated Jan 9, 2026

Interactively browse dependency graphs of Nix derivations.

Haskell 958 19 Updated Jan 6, 2026

🎓 Path to a free self-taught education in Computer Science!

HTML 200,028 24,885 Updated Jan 1, 2026

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more

Jupyter Notebook 4,349 1,140 Updated Jan 1, 2025

🔥 Feature-rich interactive Jira command line.

Go 4,945 311 Updated Dec 27, 2025

Personal nixos and home-manager configurations.

Nix 1,182 54 Updated Jan 1, 2026

Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!

Nix 3,524 169 Updated Nov 15, 2025

unimpaired.vim: Pairs of handy bracket mappings

Vim Script 3,436 208 Updated Aug 16, 2025

Gogh is a collection of color schemes for various terminal emulators, including Gnome Terminal, Pantheon Terminal, Tilix, and XFCE4 Terminal also compatible with iTerm on macOS.

Shell 10,031 624 Updated Dec 7, 2025

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 308 50 Updated Nov 9, 2025

High-powered REPL for Haskell, inspired by IPython

Haskell 339 6 Updated Oct 8, 2023

Saleae Logic 2 as a Nix package + automation + Xvfb + fixes

Python 6 2 Updated Mar 7, 2023

A Python module for decorators, wrappers and monkey patching.

Python 2,251 244 Updated Jan 1, 2026

Open-source library for CANopen. This library is designed to be used together with the SocketCAN Linux framework for CAN.

Shell 67 33 Updated Apr 22, 2019

A fast, persistent use_nix/use_flake implementation for direnv [maintainer=@Mic92 / @bbenne10]

Shell 2,480 131 Updated Jan 8, 2026

📜 Simple bash interpreter for easier Haskell scripting (via Nix)

Shell 5 1 Updated Sep 18, 2018

A Nix flake template for Home Manager configurations [maintainer=@lucperkins]

Nix 41 4 Updated Aug 24, 2023

The ultimate list of which programs support Vim-like keybindings natively, or how they can be added with extensions. A collaborative project.

Shell 2,447 72 Updated Nov 3, 2025

STM32Cube MCU Full Package for the STM32H7 series - (HAL + LL Drivers, CMSIS Core, CMSIS Device, MW libraries plus a set of Projects running on all boards provided by ST (Nucleo, Evaluation and Dis…

C 689 351 Updated Dec 8, 2025

Uncurled - everything I know and learned about running and maintaining Open Source projects for three decades.

Python 898 53 Updated Sep 2, 2025

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Rust 3,372 217 Updated Jan 9, 2026

Your project’s nix-env [maintainer=@Profpatsch,@nyarly]

Rust 838 25 Updated Apr 19, 2025

Toggle zoom in / out individual windows (splits)

Vim Script 246 15 Updated Jan 24, 2023

Official documentation for getting things done with Nix.

Nix 3,538 309 Updated Jan 10, 2026

Extend gx to use it beyond just URLs!

Vim Script 44 6 Updated Oct 5, 2023

Curated information about every package on Nix!

Python 24 1 Updated Nov 14, 2021

One file to configure them all!

Nix 4 Updated Jul 16, 2020

A blazingly fast, stunningly beautiful, exceptionally powerful git branch viewer for Vim/Neovim.

Vim Script 887 28 Updated Mar 19, 2025

automagical shell alias completion;

Shell 800 77 Updated Jun 29, 2022

Archived: Maintained in https://github.com/ngi-nix/ngipkgs

Python 3 1 Updated Nov 9, 2021
Next