Daniel Kahlenberg's repositories

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:1Issues:0

cmp-nixpkgs

two nvim-cmp sources for nixpkgs

Language:LuaLicense:MITStargazers:1Issues:1Issues:0

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

AudioDeviceCmdlets

AudioDeviceCmdlets is a suite of PowerShell Cmdlets to control audio devices on Windows

Language:C#License:MITStargazers:0Issues:1Issues:0

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Language:NixLicense:Apache-2.0Stargazers:0Issues:1Issues:0

hunt-rs

Simplified Find command made with Rust.

Language:RustStargazers:0Issues:1Issues:0

komet

Komet is a computer music / sound system by Mads Kjeldgaard

Language:SuperColliderLicense:NOASSERTIONStargazers:0Issues:1Issues:0

mico

Matchbox sized 14 bit midi controller based on the Raspberry Pi Pico

Language:G-codeLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nbe-in-java-19

a throwaway implementation of normalization by evaluation

Language:JavaStargazers:0Issues:1Issues:0

NickelClock

Show time while reading on Kobo ereaders.

Language:C++License:MITStargazers:0Issues:1Issues:0

nil

Language Server for Nix Expression Language

Language:RustLicense:Apache-2.0Stargazers:0Issues:1Issues:0

nix-appimage

(experimental) Convert a nixos derivation into a self-contained binary

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nix-compile-for-android

testbed to build binaries for android with Nix

Language:NixStargazers:0Issues:1Issues:0

nix-config

:space_invader: NixOS configuration

Language:NixLicense:Apache-2.0Stargazers:0Issues:1Issues:0

nix-harden-needed

Bubble up the correct paths to your shared object libraries in Nix

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nix-runner

Tidy shell shebangs with nix flakes

Language:NixLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

nixos-openvz

NixOS on OpenVZ 7

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nixpacks

App source + Nix packages + Docker = Image

Language:RustLicense:MITStargazers:0Issues:1Issues:0

nvim-osc52

A Neovim plugin to copy text through SSH with OSC52

Language:LuaLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0

ondim

Multitype expansions for easy templating

Language:HaskellStargazers:0Issues:1Issues:0
Language:NixStargazers:0Issues:1Issues:0

piano-trainer

🎹 Memorize piano scales with ease! A music practice program w/ MIDI support. Consider it an interactive reference manual

Language:TypeScriptLicense:MITStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

riff

Riff automatically provides external dependencies for Rust projects, with support for other languages coming soon.

Language:RustLicense:MPL-2.0Stargazers:0Issues:1Issues:0

RUNME.sh

RUNME.sh is a tiny toolkit for creating bash cli utilities fast, simple and easy.

Language:ShellLicense:MITStargazers:0Issues:1Issues:0

shrinkwrap

A tool that embosses the needed dependencies on the top level executable

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

test-nix-haskell

Trying to bulid a Haskell project with some dependencies

Language:NixStargazers:0Issues:1Issues:0
Language:ShellStargazers:0Issues:1Issues:0

tlscr

A Tiny Little Web Scraper

License:NOASSERTIONStargazers:0Issues:0Issues:0

Zicross

Nix Flake for cross-compiling and packaging for foreign systems

Language:NixLicense:MITStargazers:0Issues:1Issues:0