Pinned Repositories
cllina
A bot
iberis
Another parser generator
koinix
koishi-plugin-bilibili
psocket-run
Trace the socket syscall and do something.
random-src
使用 nfqueue 与 conntrack 来实现随机 ip
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/koinix
Anillc/cllina
A bot
Anillc/koishi-plugin-bilibili
Anillc/config
Anillc's NixOS configurations
Anillc/flakes
Anillc/chronocat.nix
Anillc/nixrs
Nix binding for Rust
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/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-matrix-port
Anillc/koishi-plugin-nix
Anillc/minato
Type Driven Database Framework.
Anillc/nereid
Anillc/nereid-cli
Anillc/nixpkgs
Nix Packages collection
Anillc/riscv-tests
Anillc/satori
The Universal Messenger Protocol
Anillc/sciter
Anillc/setup-wireguard
GitHub action to set up WireGuard
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.