Lomonosov Moscow State University (MSU) LaTeX Thesis Template
☆21Jul 5, 2021Updated 5 years ago
Alternatives and similar repositories for msu-thesis
Users that are interested in msu-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Performance monitoring agent for eBPF programs☆18Sep 14, 2026Updated 2 weeks ago
- Very bad port of fake86 for CP/M 2.2 (Z80 based computers like ZX Spectrum)☆11May 9, 2022Updated 4 years ago
- ☆13Updated this week
- Metro navigation and accessibility☆12Feb 7, 2018Updated 8 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- Structure aware fuzzing for network traffic packet captures☆14Nov 18, 2025Updated 10 months ago
- Fuzzing Lua runtimes without pain☆16Sep 20, 2026Updated last week
- Generate files for dictd server [Python] (unmaintained)☆12Apr 21, 2010Updated 16 years ago
- The Chef symbolic execution platform, based off S2E☆12Nov 1, 2022Updated 3 years ago
- CentOS 6.9 build Docker environment to distribute portable Linux binaries☆13Dec 28, 2021Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 3 years ago
- This is the GitHub repo of the OpenChain SBOM Study Group☆14Jun 24, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Jul 21, 2024Updated 2 years ago
- A framework for finding completeness bugs in optimizing compiler toolchains.☆23Mar 4, 2024Updated 2 years ago
- Library for manipulating gdb in batch mode☆21Aug 9, 2026Updated last month
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Detection of missing ways in OpenStreetMap based on Strava heatmaps☆26Aug 1, 2025Updated last year
- OpenStreetMap-Carto - somewhat different☆44Sep 10, 2026Updated 2 weeks ago
- Apport intercepts Program crashes, collects debugging information about the crash and the operating system environment, and sends it to b…☆32Updated this week
- ☆24Dec 8, 2022Updated 3 years ago
- Mahjong solitaire game for uxn (WIP)☆38Jun 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Juliet C/C++ Dynamic Test Suite☆39Apr 18, 2023Updated 3 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆41Apr 3, 2020Updated 6 years ago
- My NixOS configuration☆46Updated this week
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆35Feb 16, 2026Updated 7 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆47Mar 5, 2024Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Dec 20, 2024Updated last year
- Automatic fuzz targets generation for Golang packages☆53Jun 4, 2026Updated 3 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Fuzz Rust code with LibAFL☆60Aug 30, 2023Updated 3 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 5 years ago
- ☆52Oct 4, 2021Updated 4 years ago
- A coverage-guided, native Lua fuzzing engine.☆63Updated this week
- Fuzz testing framework for binary programs using AI☆54Sep 13, 2023Updated 3 years ago
- eBPF Security Monitoring and Sandboxing Agent Based on Aya☆68Updated this week