parof

pilisp

Lisp interpreter with bytecode compiler

rat

🐀 Regular Expression Denial of Service analyzer.

ct

⚡ The fastest line counter. At least on my computer.

wstat

While language static analyzer

bait

A ω-regular language inclusion checker

buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking

CppMakeMaker

Makefile generator for C++ small projects

master-thesis

Master thesis

hile

Interpreter for the While language

parallellisp

Lisp, but functional and parallel

protocol-validation

Banesso

VSC dark theme, canesso-based.

core

Core language parser

glossario-swe

Glossario di Ingegneria del Software

leesp

Lisp interpreter with implicit Garbage Collector

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

base16-zathura

base16 colors for zathura

ChessTournament

Chess tournament GUI manager

FORKLIFT

The program FORKLIFT is an inclusion checker for Büchi automata. The input format of the automata is described here: http://languageinclusion.org/doku.php?id=tools#the_ba_format

implementations

Implementations of program analysis tools with a focus on machine code

latex_snippets

Easy snippets to write faster LaTeX (in Visual Studio Code)

mariana-trench

A security focused static analysis tool for Android and Java applications.

markdown

A Python implementation of John Gruber’s Markdown with Extension support.

parof.github.io

ProgettoTecWeb

Progetto di un corso di tecnologie web all'università.

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

ziglings

Learn the Zig programming language by fixing tiny broken programs.