Quoteme

Luca Leon Happel's starred repositories

Microsoft-Activation-Scripts

A Windows and Office activator using HWID / Ohook / KMS38 / Online KMS activation methods, with a focus on open-source code and fewer antivirus detections.

Language:BatchfileGPL-3.093463 947 383

nushell

A new type of shell

Language:RustMIT31597 189 5632

The-Art-of-Linear-Algebra

Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

Language:PostScriptCC0-1.017545 146 14

Graphite

2D vector & raster editor that melds traditional layers & tools with a modern node-based, non-destructive, procedural workflow.

Language:RustApache-2.07664 64 799

home-manager

Manage a user environment using Nix [maintainer=@rycee]

Language:NixMIT6628 53 2205

glazewm

GlazeWM is a tiling window manager for Windows inspired by i3wm.

Language:RustGPL-3.04827 35 398

libinput-gestures

Actions gestures on your touchpad using libinput

Language:Python3891 64 317

blazingmq

A modern high-performance open source message queuing system

Language:C++Apache-2.02527 26 61

bismuth

KDE Plasma add-on, that tiles your windows automatically and lets you manage them via keyboard, similarly to i3, Sway or dwm.

Language:TypeScriptNOASSERTION2412 21 297

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellISC2365 67 1369

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

Language:LeanApache-2.01668 52 362

swayfx

SwayFX: Sway, but with eye candy!

Language:CMIT1289 17 204

jerboa

A native android app for Lemmy

Language:KotlinAGPL-3.01123 7 808

polonium

Autotile manager for Plasma 6

Language:TypeScriptMIT914 10 152

nix-ld

Run unpatched dynamic binaries on NixOS

Language:RustMIT828 18 30

liftoff

🐒 A mobile client for lemmy

Language:DartGPL-2.0526 7 358

config

One Nix flake to rule them all.

Language:NixNOASSERTION356 12 15

vx_bevy

🧊 Voxel engine prototype made with the bevy game engine. Serves as a playground for experimenting with voxels, terrain generation, and bevy.

Language:RustMIT277 13 13

nix-tts

🐤 Nix-TTS: Lightweight and End-to-end Text-to-Speech via Module-wise Distillation

Language:PythonMIT233 9 18

nix-devcontainer

Swiss army knife container for vscode development environments

Language:GoMIT225 5 13

loogle

Mathlib search tool

Language:LeanApache-2.058 5 15

hout-prover

A non-interactive proof assistant using the Haskell type system

Language:HaskellBSD-3-Clause35 40

flutter_wlroots

Wayland compositor embedder and library for Flutter. Built with Wlroots.

Language:CMIT31 4 11

OpenEDC

Electronic data capture (EDC) system for medical research that runs in the browser and is based on the CDISC ODM-XML format.

Language:JavaScriptMIT27 6 5

plugin-wingmenu

Wing Menu is an alternative menu plugin for lxqt-panel

Language:C++24 7 17

nixos-config

My personal NixOS flake

Language:Nix600

pulpmonad

My xmonad configuration

Language:HaskellBSD-3-Clause200

nix-shells

My collection of nix flake templates for various devShells

Language:NixGPL-2.0200

dotfiles-nixos

NixOS dotfiles

Language:Nix1 10

templates

Flake templates

Language:NixMIT1 10