Pinned Repositories
.config
.emacs.d
Emacs configuration
ai-threads
dodgez-dev
dodgez-dev-cdk
git-intro
An introduction to Git
lean-math
Learning Lean4 by proving theorems about Nat and Z
redit
A simple text editor written in rust
snappy
A distributed version control system
termconfig
Cross-platform terminal helper library in Racket
dodgez's Repositories
dodgez/lean-math
Learning Lean4 by proving theorems about Nat and Z
dodgez/osdev
An ongoing x86_64 kernel written in C
dodgez/termconfig
Cross-platform terminal helper library in Racket
dodgez/.config
dodgez/.emacs.d
Emacs configuration
dodgez/ai-threads
dodgez/arduino-remote-input
Code for an Arduino to send input to a computer.
dodgez/ddns
Small Rust program for updating Google dynamic dns
dodgez/docl
An interpreter for do -- an assembly inspired programming language
dodgez/dodgez
Config files for my GitHub profile.
dodgez/dodgez-dev
dodgez/dodgez-dev-cdk
dodgez/git-intro
An introduction to Git
dodgez/lngr
A lexing and parsing library
dodgez/redit
A simple text editor written in rust
dodgez/snappy
A distributed version control system
dodgez/dotfiles
dodgez/kit
Script Kit. Automate Anything.
dodgez/licp
dodgez/lisp-koans
Common Lisp Koans is a language learning exercise in the same vein as the ruby koans, python koans and others. It is a port of the prior koans with some modifications to highlight lisp-specific features. Structured as ordered groups of broken unit tests, the project guides the learner progressively through many Common Lisp language features.
dodgez/monads-talk
Source and html files for a talk about functors, applicatives, and monads
dodgez/parce
dodgez/rackit
A text editor written in Racket
dodgez/rotary-media
A basic rotary encoder volume control
dodgez/screeps-code
dodgez/syntect-easy-ffi
C Bindings for syntect easy module
dodgez/trail-webcam
Turn a webcam into a trail camera.
dodgez/ts-monads
Monads in TypeScript
dodgez/tupcc
An interpreter for the tuple language
dodgez/vortex
An opinionated web template