-
-
-
niri-flake Public
Forked from sodiboo/niri-flakeflake for niri wayland compositor
Nix UpdatedJan 18, 2024 -
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedDec 8, 2023 -
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedNov 12, 2023 -
-
-
Hecke.jl Public
Forked from thofma/Hecke.jlComputational algebraic number theory
Julia BSD 2-Clause "Simplified" License UpdatedAug 11, 2022 -
pywm Public
Forked from jbuchermn/pywmWayland compositor core employing wlroots - aims to handle the actual layout logic in python thereby enabling easily accessible wm concepts
C UpdatedJul 30, 2022 -
yet-another-keyboard-builder Public
Forked from ai03-2725/yet-another-keyboard-builderAn exact, client-side mechanical keyboard plate generator
JavaScript GNU Affero General Public License v3.0 UpdatedJul 6, 2022 -
AbstractAlgebra.jl Public
Forked from Nemocas/AbstractAlgebra.jlGeneric abstract algebra functionality in pure Julia (no C dependencies)
Julia Other UpdatedNov 19, 2019 -
MrWriter Public
Forked from unruhschuh/MrWriterNotetaking and blackboard replacement application. Inspired by Xournal. Written in C++/Qt for Linux / Windows / Mac.