- Karlsruhe, Germany
Stars
Flexible resource pattern resolution library for Java applications.
jOOλ - The Missing Parts in Java 8 jOOλ improves the JDK libraries in areas where the Expert Group's focus was elsewhere. It adds tuple support, function support, and a lot of additional functional…
Official Java port of Sqids. Generate short unique IDs from numbers.
A simple home automation server written in Rust
Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]
Trying to understand the file format of Tip Toi
Create awesome e-paper dashboards within minutes! Modularity? Check! Python3? Check? Works on Raspberry Pi Zero W? Check! Support for own modules? Check!
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
A Git-based CMS for Static Site Generators
The ultimate list of open data semantic 3D city models
Template for Springboot / React / Sass App
An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices
Fermented Chili "Open Sauce" - My most starred repo has no code in it!
Documentation for the Mainboard and other modules in the Framework Laptop 13
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
a structural diff that understands syntax 🟥🟩
Official documentation for getting things done with Nix.
Official Haskell IDE support via the language server protocol (LSP)
Generate Nix expressions to build NPM packages
Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs
A List of Foundational Haskell Papers
Cached Haskell IDE Engine Nix builds for all GHC versions