Skip to content
View dodgez's full-sized avatar
5 followers · 1 following

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Block or report dodgez

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • dodgez-dev Public

    Astro MIT License Updated Nov 17, 2024

  • dotfiles Public

    Lua Updated Nov 17, 2024

  • ai-threads Public

    TypeScript Updated Nov 16, 2024

  • dodgez Public

    Config files for my GitHub profile.

    config github-config
    Updated Oct 25, 2024

  • lean-math Public

    Learning Lean4 by proving theorems about Nat and Z

    Lean 1 MIT License Updated Oct 21, 2024

  • vortex Public template

    An opinionated web template

    TypeScript MIT License Updated Oct 14, 2024

  • trail-webcam Public

    Turn a webcam into a trail camera.

    Python MIT License Updated Aug 30, 2024

  • .config Public

    Emacs Lisp Updated Jul 23, 2024

  • .emacs.d Public

    Emacs configuration

    Emacs Lisp Updated Jul 23, 2024

  • dodgez-dev-cdk Public

    TypeScript MIT License Updated Oct 28, 2023

  • ddns Public

    Small Rust program for updating Google dynamic dns

    Rust MIT License Updated Apr 8, 2023

  • kit Public

    Forked from johnlindquist/kit

    Script Kit. Automate Anything.

    TypeScript MIT License Updated Mar 26, 2023

  • tupcc Public

    An interpreter for the tuple language

    JavaScript MIT License Updated Dec 30, 2022

  • docl Public

    An interpreter for do -- an assembly inspired programming language

    JavaScript MIT License Updated Dec 30, 2022

  • osdev Public

    An ongoing x86_64 kernel written in C

    C MIT License Updated Nov 9, 2022

  • rotary-media Public

    A basic rotary encoder volume control

    C++ MIT License Updated May 22, 2022

  • lisp-koans Public

    Forked from google/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 fea…

    Common Lisp Apache License 2.0 Updated May 7, 2022

  • lngr Public

    A lexing and parsing library

    JavaScript MIT License Updated Feb 11, 2022

  • screeps-code Public

    TypeScript MIT License Updated Jan 14, 2022

  • rackit Public

    A text editor written in Racket

    Racket MIT License Updated Oct 24, 2021

  • syntect-easy-ffi Public

    C Bindings for syntect easy module

    Rust MIT License Updated Oct 18, 2021

  • monads-talk Public

    Source and html files for a talk about functors, applicatives, and monads

    Python MIT License Updated Jun 6, 2021

  • redit Public

    A simple text editor written in rust

    Rust MIT License Updated Apr 3, 2021

  • termconfig Public

    Cross-platform terminal helper library in Racket

    Racket 1 Other Updated Jan 25, 2021

  • arduino-remote-input Public

    Code for an Arduino to send input to a computer.

    Python MIT License Updated Jan 13, 2021

  • ts-monads Public

    Monads in TypeScript

    TypeScript MIT License Updated Oct 2, 2020

  • snappy Public

    A distributed version control system

    Rust MIT License Updated Jun 25, 2020

  • git-intro Public

    An introduction to Git

    2 MIT License Updated Jan 23, 2020

  • licp Public

    C MIT License Updated Dec 19, 2019

  • parce Public

    C MIT License Updated Dec 11, 2019