Starred repositories
An Open-Source Claude-Code like Terminal based AI Pair Programmer
A simple shareit clone made using python and socket library.
Frontend for the subversion control system I built for my DBMS project!
A simple in memory key value store which achieves persistence through a log file.
A toy implementation of memory allocation in C. Done to better understand how memory allocation works in C.
A collection of intra-procedural static analyses for Java programs implemented using Soot.
A maven plugin capable or running the JMH benchmarks found in the test sources.
A powerful and user-friendly binary analysis platform!
An interactive theorem prover based on lambda-tree syntax
radius2 is a fast binary emulation and symbolic execution framework using radare2
A simple calculator app using swift and storyboard
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
A minimal, statically typed, procedural programming language
manishahaha09 / goto-lang
Forked from gaganchandan/goto-langA simple programming language with only GOTO statements for control flow.