Pinned Repositories
chronocat.nix
cllina
A bot
config
Anillc's NixOS configurations
iberis
Another parser generator
koinix
psocket-run
Trace the socket syscall and do something.
Yuri
A riscv emulator.
koishi
Cross-platform chatbot framework made with love
nixpkgs
Nix Packages collection & NixOS
Anillc's Repositories
Anillc/Yuri
A riscv emulator.
Anillc/chronocat.nix
Anillc/koinix
Anillc/config
Anillc's NixOS configurations
Anillc/koishi-plugin-bilibili
Anillc/nixrs
Nix binding for Rust
Anillc/flakes
Anillc/psocket-run
Trace the socket syscall and do something.
Anillc/minatojs-sql.js
Node Special Edition
Anillc/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Anillc/crowdin-action
A GitHub action to manage and synchronize localization resources with your Crowdin project
Anillc/cryocat
A program that pipes stdio to the other side with STUN/TURN.
Anillc/nix-bundle
Bundle Nix derivations to run anywhere! [maintainer=@matthewbauer, @Artturin]
Anillc/agda
Agda is a dependently typed programming language / interactive theorem prover.
Anillc/blog
blog
Anillc/boilerplate
An example repository for Koishi bot development.
Anillc/deploy-rs
A simple multi-profile Nix-flake deploy tool.
Anillc/emscripten
Emscripten: An LLVM-to-WebAssembly Compiler
Anillc/koishi-plugin-nix
Anillc/minato
Type Driven Database Framework.
Anillc/nixpkgs
Nix Packages collection
Anillc/proxmox-nixos
The Proxmox Hypervisor, on NixOS [maintainers=@camillemndn @julienmalka]
Anillc/riscv-isa-manual
RISC-V Instruction Set Manual
Anillc/riscv-tests
Anillc/satori
The Universal Messenger Protocol
Anillc/sparcians-map
Modeling Architectural Platform
Anillc/tablet
nixos configuration of my laptop
Anillc/verilated-rs
Verilator Porcelain
Anillc/wxhelper-nix
Anillc/ysyx-website
:dart: The official website of One Student One Chip project.