Vim-fork focused on extensibility and usability

A fast type checker and language server for Python

A fast TypeScript type-checker

ClassroomLM allows educational institutions to create specialized AI assistants for their classrooms.

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Python web framework defining the performance limits of Python web development

A markdown terminal slideshow tool

A Git-compatible VCS that is both simple and powerful

My solutions to leetcode problems

The Feldera Incremental Computation Engine

advanced compilers

An experimental project to bring MLIR to P4C.

base16 color schemes in Lua for Neovim

Public slides and assignments for CSCI-UA.04900: Special Topics in Programming Languages

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

A complete computer science study plan to become a software engineer.