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.
gleam2nix
gleam2nix provides an overlay for building Gleam projects.
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.
lott
An ott-like DSL embedded in Lean.
rustdesk-server-demo-docker
A dockerfile for the rustdesk demo server
starpath
A position-aware parser combinator library for OCaml with readable errors.
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/lean4-protobuf
A WIP Protobuf package for Lean 4.
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/adventofcode2024
mtoohey31/gickup
mtoohey31/go-evercrypt
A Go wrapper for EverCrypt.
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/lean4-assignops
Additional assignment operators for Lean 4's do syntax.
mtoohey31/mtoohey.com
My personal website.
mtoohey31/nixpkgs
Nix Packages collection & NixOS
mtoohey31/Pensieve
This repository provides Pensieve, a security evaluation framework for microarchitectural defenses against speculative execution attacks.
mtoohey31/ppx_cmd
Declarative command line parsing for OCaml with `@@deriving`.
mtoohey31/prometheus-healthchecks
A small service to connect Prometheus to Healthchecks.io.
mtoohey31/re-cmp
A minimal webapp for testing different regex engines.
mtoohey31/StyLua
An opinionated Lua code formatter
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/uncommitted-go
A Go rewrite of brandon-rhodes/uncommitted.
mtoohey31/vimv2
vimv2 is vi-mv-2, not vim-v2.