Pinned Repositories
chil
Constructing Hardware in Lisp
shwatt
Simulating HardWare and Time Traveling
tcl2cl
Tcl2CL Transpiler
Dotfiles-hm
Dotfiles managed through home-manager
ece497
ECE 497 - Special Project Research
Emacs_dotfiles
gloa
Academic article managment with GNU Guile
linux-pcie-dma
synnax
Package descriptions for Guix
transient-bib
An addition to Emacs' bibtex-mode, for providing transient keybindings
KarlJoad's Repositories
KarlJoad/synnax
Package descriptions for Guix
KarlJoad/Dotfiles-hm
Dotfiles managed through home-manager
KarlJoad/calyx
Intermediate Language (IL) for Hardware Accelerator Generators
KarlJoad/calyx-riscv
RISCV Core written in Calyx
KarlJoad/chil
Constructing Hardware in Lisp
KarlJoad/chilir
Chil Intermediate Representation (Pronouced like chiller)
KarlJoad/Emacs_dotfiles
KarlJoad/gloa
Academic article managment with GNU Guile
KarlJoad/NixOS_Dotfiles
KarlJoad/glorri
Lorri (https://github.com/nix-community/lorri), but in Guile for Guix
KarlJoad/guile-basexx
KarlJoad/guile-yaml
KarlJoad/guix
KarlJoad/home-manager
Manage a user environment using Nix [maintainer=@rycee]
KarlJoad/karljoad
https://karl.hallsby.com
KarlJoad/magit-todos
Show source files' TODOs (and FIXMEs, etc) in Magit status buffer
KarlJoad/mahogany
A stumpwm like Wayland compositor
KarlJoad/moonlander-keyboard
KarlJoad/nanopass-cl
KarlJoad/nixpkgs
Nix Packages collection
KarlJoad/nyxt-config
KarlJoad/opensbi
RISC-V Open Source Supervisor Binary Interface
KarlJoad/racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, and more.
KarlJoad/scala-ts-mode
A tree-sitter based Emacs major-mode for the Scala programming language
KarlJoad/stumpwm-config
KarlJoad/tcl2cl
Tcl2CL Transpiler
KarlJoad/tlaplus-mode
Emacs major-mode for TLA+ specifications, powered by tree-sitter
KarlJoad/tree-sitter-cclangs
tree-sitter grammars for NU CS 322 Compiler Construction
KarlJoad/u-boot
"Das U-Boot" Source Tree
KarlJoad/utterly-unorganized-latex-code
latex code from my first year of engineering.