Martin Mirchev's repositories
CurrentBook
Current Book For Reading
ANTLRStudio
ANTLRStudio : A minimalistic IDE for ANTLRv4 Grammars
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
CLRS
đź“š Solutions to Introduction to Algorithms Third Edition
cosmos-website
Cosmos website in Django
Eggxample
Small example project with Egg
eSurvey
Files used for Cordaid's eSurvey project
f1x
Efficient patch generation engine for C/C++ programs
fauxpy
An automated fault localization tool for Python programs.
flacoco
Fault localization for Java based on Jacoco http://arxiv.org/pdf/2111.12513
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
GraphTea
The Graph Theory Software
gzoltar
GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
jrosbridge-springed
A Native Java EE rosbridge Client
LeetCode
đź’ˇ LeetCode in C++20/Java/Python/MySQL/TypeScript (respect coding conventions)
llvm2kittel
llvm2KITTeL
marti2203.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
pipreqs
pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.
refactory
Refactory: Re-factoring based Program Repair applied to Programming Assignments
requests
A simple, yet elegant HTTP library.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
student-fuzzer
Template repository for CS5219
T2-temporal
T2 Temporal Prover
TBar
Template-based Automated Program Repair
textual
Textual is a Rapid Application Development framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and (coming soon) a web browser!
Verifix
Verifix Repair tool