Iurii Zamiatin's repositories
LanguageEtudes
Components of programming languages, all implemented in self-contained files
ProofVerifier
Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell
bootstrap-snapfuzz
Scripts for building snapfuzz
profuzzbench
ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
aflnet
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
dinit
Service monitoring / "init" system
Gwion
:musical_note: strongly-timed musical programming language
JavaScriptADTs
Benchmarks for various algebraic data types representations in JavaScript
openssh-portable
Portable OpenSSH
SaBRe
Load-time selective binary rewriting
SimpleLLVMPass
SImple LLVM pass for LLVM11
tense
Hacks to the (slightly newer) Linux kernel
TotalBytesAllocated
Shared library that intercepts malloc calls and calculates total amount of allocated memory
while
While programming language formalized in CoQ
zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
zigux
An attempt to write a (semi) functional OS in Zig :^)