LaTeX code for syntax highlighting the Racket programming language with the listings package.

A Library for Representing Recursive and Impure Programs in Coq

edb is a cross-platform AArch32/x86/x86-64 debugger.

A model of the WebAssembly language in Redex

Yet Another Coq Library on Machine Words.

Duo - A research language exploring duality in programming language design

LaTeX source for Sized Dependent Types via Extensional Type Theory

A post-modern modal text editor.

A lisp inspired functional programming language which compiles to WebAssembly

Rules for writing academic papers and checking them using LTex-ls and LanguageTool

Program synthesis for Ruby

A property-based testing library for Racket.

Quickcheck Clone implemented in Racket

CoqIDE-like experience for kakoune

rust reimplementation of http://maximecb.github.io/Turing-Drawings/

Index Typed WebAssembly - it works on all machines!

A new way to see and navigate directory trees : https://dystroy.org/broot

GitLab: https://gitlab.com/jD91mZM2/termplay

Dactyl-ManuForm, a parameterized ergonomic keyboard

A Rust compiler front-end for IDEs

unclutter your .profile

Your project's nix-env

A simple guide (and example of configuration) about how to install i3 & its and essentials packages, then make them look eye candy, also contains my dotfiles of Debian 12 (Bookworm) setup

Bayer demosaicing in OpenGL ES 2.0 shaders on Raspberry Pi

Keyboard backlight control and notifications for i3wm

Volume control and volume notifications

A UI for UBC CS/ECE's command-line "handin" program.

C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting