Azote's repos on GitHub
Lean · 1 watchers
26T19
2026 年新高考一卷数学 T19 的 Lean4 证明,全部由 LLM 完成。
Python · 1 watchers
onedecrypt
Independent-Implement of undecrypt
Rust · 0 watchers
bichon
Bichon – A lightweight, high-performance Rust email archiver with WebUI
C++ · 0 watchers
cimbar-rt
Optimized implementation for color-icon-matrix barcodes
Python · 0 watchers
ehentai_bot
解析EHentai画廊链接, 返回画廊信息和下载链接/压缩包
Python · 0 watchers
greenpi
Commit the number of days from a specific date to π times every day.
TypeScript · 0 watchers
hyxswkkzdb
进群自动发 sticker 的神秘 bot
Java · 0 watchers
key
KeY Theorem Prover for Deductive Java Verification
TypeScript · 0 watchers
keygen-spa
对 fido2 的 ssh-keygen 命令生成器
Rust · 0 watchers
lapiwe
A command-line fountain coding tool powered by RaptorQ (RFC 6330) for data redundancy and recovery in UNIX pipelines.
0 watchers
libkiwix
Common code base for all Kiwix ports
Java · 0 watchers
meteor-rejects
An addon to Meteor Client with features that won't be added to Meteor. Because they were either rejected or are ports from other clients.
TypeScript · 0 watchers
override-rules
powerfullz 的 Mihomo/SubStore 脚本和覆写规则。Modified by Azote
TypeScript · 0 watchers
qdu-webvpn-converter
QDU Web VPN converter. Edited from spencerwooo/bit-webvpn-converter
Python · 0 watchers
rubish
rubish a Rubbish
HTML · 0 watchers
shamir
Shamir Secret Sharing Scheme in single page which can be used offline.
Elixir · 0 watchers
SlopLang
Some Pythonic to BEAM(?)
Java · 0 watchers
SmartPGP
SmartPGP is a JavaCard implementation of the OpenPGP card specifications
Objective-C · 0 watchers
VeX
Enhanced enhanced notification logger with customized notification forwarding capabilities.
0 watchers
warden-worker
A Bitwarden-compatible server for Cloudflare Workers