GitHub

• RSS feed
• Atom feed

Repositories

65

Projects Packages Code

Filter

Clear filters

Archived Not archived

Forks Not forks

Mirrors Not mirrors

Templates Not templates

Private Public

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks Smallest size Largest size

tsandrini.flake-parts-builder

Rust 1 1

Nix flakes interactive template builder based on flake-parts written in Rust. [maintainer=@tsandrini]

flakes nix nix-flake nix-flakes nixos-configuration nixos-flake nix-template nix-templates rust

Updated 2025-11-24 18:54:54 +00:00

encosllo.IntroToLean4

Lean 0 0

An Introduction to Lean 4

lean4 mathematics mathematics-notes

Updated 2025-09-16 09:06:43 +00:00

gildas-lormeau.single-file-companion-lite

JavaScript 0 0

SingleFile Companion Lite

Updated 2025-03-27 15:21:10 +00:00

alexbatalov.fallout2-ce

C++ 0 0

Fallout 2 for modern operating systems

c-plus-plus fallout2 game isometric

Updated 2025-02-16 08:35:06 +00:00

gildas-lormeau.single-file-companion

JavaScript 0 0

Updated 2024-02-15 17:36:48 +00:00