Pinned Repositories
AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
agda
Agda is a dependently typed programming language / interactive theorem prover.
Hecke.jl
Computational algebraic number theory
MrWriter
Notetaking and blackboard replacement application. Inspired by Xournal. Written in C++/Qt for Linux / Windows / Mac.
newm
Wayland compositor
niri-flake
flake for niri wayland compositor
nixos
nixosServer
Oscar.jl
pywm
Wayland compositor core employing wlroots - aims to handle the actual layout logic in python thereby enabling easily accessible wm concepts
AlexD97's Repositories
AlexD97/MrWriter
Notetaking and blackboard replacement application. Inspired by Xournal. Written in C++/Qt for Linux / Windows / Mac.
AlexD97/AbstractAlgebra.jl
Generic abstract algebra functionality in pure Julia (no C dependencies)
AlexD97/agda
Agda is a dependently typed programming language / interactive theorem prover.
AlexD97/Hecke.jl
Computational algebraic number theory
AlexD97/newm
Wayland compositor
AlexD97/niri-flake
flake for niri wayland compositor
AlexD97/nixos
AlexD97/nixosServer
AlexD97/Oscar.jl
AlexD97/pywm
Wayland compositor core employing wlroots - aims to handle the actual layout logic in python thereby enabling easily accessible wm concepts
AlexD97/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
AlexD97/yet-another-keyboard-builder
An exact, client-side mechanical keyboard plate generator