Leni Aniva aniva
13 followers · 3 following
Repositories
10
 Projects Packages
1
 Public activity Starred repositories
8
Filter
Sort
Prismriver
Lean 5 1
A Music formalization library and DSL in Lean 4
algorithmic-composition formalization lean lean4 music music-theory
Updated 2026-03-25 07:57:54 +01:00
Manifest2Nix.jl
Nix 3 0
A Nix library for creating reproducible Julia builds and experiments via precompilation.
devops julia julialang nix reproducible-research reproducible-science
Updated 2026-03-24 01:06:46 +01:00
Concourse.nix
Nix 2 0
Concourse CI overlay and module for Nix
cicd concourse continuous-integration devops nix nixos nixos-module self-hosted server
Updated 2026-03-24 00:07:14 +01:00
forgejo-concourse
Rust 2 1
A Forgejo Resource for Concourse CI
concourse continuous-integration devops forgejo rust
Updated 2026-03-23 07:10:24 +01:00
nixos-examples
Nix 0 0
Examples of configuring and testing NixOS accompanying NixOS DevOps tutorial
example nix nixos
Updated 2026-03-22 23:11:44 +01:00
delightful-forgejo
0 0
A curated list of delightful Forgejo-related projects and resources.
Updated 2026-03-18 23:33:59 +01:00
RealTimePhysics
Julia 0 0
Real Time Physics Simulations
julia physics simulation
Updated 2026-03-06 07:45:20 +01:00
MicroMinecraftServer
Nix 0 0
Nix Flake for a QEMU-sandboxed Minecraft Server
example java nixos qemu
Updated 2026-03-04 03:10:47 +01:00
lean4-reverse-ffi
C 1 1
Some Lean4 Reverse FFI Examples
c example ffi lean4
Updated 2026-03-03 03:47:18 +01:00
DowsingRod
Lean 0 0
Nazrin's Auxiliary Lean Repository
Updated 2026-02-19 23:14:08 +01:00