Pinned Repositories
advent2020
Advent of Code 2020
dvonn
A Haskell implementation of the board game Dvonn
emacs-mac
fork of Mituharu Yamamoto's emacs-mac port
gibbon.el
Generate movement & editing bindings based on custom syntax definitions using tree-sitter
hl-todo
Highlight TODO keywords
hybrid-sectypes
A security typechecker for hybrid systems represented as EFSMs
processor-trace
libipt - an Intel(R) Processor Trace decoder library
project-manager.el
Extensions to project.el
servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
reaffirm
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
gautammohan's Repositories
gautammohan/hybrid-sectypes
A security typechecker for hybrid systems represented as EFSMs
gautammohan/project-manager.el
Extensions to project.el
gautammohan/advent2020
Advent of Code 2020
gautammohan/dvonn
A Haskell implementation of the board game Dvonn
gautammohan/emacs-mac
fork of Mituharu Yamamoto's emacs-mac port
gautammohan/gibbon.el
Generate movement & editing bindings based on custom syntax definitions using tree-sitter
gautammohan/hl-todo
Highlight TODO keywords
gautammohan/processor-trace
libipt - an Intel(R) Processor Trace decoder library
gautammohan/servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
gautammohan/homebrew-emacsmacport
Emacs mac port formulae for the Homebrew package manager
gautammohan/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
gautammohan/nano-modeline
GNU Emacs / N Λ N O Modeline
gautammohan/propcheck
Quickcheck/hypothesis style testing for elisp
gautammohan/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
gautammohan/StardewValleyMods
New home for my stardew valley mod source code