aur3l14no's repositories
.hammerspoon
Hammerspoon (OSX) configurations
openflakes
Some of my open flakes
PVLDB2022_TencentCLS
Materials for [PVLDB22] TencentCLS: The Cloud Log Service with High Query Performances
bap
Binary Analysis Platform
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
caddy-image-action
Building a custom Caddy docker image with a Github actions pipeline.
double-entry-generator
Rule-based double-entry bookkeeping importer (from Alipay/WeChat/Huobi etc. to Beancount/Ledger).
fish-sia
Fish's Scientific Internet Access.
hypothesis-ext
The Hypothesis browser extensions.
ip_derper
无需域名的 derper
klee
KLEE Symbolic Execution Engine
LibAFL
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
MaaAssistantArknights
《明日方舟》小助手，全日常一键长草！| A one-click tool for the daily tasks of Arknights, supporting all clients.
nixpkgs
Nix Packages collection & NixOS
OpenWrt-Actions
My OpenWrt Actions
paperlib
An open-source academic paper management tool.
raycast-extensions
Everything you need to extend Raycast.
RSSHub
🍰 Everything is RSSible
sat-planting-backdoors
Generating SAT Formulas with Planted Backdoors
Sub-Store
Advanced Subscription Manager for QX, Loon, Surge, Stash and ShadowRocket!
symcc
SymCC: efficient compiler-based symbolic execution
yinyang
A fuzzing framework for SMT solvers
z3
The Z3 Theorem Prover
zh-cn-fonts
Some zh-cn fonts maintained using AUR and GitHub Actions.