Pinned Loading

1. text2tasktext2taskPublic

   Describe a task in natural language and see an agent perform it! (Master's thesis)

   Python

2. srmsrmPublic

   Code for our AAAI-22 paper Reinforcement Learning with Stochastic Reward Machines

   C++ 3 1

3. snaskellsnaskellPublic

   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

   Python

4. game-idrisgame-idrisPublic

   A 2D platformer in Idris, a dependently-typed purely functional programming language

   Idris 25 2

5. min-cost-flow-minimum-quantitiesmin-cost-flow-minimum-quantitiesPublic

   An evolutionary algorithm for solving the minimum cost network flow with minimum quantities problem

   C++

6. vision-transformer-quantizationvision-transformer-quantizationPublic

   Forked from open-mmlab/mmpretrain

   We implemented quantization methods for visual transformers and analyzed tradeoffs between model performance and accuracy. (Visage Technologies internship)

   Python