Projects (my GitHub, also posts)

• text2task
  Describe a task in natural language and see an agent perform it! (Master’s thesis)
  Language: Python | ⭐ 0

• stochastic-reward-machines
  Code for our AAAI-22 paper Reinforcement Learning with Stochastic Reward Machines
  Language: C++ | ⭐ 1

• snaskell
  A simple Haskell-inspired programming language with user defined data types and type checking, templates/generics, simple pattern matching, and recursive functions with optional memoization
  Language: Python | ⭐ 0

• game-idris
  A 2D platformer in Idris, a dependently-typed purely functional programming language
  Language: Idris | ⭐ 22

• min-cost-flow-minimum-quantities
  An evolutionary algorithm for solving the minimum cost network flow with minimum quantities problem
  Language: C++ | ⭐ 0

• vision-transformer-quantization
  We implemented quantization methods for visual transformers and analyzed tradeoffs between model performance and accuracy. (Visage Technologies internship)
  Language: Python | ⭐ 0

See more on my GitHub!