lheckemann

lheckemann's Stars

• nothings/stb

  stb single-file public domain libraries for C/C++

  Language:C26.6k6228277.7k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix17.6k28141.2k13.8k

• vurtun/nuklear

  A single-header ANSI C gui library

  Language:C13.7k5486571.1k

• cryptpad/cryptpad

  Collaborative office suite, end-to-end encrypted and open-source.

  Language:JavaScript5.6k851.2k646

• dockcross/dockcross

  Cross compiling toolchains in Docker images

  Language:Shell3.3k66310405

• withoutboats/notty

  A new kind of terminal

  Language:Rust2.3k733541

• maralorn/nix-output-monitor

  Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

  Language:Haskell8561212925

• viskell/viskell

  Visual programming meets Haskell

  Language:Java681449229

• nix-community/robotnix

  Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu]

  Language:Nix6121311569

• chrisdone-archive/jl

  Functional sed for JSON

  Language:Haskell4749019

• pandaman64/serde-query

  Language:Rust307965

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26323327

• lgeek/okreader

  Free/libre software for Kobo ebook readers

  Language:Shell209232413

• telent/nixwrt

  This repo is dormant : NixWRT is being rewritten as Liminix

  Language:Nix20714911

• headcounter/shabitica

  Run your own self-hosted Habitica instance

  Language:Nix14913615

• cleverca22/nix-tests

  A scratchpad for small experimental things I am doing with Nix.

  Language:Nix1088222

• 1wilkens/rdm

  A toy display manager written in Rust. Inspired by Slim it aims to provide a simple and elegant login screen.

  Language:Rust56372

• ip1981/nixsap

  Language:Nix397241

• typesanitizer/ozil

  Browsing man pages and help pages with zero friction.

  Language:Haskell352231

• ajs124/NixDroid

  building aosp roms (e.g. LineageOS) with nix. because why not?

  Language:Nix32841

• thefloweringash/kevin-nix

  NixOS for the Samsung Chromebook Plus (kevin)

  Language:Nix30732

• AndInTheClouds/chordreader2

  Search for, display, transpose and save chords on your phone, that you get from the interwebs. :notes:

  Language:Java292317

• Mic92/nix-sysdig

  Wrapper to debug sysdig builds

  Language:Python1450

• bgamari/esp32.nix

  A convenient environment for developing with the ESP-32 on NixOS

  Language:Nix10501

• kelgar/Kelgar

  open-world, first person, cross-platform, open-source RPG -

  Language:C9

• samueldr/eink-friendly-launcher

  Language:Vala8100

• emccorson/battle

  JavaScript battle game written in Idris

  Language:Idris6301

• bartvbl/OpenRR

  A remake attempt of some old insignificant game

  Language:Java3300

• lgeek/linux-okreader

  Linux kernel source tree

  Language:C2301

• umazalakain/snorkels-hs

  Haskell implementation of Snorkels, a two person strategy board game

  Language:Haskell241