Repos
86
Stars
78
Forks
13
Top Language
Nix
Loading contributions...
Top Repositories
Repositories
86No description provided.
No description provided.
A simple actor framework for Rust.
nixos configuration of my laptop
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
My Redmi Note 12 Turbo ROM build
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]
Run nixos in podman.
Nix Packages collection
Yet Another Type Compiler-Compiler
Nix binding for Rust
No description provided.
Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]
The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]
A program that pipes stdio to the other side with STUN/TURN.
A riscv emulator.
No description provided.
Anillc's NixOS configurations
A GitHub action to manage and synchronize localization resources with your Crowdin project
Matrix adapter for koishi
No description provided.
RISC-V Instruction Set Manual
Modeling Architectural Platform
No description provided.
blog
No description provided.
draw graphs by DFT
No description provided.
Agda is a dependently typed programming language / interactive theorem prover.
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory