Martin Monperrus's starred repositories
awesome-account-abstraction
đź“– A curated list of resources dedicated to Account Abstraction (EIP-4337)
firefox-debloat
Stop Firefox leaking data about you
org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
awesome-msr
A curated repository of software engineering repository mining data sets
wide-github
Change all github repository pages to be full width and dynamically sized.
ExpandAnimations
LibreOffice/OpenOffice.org extension to expand animations before exporting to PDF. Looking for maintainers.
revapi
Revapi is an API analysis and change tracking tool written in Java. Its focus is mainly on Java language itself but it has been specifically designed to not be limited to just Java. API is much more than just java classes - also various configuration files, schemas, etc. can contribute to it and users can become reliant on them.
typescript-playground-on-ace
typescript playground on ace editor
bibtexbrowser
Beautiful publication lists with bibtex and PHP (standalone or in Wordpress)
RepairThemAll
Automatic Repair Framework that abstract repair tools and bug benchmarks
mork-converter
Convert Mozilla Mork databases to more accessible formats
IEEEStyleForBibtexbrowser
A custom citation style for bibtexbrowser adhering to the IEEE citations guidelines
project-info-maven-plugin
Extract the source folder and the classpath from maven projects