I have this PR that was pre-reviewed already but needs more review:
Not mine but I would love to see it in nixpkgs
This was a pretty interesting derivation compiled from source in SWI-Prolog and Rust, with a static web front-end.
rtfm: 0.2.4 β 0.4.1 | rtfm: 0.2.4 -> 0.4.1 by sund3RRR Β· Pull Request #305481 Β· NixOS/nixpkgs Β· GitHub tijolo: 0.7.4 β 0.8.1 | tijolo: 0.7.4 -> 0.8.1 by sund3RRR Β· Pull Request #305496 Β· NixOS/nixpkgs Β· GitHub gi-crystal: remove package | gi-crystal: remove package by sund3RRR Β· Pull Request #305484 Β· NixOS/nixpkgs Β· GitHub