8000 mkohler (Mark Kohler) / Starred · GitHub
[go: up one dir, main page]

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Skills for Real Engineers. Straight from my .agents directory.

Shell 318,351 26,644 Updated Nov 5, 2026

AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI

TypeScript 120,800 15,557 Updated Nov 8, 2026

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

Rust 439 11 Updated Nov 8, 2026

Scan MCP servers for potential threats & security findings.

Python 1,112 159 Updated Nov 6, 2026

Interactively browse dependency graphs of Nix derivations.

Haskell 1,089 22 Updated Nov 1, 2026

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

HTML 210,969 26,104 Updated Nov 7, 2026

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

Jupyter Notebook 4,531 1,153 Updated Jan 1, 2025

🔥 Feature-rich interactive Jira command line.

Go 6,065 431 Updated Oct 17, 2026

Personal monorepo. NixOS+home-manager configs, website, and other projects.

Nix 1,344 57 Updated Nov 7, 2026

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

Nix 3,852 172 Updated Apr 24, 2026

unimpaired.vim: Pairs of handy bracket mappings

Vim Script 3,462 205 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. (https://gogh-co.gi…

Shell 10,357 635 Updated Oct 23, 2026

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 309 51 Updated Nov 9, 2025

High-powered REPL for Haskell, inspired by IPython

Haskell 336 6 Updated Oct 8, 2023

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

Python 5 1 Updated Mar 7, 2023

A Python module for decorators, wrappers and monkey patching.

Python 2,315 266 Updated Nov 8, 2026

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

Shell 69 31 Updated Apr 22, 2019

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

Shell 2,817 150 Updated Nov 8, 2026

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

Shell 4 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,630 77 Updated Oct 10, 2026

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 778 368 Updated Sep 4, 2026

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

Python 918 52 Updated Sep 2, 2025

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

Rust 3,647 241 Updated Nov 6, 2026

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

Go 878 29 Updated Apr 29, 2026

Toggle zoom in / out individual windows (splits)

Vim Script 248 15 Updated Jan 24, 2023

Official documentation for getting things done with Nix.

Nix 4,045 345 Updated Nov 6, 2026

Extend gx to use it beyond just URLs!

Vim Script 45 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
Next
0