8000 mkohler (Mark Kohler) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

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

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

HTML 187,657 23,421 Updated Jul 5, 2025

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

Jupyter Notebook 4,187 1,097 Updated Jan 1, 2025

🔥 Feature-rich interactive Jira command line.

Go 4,512 260 Updated May 27, 2025

Personal nixos and home-manager configurations.

Nix 1,048 55 Updated Jul 3, 2025

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

Nix 3,218 163 Updated Sep 7, 2024

unimpaired.vim: Pairs of handy bracket mappings

Vim Script 3,404 206 Updated Sep 17, 2023

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,761 619 Updated Jun 9, 2025

Jupyter adaptation of Learn You a Haskell for Great Good!

Jupyter Notebook 302 48 Updated May 8, 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,150 239 Updated Jan 14, 2025

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

Shell 65 31 Updated Apr 22, 2019

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

Shell 2,231 118 Updated Jul 4, 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 36 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,222 65 Updated Jun 22, 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 616 332 Updated Jul 3, 2025

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

Python 876 53 Updated Jan 7, 2025

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

Rust 3,200 200 Updated Jul 5, 2025

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

Rust 799 25 Updated Apr 19, 2025

Toggle zoom in / out individual windows (splits)

Vim Script 241 16 Updated Jan 24, 2023

Official documentation for getting things done with Nix.

Nix 3,148 289 Updated Jul 2, 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 23 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 861 26 Updated Mar 19, 2025

automagical shell alias completion;

Shell 778 71 Updated Jun 29, 2022

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

Python 3 1 Updated Nov 9, 2021

Declarative Kiosk systems built with NixOS

Nix 159 12 Updated Mar 19, 2023
Next
0