The ISLa (Input Specification Language) language & solver.

Syntax Symphony is an efficient grammar-based fuzzer implemented purely in Python.

Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.

🔥 🔥 🔥 Open Source Airtable Alternative

🔥 🔥 🔥 Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and cycles the easiest way on the planet.

A curated list of awesome XML standards, libraries and resources.

XPath 1.0/2.0/3.0/3.1 parsers and selectors for ElementTree and lxml

Bash Script to Scale and Resize PDFs using Ghostscript

A curated list of Grammar based fuzzing research papers, codes, tutorials

A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

Debugging Prototype Avicenna

A JavaScript Engine Fuzzer

Library for structured fuzzing with protobuffers

A GPT-4 prompt that helps you learn Spanish.

A curated list of command-line utilities written in Rust

KeY Theorem Prover for Deductive Java Verification

⭐ Vim for Visual Studio Code

Persistent/Immutable/Functional data structures for Python

A functional standard library for Python.

Python library for creating data pipelines with chain functional programming

A curated list of awesome things related to functional programming in Python.

Converts grammars in ANTLR/BGF format to and from the "Fuzzing Book" format.

Yet Another Random Program Generator

A Jupyter notebook to Hugo markdown converter

A python lens library for manipulating deeply nested immutable structures

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Move and resize windows on macOS with keyboard shortcuts and snap areas

FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.

Tools and standards for conducting and evaluating research in software engineering