Put a REUSE comment in the top of each file:
SPDX-FileCopyrightText: © 2022 Jane Doe <jane.doe@example.com>
SPDX-License-Identifier: AGPL-3.0-or-later
This way your licensing information is unambiguous and machine-readable.
The University of Helsinki’s introductory programming course. Unabridged and of fair repute. No prior programming knowledge required.
A GHC type checker plugin that enables you to specify rewrite rules in order to prove type equalities.
Has a nice list of alternatives in the bottom, too. Among them:
- ghc-typelits-natnormalize, a GHC plug-in
- Thoralf, another GHC plugin
- Liquid Haskell
- Ghosts of Departed Proofs, a library
- an approach called Hasochism
GitHub’s Rust implementation of stack graphs.
A cURL CLI alternative.
Stylesheets for web pages that look like old-school text-based user interfaces.
Polyglot Bazel-like reproducible and efficient build system for large code bases. Pants 2 recently regained support for Java and Scala. Also supports Python, Go, and shell scripts.
Beginners’ Java 17 tutorial.
Up-to-date Java tutorials and articles from Oracle.
Nix expressions that make it easy to cross-compile static binaries for a variety of platforms (including Windows, macOS, and GNU/Linux on various CPU architectures).
Generates a web site by aggregating documentation written in AsciiDoc format from arbitrarily many Git repositories.
A high-performance stream processing library for Haskell.
Eine Organisation, die in Deutschland Spenden annimmt und sie an gemeinnützige Vereine (wie z.B. GiveDirectly) weiterleitet, die damit einen möglichst großen Nutzen generieren. Sie orientieren sich dabei auch an Daten von GiveWell.
Für Spenden bekommt man hier auch eine deutsche Spendenquittung.
An OCI-compatible container runtime for FreeBSD based on jails.
You can even use it with containerd.
I loved jails when I was on FreeBSD, but it was always a problem that the mutable application state was not cleanly separated from the immutable system parts. With this, you could fix that.
Free economics courses.
A Java library that performs field injection of resources from the class path. Useful for unit tests that use files as input.
A Java class path indexer.