-
latexplates Public
My opinionated latex classes, packages, templates
TeX MIT License UpdatedJan 15, 2025 -
astroid Public
Forked from astroidmail/astroidA graphical threads-with-tags style, lightweight and fast, e-mail client for Notmuch
C++ Other UpdatedJun 29, 2024 -
texshell.nix Public
Nix flake providing quick access to multiple TeXlive versions
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 26, 2024 -
flakegen Public
Flake inputs with the full power of Nixlang
-
-
nur-packages Public
Forked from nix-community/nur-packages-templateMy personal NUR repository
Nix MIT License UpdatedJun 19, 2023 -
uberspace-lab Public
Forked from Uberspace/labThe Uberlab provides various tutorials - written by you! - on how to run software and tools on Uberspace 7.
Python Other UpdatedFeb 25, 2022 -
-
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix
Nix MIT License UpdatedOct 4, 2021 -
infotheo Public
Forked from affeldt-aist/infotheoA Coq formalization of information theory and linear error-correcting codes
Coq GNU Lesser General Public License v2.1 UpdatedMay 16, 2021 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedMar 6, 2021 -
-
NUR Public
Forked from nix-community/NURNix User Repository: User contributed nix packages [maintainer=@Mic92]
Python MIT License UpdatedFeb 25, 2021 -
simpleid Public
Forked from simpleid/simpleidA simple, personal OpenID provider written in PHP
PHP Other UpdatedSep 21, 2020 -
simpleid-tool Public
Forked from simpleid/simpleid-toolPHP GNU General Public License v2.0 UpdatedSep 21, 2020 -
deoplete-khard Public
Forked from nicoe/deoplete-khardDeoplete source for carddav contacts using khard
Python MIT License UpdatedSep 18, 2020 -
patoline Public
Forked from patoline/patolinePatoline typesetting system
OCaml GNU General Public License v2.0 UpdatedSep 14, 2020 -
hs-bibi Public
Forked from patoline/hs-bibiHaskell GNU General Public License v2.0 UpdatedSep 10, 2020 -
Symbolic-math-HaTeX Public
Forked from leftaroundabout/Symbolic-math-HaTeXConvenient Haskell syntax for writing in LaTeX math expressions
Haskell GNU General Public License v3.0 UpdatedJun 25, 2020 -
scdm Public archive
The Simple Console Display Manager
-
doi Public
Forked from johannesgerer/doiExtract Bibtex entries and download fulltext of scientific articles automatically for a given DOI or URL
Haskell MIT License UpdatedApr 14, 2020 -
searchmux Public
simple and stupid search engine multiplex server in bash, e.g. for bang syntax
Shell GNU Affero General Public License v3.0 UpdatedMar 22, 2020 -
ubernix Public
home-manager on asteroids (uberspace)
-
jorsn-gentoo-musl Public archive
My own musl overlay in addition to the official one.
Shell UpdatedMay 4, 2019 -
-
matlab-nix-imperative Public
quick and dirty nix-shell wrapper for running an imperatively installed MATLAB in a nix FHS environment
-
wsemclassic Public archive
A LaTeX document class for bavarian school w-seminar papers, based on report. !!! See the note below !!!
TeX Other UpdatedJun 17, 2018 -
espresso Public archive
Espresso Karol — A simple gui editor for javakarol !!! See the note below !!!
Java Other UpdatedJun 17, 2018 -
sdreams Public archive
Java stream/file reading. Please regard the note below!
Java Other UpdatedJun 17, 2018