Martin Mirchev's repositories
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
marti2203.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
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!
TBar
Template-based Automated Program Repair
gzoltar
GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
flacoco
Fault localization for Java based on Jacoco http://arxiv.org/pdf/2111.12513
f1x
Efficient patch generation engine for C/C++ programs
llvm2kittel
llvm2KITTeL
pipreqs
pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.
LeetCode
💡 LeetCode in C++20/Java/Python/MySQL/TypeScript (respect coding conventions)
T2-temporal
T2 Temporal Prover
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
fauxpy
An automated fault localization tool for Python programs.
Verifix
Verifix Repair tool
refactory
Refactory: Re-factoring based Program Repair applied to Programming Assignments
student-fuzzer
Template repository for CS5219
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!
Eggxample
Small example project with Egg
jrosbridge-springed
A Native Java EE rosbridge Client
eSurvey
Files used for Cordaid's eSurvey project
CurrentBook
Current Book For Reading
ANTLRStudio
ANTLRStudio : A minimalistic IDE for ANTLRv4 Grammars
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
cosmos-website
Cosmos website in Django
requests
A simple, yet elegant HTTP library.
CLRS
📚 Solutions to Introduction to Algorithms Third Edition