A collection of intra-procedural static analyses for Java programs implemented using Soot.

The Flix Programming Language

🌀 Experience tranquillity while browsing the web without people tracking you!

A maven plugin capable or running the JMH benchmarks found in the test sources.

This innovative application has the power to make technology accessible for the deaf and mute community, facilitating improved communication. Using computer vision, this software identifies America…

A powerful and user-friendly binary analysis platform!

A lexer, parser and interpretor made using C.

An interactive theorem prover based on lambda-tree syntax

radius2 is a fast binary emulation and symbolic execution framework using radare2

Golf-score-tracker made using C.

A parser for Lua 5.1 written in Python

A simple computer vision code using openCV and CVzone to detect your hand and give it landmarks. These landmarks are then transferred to a C# code in Unity which uses the landmarks to initialise sp…

A To-Do list app made using Swift and SwiftUI.

File sorting system

A simple calculator app using swift and storyboard

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

BNF Converter

Resource gathering + programming game

Documenting my journey through OSDev

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Library to collect NSE data in pandas dataframe

A minimal, statically typed, procedural programming language

A simple programming language with only GOTO statements for control flow.

A simple programming language with only GOTO statements for control flow.

A simple calculator written in OCaml.

Python Lex-Yacc

Python Command-Line Ghidra Decompiler