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:
- Testing system for Prolog programs on Flask+React. Useful for exam preparation☆23Jan 31, 2023Updated 3 years ago
- Performance monitoring agent for eBPF programs☆18Jul 20, 2026Updated last week
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 6 years ago
- Very bad port of fake86 for CP/M 2.2 (Z80 based computers like ZX Spectrum)☆11May 9, 2022Updated 4 years ago
- ☆13Jul 8, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An query language and interactive tooling to work with SBOM data.☆15Oct 7, 2024Updated last year
- Sydr benchmark applications☆17Jul 25, 2022Updated 4 years ago
- symbolic execution engine for brainfuck because lol☆14Feb 5, 2017Updated 9 years ago
- ☆13Jun 15, 2024Updated 2 years ago
- Structure aware fuzzing for network traffic packet captures☆13Nov 18, 2025Updated 8 months ago
- Metro navigation and accessibility☆12Feb 7, 2018Updated 8 years ago
- Fuzzing Lua runtimes without pain☆15Updated this 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
- 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.
- 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☆13Jun 24, 2026Updated last month
- 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
- Материалы для подготовки к ГОСам☆25Feb 9, 2026Updated 5 months ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated 2 years ago
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Modeling the spread of COVID-19☆19Mar 7, 2022Updated 4 years ago
- Detection of missing ways in OpenStreetMap based on Strava heatmaps☆26Aug 1, 2025Updated 11 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A parser and autocorrection tool for wiktionary.☆39Dec 4, 2015Updated 10 years ago
- OpenStreetMap-Carto - somewhat different☆41Jul 20, 2026Updated last week
- ☆24Dec 8, 2022Updated 3 years ago
- Mahjong solitaire game for uxn (WIP)☆38Jun 6, 2023Updated 3 years ago
- A framework for static analysis of ROP exploits and programs☆41May 13, 2019Updated 7 years ago
- Processing sketch to visualize GPX routes from Strava☆31Jan 7, 2017Updated 9 years ago
- Juliet C/C++ Dynamic Test Suite☆38Apr 18, 2023Updated 3 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆37Apr 3, 2020Updated 6 years ago
- SAIST - Static AI-powered Scanning Tool! Scan literally anything with ✨ AI ✨☆34May 26, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A web based tool for working with CycloneDX BOMs☆49Feb 10, 2026Updated 5 months ago
- 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 5 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
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆44Mar 3, 2024Updated 2 years ago
- Fuzz Rust code with LibAFL☆60Aug 30, 2023Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Jul 8, 2021Updated 5 years ago