hejohns

Pinned Repositories

.rc
Language:TeX00
cncurses
Replacement GDBtui
Language:C00
cstring
the only useful thing here
Language:C00
hejohns-vim
Language:Vim Script10
hejohns.github.io
https://hejohns.github.io/
Language:HTML10
jetson-tk1
Notes for installing L4T on nvidia jetson tk1 (after many hours of testing/searching)
20
kiku
Language:C00
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++
Language:C++10
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).
Language:C10
the-second-pass-of-the-portable-c-compiler
10

hejohns's Repositories

hejohns/hejohns-vim
Language:Vim Script10
hejohns/hejohns.github.io
https://hejohns.github.io/
Language:HTML10
hejohns/the-second-pass-of-the-portable-c-compiler
10
hejohns/.rc
Language:TeX00
hejohns/cstring
the only useful thing here
Language:C00
hejohns/foodd
cause foo was already taken by foo daemon...
00
hejohns/hazel
Hazel, a live functional programming environment with typed holes
Language:Reason0 0 00
hejohns/gradescope-utils
Language:Perl
hejohns/hazel-etc
Language:TeX
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.
Language:TeX
hejohns/jekyll-nix-test
Language:Nix
hejohns/jekyll-test
Language:Ruby
hejohns/learning-haskell
Language:C
hejohns/mangadex-dl
Download manga from MangaDex.org.
Language:Python
hejohns/MGS-categorical-realizability
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
Language:TeX
hejohns/multi-poly-cats
Multicategories (someday Polycategories?) in Cubical Agda
Language:Agda
hejohns/myHazelNotes
hejohns/nix-foo
learning how to use nix (flakes)
hejohns/nix-foo-one
Language:Nix
hejohns/nix-foo-two
Language:Nix
hejohns/notes
1 0
hejohns/pfenning-davies
Language:TeX
hejohns/phi
Proposals for Hazel Improvements (PHIs)
hejohns/reviews
Language:TeX
hejohns/short-stories
Language:TeX
hejohns/systemp
Language:Perl
hejohns/vim
The official Vim repository
Language:Vim Script
hejohns/xmmtw
xournal-- throwaway (for testing the waters w/ gtk4)
Language:Haskell1 0
hejohns/yui
yet another repo for things actually useful
Language:C1 0