Skip to content
Change the repository type filter

All

    Repositories list

    • Dockerfile for Debian with basic utilities
      Dockerfile
      0000Updated Sep 4, 2024Sep 4, 2024
    • How to have a fully revised and controlled fontconfig setup
      0000Updated Aug 12, 2024Aug 12, 2024
    • ah

      Public
      Alternative Home directories via Linux Namespaces
      Shell
      GNU General Public License v3.0
      0000Updated May 16, 2024May 16, 2024
    • Windows guide for []: power users
      Shell
      1200Updated May 14, 2024May 14, 2024
    • Investigations around Kubernetes Pod Termination
      Python
      0000Updated Apr 24, 2024Apr 24, 2024
    • yaml2json

      Public
      YAML to/from JSON converter
      TypeScript
      0000Updated Mar 11, 2024Mar 11, 2024
    • bunny

      Public
      Bunny game rewrite mostly by ChatGPT-4
      JavaScript
      0000Updated Jul 16, 2023Jul 16, 2023
    • Haskell package shipping the standard time zone database & library to use with it
      Haskell
      Apache License 2.0
      131663Updated Apr 1, 2023Apr 1, 2023
    • Shell
      0000Updated Jan 18, 2023Jan 18, 2023
    • Patches and documentation for having a proper X session with xfce panel and i3-wm
      C
      BSD 3-Clause "New" or "Revised" License
      0100Updated Jan 15, 2023Jan 15, 2023
    • libpam-pgsql is banned from Debian, so rewrite it with libpam-python
      Python
      0000Updated Dec 1, 2022Dec 1, 2022
    • Document all the mess around bip32+bip39+bip44 and similar key generation schemes
      Python
      MIT License
      103600Updated Nov 14, 2022Nov 14, 2022
    • How to have a low latency remote desktop with free software tools
      Dockerfile
      0100Updated Jun 2, 2022Jun 2, 2022
    • Tuning OpenAFS for higher latency than local network
      0000Updated Mar 11, 2022Mar 11, 2022
    • JBIG2 Encoder
      C++
      Other
      86000Updated Mar 3, 2022Mar 3, 2022
    • Haskell package that distributes the standard time zone database
      Haskell
      Apache License 2.0
      7801Updated Jan 11, 2022Jan 11, 2022
    • nics

      Public
      Nilcons Slides - quality presentations from code
      Lua
      Other
      2800Updated Jul 29, 2021Jul 29, 2021
    • vm

      Public
      tmp
      0000Updated Nov 20, 2020Nov 20, 2020
    • funjs

      Public
      Functional Programming in the Browser
      Dhall
      0000Updated Aug 28, 2020Aug 28, 2020
    • Agda és Coq szeminárium
      Agda
      0100Updated Jun 6, 2020Jun 6, 2020
    • Installation instructions and Docker image for Agda and Coq
      Shell
      0200Updated Jun 3, 2020Jun 3, 2020
    • Practical Intro to Agda and Coq
      Agda
      1500Updated May 28, 2020May 28, 2020
    • statvfs

      Public
      haskell statvfs ffi binding
      Haskell
      BSD 3-Clause "New" or "Revised" License
      6001Updated Apr 23, 2020Apr 23, 2020
    • jozsika

      Public
      A simplified and customized version of Iosevka
      Shell
      1100Updated Mar 30, 2020Mar 30, 2020
    • How to make Firefox usable
      512940Updated Mar 22, 2020Mar 22, 2020
    • Starter template for presentations written with nics
      Other
      0110Updated Jun 27, 2019Jun 27, 2019
    • securecpp

      Public
      TeX
      1000Updated Jun 25, 2019Jun 25, 2019
    • Know-how on how to use OAUTH for Gmail authentication with Emacs
      C
      0000Updated Feb 5, 2019Feb 5, 2019
    • ceh

      Public
      A guild for people who like Nix
      Perl
      22400Updated Jan 25, 2019Jan 25, 2019
    • A quick intro to IPSec on the kernel side with STUN and UDP hole punching
      C
      01400Updated Jan 10, 2019Jan 10, 2019