Beast code in Giters

AlexD97's repositories

Notetaking and blackboard replacement application. Inspired by Xournal. Written in C++/Qt for Linux / Windows / Mac.

Language:C++GPL-3.014 4 4

Generic abstract algebra functionality in pure Julia (no C dependencies)

Language:JuliaNOASSERTION010

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION000

Computational algebraic number theory

Language:JuliaBSD-2-Clause000

Wayland compositor

Language:PythonMIT000

flake for niri wayland compositor

Language:Nix000

Language:Nix000

Language:Julia010

Language:JuliaNOASSERTION010

Wayland compositor core employing wlroots - aims to handle the actual layout logic in python thereby enabling easily accessible wm concepts

Language:C000

Open-source keyboard firmware for Atmel AVR and Arm USB families

Language:CGPL-2.0000

An exact, client-side mechanical keyboard plate generator

Language:JavaScriptAGPL-3.0000