Skip to content
Change the repository type filter

All

    Repositories list

    • Dockerfile for Debian with basic utilities
      Emacs Lisp
      0000Updated Oct 4, 2025Oct 4, 2025
    • Various Emacs research projects
      Emacs Lisp
      0210Updated May 12, 2025May 12, 2025
    • ah

      Public
      Alternative Home directories via Linux Namespaces
      Shell
      0000Updated Mar 24, 2025Mar 24, 2025
    • hedrons

      Public
      Python
      0000Updated Mar 20, 2025Mar 20, 2025
    • Docker build for vscode-ocp-cad-viewer to make it easier to use it in standalone mode without vscode
      Dockerfile
      1400Updated Mar 19, 2025Mar 19, 2025
    • Making minikube docker driver networking similar to production with a proxy
      0000Updated Dec 4, 2024Dec 4, 2024
    • Getting btc balances efficiently and privately
      Python
      0000Updated Dec 2, 2024Dec 2, 2024
    • How to have a fully revised and controlled fontconfig setup
      0000Updated Aug 12, 2024Aug 12, 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
      1001Updated 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
      131763Updated 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
      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
      103900Updated 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++
      82000Updated Mar 3, 2022Mar 3, 2022
    • Haskell package that distributes the standard time zone database
      Haskell
      7901Updated Jan 11, 2022Jan 11, 2022
    • nics

      Public
      Nilcons Slides - quality presentations from code
      Lua
      21000Updated 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
      1600Updated May 28, 2020May 28, 2020
    • statvfs

      Public
      haskell statvfs ffi binding
      Haskell
      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
      513440Updated Mar 22, 2020Mar 22, 2020