Pinned Repositories
KidneyOS
Rust-based toy operating system
cache-flake-attrs
Use the GitHub Actions cache for Nix packages
cmp-fish
Fish shell completion source for nvim-cmp.
gh-foreach
Automatically clone and execute commands across multiple GitHub repositories.
iter
Package iter provides generic, lazy iterators, functions for producing them from primitive types, as well as functions and methods for transforming and consuming them.
lean4-protobuf
A WIP Protobuf package for Lean 4.
lf-exa-icons
A script to match lf's icons to exa's icons.
lott
An ott-like DSL embedded in Lean.
rustdesk-server-demo-docker
A dockerfile for the rustdesk demo server
tree-sitter-koka
Koka grammar for tree-sitter
mtoohey31's Repositories
mtoohey31/iter
Package iter provides generic, lazy iterators, functions for producing them from primitive types, as well as functions and methods for transforming and consuming them.
mtoohey31/cmp-fish
Fish shell completion source for nvim-cmp.
mtoohey31/tree-sitter-koka
Koka grammar for tree-sitter
mtoohey31/gleam2nix
gleam2nix provides an overlay for building Gleam projects.
mtoohey31/lean4-protobuf
A WIP Protobuf package for Lean 4.
mtoohey31/opt
Package opt provides a simple, generic option type.
mtoohey31/spaced
Command line, spaced repetition software using markdown.
mtoohey31/templates
My Nix flake templates.
mtoohey31/lott
An ott-like DSL embedded in Lean.
mtoohey31/mathematics_in_lean
My solutions for the Mathematics in Lean tutorial.
mtoohey31/nixexprs
My personal Nix expressions.
mtoohey31/q
A terminal music player.
mtoohey31/starpath
A position-aware parser combinator library for OCaml with readable errors.
mtoohey31/anilist-behind
List the releasing shows that you're behind on according to AniList.
mtoohey31/dunix
dunix provides disk usage breakdowns for Nix store paths.
mtoohey31/helix
A post-modern modal text editor.
mtoohey31/json2lua
An SPA using the tree-sitter wasm binding that converts JSON to Lua objects, useful for Neovim configuration with init.lua.
mtoohey31/lean-race-condition-repro
mtoohey31/lean4
Lean 4 programming language and theorem prover
mtoohey31/mtoohey.com
My personal website.
mtoohey31/nixpkgs
Nix Packages collection & NixOS
mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
mtoohey31/re-cmp
A minimal webapp for testing different regex engines.
mtoohey31/taskmatter
A task management tool that stores tasks as markdown files with properties in their front-matter.
mtoohey31/terraform-provider-nix
A Terraform provider for Nix.
mtoohey31/textedit-merge
A library for sorting and merging text edits.
mtoohey31/tree-sitter-ld
Linker script grammar for tree-sitter
mtoohey31/uncommitted-go
A Go rewrite of brandon-rhodes/uncommitted.
mtoohey31/uncommitted-rs
A rust rewrite of brandon-rhodes/uncommitted.
mtoohey31/vimv2
vimv2 is vi-mv-2, not vim-v2.