Block or Report
Block or report trhopkins
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (2)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
[MIRRORED from http:https://git.elenq.tech/nvim-paredit-scheme/ ] Scheme extension for nvim-paredit
A Paredit implementation for Neovim, built using Treesitter and written in Lua.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Experiment on how to bootstrap the OCaml compiler
An interactive and powerful Git interface for Neovim, inspired by Magit
The missing handbook for NixOS beginners
Alternative unified APL keyboard layouts (AltGr, Backtick, Compositions)
Practice working with promises through a curated collection of interactive challenges. This repository provides a platform to refine your skills, complete with automated tests to to give you instan…
Simple and documented config templates to help you get started with NixOS + home-manager + flakes. All the boilerplate you need!
OpenTofu lets you declaratively manage your cloud infrastructure.
This repository contains vial-qmk firmware for the open hardware Overnumpad Controller, and for Unicomp's OEM Aristides 2862 controller.
Exercise files for my Pluralsight course
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
Resources for "The Little Typer" study group
nhc98 is a small, easy to install, standards-compliant compiler for Haskell 98, the lazy functional programming language.
All the ML code examples from the book "The Little MLer"
Proofs in Coq for the book Reflective Programs in Tree Calculus
A real-time bubble-stacking puzzle game:thinking:
My solutions to Advent of Code 2022 challenges:thinking:
A repository that holds a simple guide on how you can install and configure proprietary NVIDIA drivers for Arch Linux.