SevDan
Follow
Starred repositories
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…
A Scala library for type-safe direct memory access via Foreign Functions & Memory API
Tookie is a advanced OSINT information gathering tool that finds social media accounts based on inputs.
Snoop — инструмент разведки на основе открытых данных (OSINT world)
Maryam: Open-source Intelligence(OSINT) Framework
Mirror of FreeIPA, an integrated security information management solution
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
A curated list of awesome eBPF 🐝 projects using aya-rs and Rust 🦀
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513
A Database of Real Faults and an Experimental Infrastructure to Enable Controlled Experiments in Software Engineering Research
Chaos Monkey is a resiliency tool that helps applications tolerate random instance failures.
A huge collection of VHDL/Verilog open-source IP cores scraped from the web
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
A series of math-specific large language models of our Qwen2 series.
Xray, Penetrates Everything. Also the best v2ray-core, with XTLS support. Fully compatible configuration.
