Alex Kozik's Projects
A website for visualizing algorithms and data structures.
A Centralized Cryptocurrency
A course recommendation system to help people select what courses to take in college.
A productivity software that uses machine learning to optimally schedule a user's tasks.
A platform that allows users to track their habits and communicate with other users through servers.
A lambda calculus interpreter
Config files for my GitHub profile.
A very simple interpreted programming language written in python.
An interpreter for a functional, programming language with support for polymorphic ADTs, higher-kinded types, and more!
A compiler/interpreter for a declarative programming language inspired by Scala and Haskell
Minecraft, but I made it in 48 hours.
A library of machine learning algorithms written in python
A very simple NLP model using NGrams
My portfolio website
My research poster for REUSE 2024
An interpreted programming language written in java that uses recursive descent parsing
Educational Proof Assistant for Type Theory
A machine learning library written in Rust
Solves various math problems