Pinned Repositories
dlms-cosem-rs
dpll-solver
elm-css
Typed CSS in Elm.
leifhelm's Repositories
leifhelm/kaleidoscope
Kaleidoscope compiler written in Rust
leifhelm/dlms-cosem-rs
leifhelm/dpll-solver
leifhelm/elm-css
Typed CSS in Elm.
leifhelm/fontface-loader
Font-face loader for webpack. Just require a .ttf file (WIP)
leifhelm/general.el
More convenient key definitions in emacs
leifhelm/Halide
a language for fast, portable data-parallel computation
leifhelm/haskell.nix
Alternative Haskell Infrastructure for Nixpkgs
leifhelm/hasql-th
Template Haskell utilities for Hasql
leifhelm/hdlcparse
leifhelm/home-manager
Manage a user environment using Nix [maintainer=@rycee]
leifhelm/inkwell
It's a New Kind of Wrapper for Exposing LLVM (Safely)
leifhelm/manual
The Mixxx Manual
leifhelm/mbusparse
leifhelm/meter2car
leifhelm/mibu
Pure Zig library for low-level terminal manipulation.
leifhelm/mixxx
Mixxx is Free DJ software that gives you everything you need to perform live mixes.
leifhelm/nixos-hardware
A collection of NixOS modules covering hardware quirks.
leifhelm/nixpkgs
Nix Packages collection
leifhelm/polychromatic
RGB lighting management front-end application for GNU/Linux. Powered by OpenRazer (but soon to be vendor agnostic)
leifhelm/Primes
Prime Number Projects in C#/C++/Python
leifhelm/rust-nom-unicode
Unicode extensions for Nom.
leifhelm/slp-a2-test
leifhelm/smart-meter-rs
leifhelm/tuber
tube.tugraz.at downloader
leifhelm/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
leifhelm/zim-text-extractor
leifhelm/ztyper