grahnen

PhD student at Uppsala University

Uppsala University

Pinned Repositories

cubical
An experimental library for Cubical Agda
Language:Agda454 26 242138
.emacs.d
Emacs config
Language:Emacs Lisp00
libtouch
Touch Gesture Library, created under the guidance of the Sway project.
Language:C13 2 23
minizinc-mode
Emacs mode for editing MiniZinc model file
Language:Emacs Lisp0 0 00
nano-symex
A tiny symbolic execution engine
Language:Scala00
Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Language:C++00
wine-ge-custom
My custom build of wine, made to use with lutris. Built with lutris's buildbot.
Language:Shell00
database-design-project
Project in Database Design
Language:TeX01

grahnen's Repositories

grahnen/libtouch
Touch Gesture Library, created under the guidance of the Sway project.
Language:C13 2 23
grahnen/.emacs.d
Emacs config
Language:Emacs Lisp00
grahnen/minizinc-mode
Emacs mode for editing MiniZinc model file
Language:Emacs Lisp0 0 00
grahnen/nano-symex
A tiny symbolic execution engine
Language:Scala00
grahnen/Waybar
Highly customizable Wayland bar for Sway and Wlroots based compositors. :v: :tada:
Language:C++00