humeafo
Follow
Stars
The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes
Repo for adapting Meta LlaMA2 in Chinese! META最新发布的LlaMA2的汉化版！ （完全开源可商用）
1 min voice data can also be used to train a good TTS model! (few shot voice cloning)
Stable Diffusion web UI
Control and limit battery charging on Apple Silicon MacBooks.
2024中国翻墙软件VPN推荐以及科学上网避坑，稳定好用。对比SSR机场、蓝灯、V2ray、老王VPN、VPS搭建梯子等科学上网与翻墙软件，中国最新科学上网翻墙梯子VPN下载推荐，访问Chatgpt。
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name …
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
S2E: A platform for multi-path program analysis with selective symbolic execution.
The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。
SymCC: efficient compiler-based symbolic execution
Run fuzzing experiments in Docker
IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniq…
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
FuzzBench - Fuzzer benchmarking as a service.
Darwin/macOS emulation layer for Linux