Pinned Repositories
acpaas-ui_angular
Antwerp City Platform as a Service User Interface (ACPaas UI) is a component interface library for building user interfaces and responsive web apps.
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!
AlgorithmsMIT
ANTLRStudio
ANTLRStudio : A minimalistic IDE for ANTLRv4 Grammars
DBL_HTI
Design Based Learning Human Technology Interaction and Visualization
Kernel
An almost complete implementation of the Kernel Programming Language
llmr
Large Language Model based repair tool
PHP-4
PhoneBook
RailRoadDiagrams
A .Net Port of tabatkins' railroad-diagrams
cerberus
Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to fuzzing, static analysis and program repair.
Marti2203's Repositories
Marti2203/CurrentBook
Current Book For Reading
Marti2203/ANTLRStudio
ANTLRStudio : A minimalistic IDE for ANTLRv4 Grammars
Marti2203/DBL_HTI
Design Based Learning Human Technology Interaction and Visualization
Marti2203/llmr
Large Language Model based repair tool
Marti2203/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!
Marti2203/antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Marti2203/CLRS
📚 Solutions to Introduction to Algorithms Third Edition
Marti2203/cosmos-website
Cosmos website in Django
Marti2203/Eggxample
Small example project with Egg
Marti2203/eSurvey
Files used for Cordaid's eSurvey project
Marti2203/f1x
Efficient patch generation engine for C/C++ programs
Marti2203/fauxpy
An automated fault localization tool for Python programs.
Marti2203/flacoco
Fault localization for Java based on Jacoco http://arxiv.org/pdf/2111.12513
Marti2203/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Marti2203/GraphTea
The Graph Theory Software
Marti2203/gzoltar
GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com
Marti2203/jrosbridge-springed
A Native Java EE rosbridge Client
Marti2203/LeetCode
💡 LeetCode in C++20/Java/Python/MySQL/TypeScript (respect coding conventions)
Marti2203/llvm2kittel
llvm2KITTeL
Marti2203/marti2203.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Marti2203/pandoc-beamer-how-to
Marti2203/pipreqs
pipreqs - Generate pip requirements.txt file based on imports of any project. Looking for maintainers to move this project forward.
Marti2203/refactory
Refactory: Re-factoring based Program Repair applied to Programming Assignments
Marti2203/requests
A simple, yet elegant HTTP library.
Marti2203/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Marti2203/student-fuzzer
Template repository for CS5219
Marti2203/T2-temporal
T2 Temporal Prover
Marti2203/TBar
Template-based Automated Program Repair
Marti2203/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!
Marti2203/Verifix
Verifix Repair tool