Leni Aniva aniva

8 followers · 2 following

• RSS feed
• Atom feed
• SSH keys
• GPG keys

• Gensokyo
• https://leni.sh

• Researcher at Stanford University Centaur Lab https://centaur.stanford.edu/

  Director of NorCal Hakkero Factory No. 1 https://codeberg.org/NHF

• Joined on 2025-03-08
• • 

Repositories

6

Projects Packages Public activity Starred repositories

6

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

Manifest2Nix.jl

Nix 2 0

A Nix library for creating reproducible Julia builds and experiments via precompilation.

Updated 2026-01-17 05:15:22 +01:00

Prismriver

Lean 4 1

A Music DSL in Lean 4

Updated 2026-01-12 21:42:20 +01:00

lean4-reverse-ffi

C 1 1

Some Lean4 Reverse FFI Examples

Updated 2026-01-12 10:27:24 +01:00

Concourse.nix

Nix 0 0

Concourse CI overlay and module for Nix

Updated 2026-01-02 07:16:10 +01:00

forgejo-concourse

Nix 0 0

A Forgejo Resource for Concourse CI

Updated 2025-12-31 06:55:19 +01:00

MicroMinecraftServer

Nix 0 0

Nix Flake for a QEMU-sandboxed Minecraft Server

Updated 2025-10-05 05:15:03 +02:00