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 620 53 Updated Nov 13, 2025

Interactively browse dependency graphs of Nix derivations.

Haskell 937 17 Updated Nov 1, 2025

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

HTML 197,620 24,623 Updated Aug 23, 2025

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

Jupyter Notebook 4,305 1,123 Updated Jan 1, 2025

🔥 Feature-rich interactive Jira command line.

Go 4,821 293 Updated Nov 7, 2025

Personal nixos and home-manager configurations.

Nix 1,145 54 Updated Nov 11, 2025

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

Nix 3,434 168 Updated Sep 7, 2024

unimpaired.vim: Pairs of handy bracket mappings

Vim Script 3,424 206 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 9,959 621 Updated Oct 14, 2025

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 305 50 Updated Nov 9, 2025

High-powered REPL for Haskell, inspired by IPython

Haskell 338 6 Updated Oct 8, 2023

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

Python 5 2 Updated Mar 7, 2023

A Python module for decorators, wrappers and monkey patching.

Python 2,232 242 Updated Nov 7, 2025

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

Shell 67 32 Updated Apr 22, 2019

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

Shell 2,391 128 Updated Nov 10, 2025

📜 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,389 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 671 350 Updated Nov 11, 2025

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

Python 882 54 Updated Sep 2, 2025

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

Rust 3,309 210 Updated Nov 13, 2025

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

Rust 830 25 Updated Apr 19, 2025

Toggle zoom in / out individual windows (splits)

Vim Script 246 16 Updated Jan 24, 2023

Official documentation for getting things done with Nix.

Nix 3,416 302 Updated Nov 11, 2025

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 878 28 Updated Mar 19, 2025

automagical shell alias completion;

Shell 796 77 Updated Jun 29, 2022

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

Python 3 1 Updated Nov 9, 2021
Next