Skip to content
View jtmcx's full-sized avatar
5 followers · 10 following
  • New York

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report jtmcx

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

  • emacs.d Public

    ~/.emacs.d

    Emacs Lisp BSD Zero Clause License Updated May 12, 2024

  • wacc Public

    Implementation of the C compiler from the book 'Writing a C Compiler' by Nora Sandler

    OCaml ISC License Updated May 4, 2024

  • writing-a-c-compiler-tests Public

    Forked from nlsandler/writing-a-c-compiler-tests

    Test cases for Writing a C Compiler

    C Other Updated May 1, 2024

  • rope Public

    An implementation of a rope data structure in C, with a minimal ed-like shell. Currently lacks features, especially in the shell.

    C 2 Updated Apr 25, 2024

  • verilog-monitor Public

    Stream farbfeld images to a monitor using an FPGA

    Verilog 1 ISC License Updated Apr 7, 2024

  • stt Public

    A toy programming language that uses set-theoretic types

    Haskell ISC License Updated Mar 20, 2024

  • jtmcx Public

    README for GitHub

    Updated Mar 4, 2024

  • tapl-lprolog Public

    λProlog translations of programming languages from the book "Types and Programming Languages"

    Prolog Updated Mar 4, 2024

  • mltt-church-rosser Public

    Coq Proof of the Church-Rosser Theorem for Martin-Löf's Type Theory

    Coq 1 Updated Feb 27, 2024

  • wgldap Public

    OpenBSD utility to pull wireguard configurations from LDAP

    C ISC License Updated Feb 7, 2024

  • gamecube-usb Public

    USB adapter for GameCube controllers

    C++ ISC License Updated Feb 7, 2024

  • c-lambda-calculus Public

    The untyped lambda calculus, in C

    C ISC License Updated Feb 7, 2024

  • gameboy-chip8 Public

    CHIP-8 running on the gameboy

    Assembly ISC License Updated Feb 7, 2024

  • gameboy-of-life Public

    Conway's Game of Life on the Gameboy

    Assembly ISC License Updated Feb 7, 2024

  • whitenoise Public

    Generate infinite white noise using sndio

    C ISC License Updated Feb 7, 2024

  • alpaca-rs Public archive

    An (unfinished) rust API for alpaca.markets

    Rust ISC License Updated Feb 7, 2024

  • ordered-dithering Public

    A simple farbfeld dithering filter.

    C ISC License Updated Feb 6, 2024

  • moody Public

    Forked from tarsius/moody

    Fork of moody with support for solaire-mode

    Emacs Lisp GNU General Public License v3.0 Updated Feb 3, 2024

  • PG Public

    Forked from ProofGeneral/PG

    Fork of Proof General with extra language support

    Emacs Lisp GNU General Public License v3.0 Updated Dec 28, 2023

  • void-packages Public

    Forked from void-linux/void-packages

    The Void source packages collection

    Shell Other Updated Dec 6, 2022

  • laf Public

    Forked from aseprite/laf

    A C++ library to create desktop applications

    C++ MIT License Updated May 17, 2022

  • alectryon Public

    Forked from cpitclaudel/alectryon

    A collection of tools for writing technical documents that mix Coq code and prose.

    HTML MIT License Updated Apr 6, 2022

  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated Mar 8, 2022

  • tlc Public

    Forked from charguer/tlc

    Library for Classical Coq

    Coq Other Updated Aug 2, 2021

  • coq-record-update Public

    Forked from tchajed/coq-record-update

    Library to create Coq record update functions

    Coq MIT License Updated Jun 29, 2021

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated May 28, 2020