Iurii Zamiatin
RiscInside
Languages
Top Repositories
FYP on using e-graphs to solve smt bitvector problems
Components of programming languages, all implemented in self-contained files
WACC to C transpiler
Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell
Scripts for building snapfuzz
Server-side HTTP lua applications backed by a single persisted and OCC controlled hash map
Repositories
24Server-side HTTP lua applications backed by a single persisted and OCC controlled hash map
FYP on using e-graphs to solve smt bitvector problems
egraphs + datalog!
ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing
Components of programming languages, all implemented in self-contained files
Simple verification tool for proofs in propositional calculus (first order logic support on standby) written in Haskell
Benchmarks for various algebraic data types representations in JavaScript
Scripts for building snapfuzz
:musical_note: strongly-timed musical programming language
No description provided.
WACC to C transpiler
While programming language formalized in CoQ
Virtual time executor as a userspace thread & event scheduler
Service monitoring / "init" system
No description provided.
No description provided.
Hacks to the (slightly newer) Linux kernel
Load-time selective binary rewriting
An attempt to write a (semi) functional OS in Zig :^)
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
Portable OpenSSH
SImple LLVM pass for LLVM11
Shared library that intercepts malloc calls and calculates total amount of allocated memory