Lists (2)
Sort Last updated
Stars
Straightforward and pure Lua based Neovim configuration for my work as DevOps/Cloud Engineer with batteries included for Python, Golang, and, of course, YAML
[MIRRORED from 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: