Pinned Repositories
.rc
cncurses
Replacement GDBtui
cstring
the only useful thing here
hejohns-vim
hejohns.github.io
https://hejohns.github.io/
jetson-tk1
Notes for installing L4T on nvidia jetson tk1 (after many hours of testing/searching)
kiku
simos
sim(ple)os- Simple RR context switching project for ATmega2560, heavily based on Henriksson and Cervin's TinyRealTime (https://people.ece.cornell.edu/land/courses/ece4760/RTOS/TinyRealTime.pdf). Uses Arduino lib for Serial class. Otherwise, style is C not C++
simos2
sim(ple)os- Simple RR context switching project for ATmega2560, heavily based on Henriksson and Cervin's TinyRealTime (https://people.ece.cornell.edu/land/courses/ece4760/RTOS/TinyRealTime.pdf).
the-second-pass-of-the-portable-c-compiler
hejohns's Repositories
hejohns/hejohns-vim
hejohns/hejohns.github.io
https://hejohns.github.io/
hejohns/the-second-pass-of-the-portable-c-compiler
hejohns/.rc
hejohns/foodd
cause foo was already taken by foo daemon...
hejohns/hazel
Hazel, a live functional programming environment with typed holes
hejohns/gradescope-utils
hejohns/hazel-etc
hejohns/hexournal
hejohns/horimiya
This is beyond funny so I thought I'd throw it up onto github. tldr: assignment for art history; uses beamer (latex) for a horrible "interactive" image.
hejohns/jaseci-ginS
hejohns/jekyll-nix-test
hejohns/jekyll-test
hejohns/learning-haskell
hejohns/mangadex-dl
Download manga from MangaDex.org.
hejohns/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
hejohns/multi-poly-cats
Multicategories (someday Polycategories?) in Cubical Agda
hejohns/myHazelNotes
hejohns/nix-foo
learning how to use nix (flakes)
hejohns/nix-foo-one
hejohns/nix-foo-two
hejohns/notes
hejohns/pdf.js
PDF Reader in JavaScript
hejohns/pfenning-davies
hejohns/phi
Proposals for Hazel Improvements (PHIs)
hejohns/reviews
hejohns/short-stories
hejohns/systemp
hejohns/vim
The official Vim repository
hejohns/xmmtw
xournal-- throwaway (for testing the waters w/ gtk4)