Pinned

1. text2task text2task Public

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

   Python

2. stochastic-reward-machines stochastic-reward-machines Public

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

   C++ 3 1

3. snaskell snaskell Public

   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-idris game-idris Public

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

   Idris 23 2

5. min-cost-flow-minimum-quantities min-cost-flow-minimum-quantities Public

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

   C++

6. vision-transformer-quantization vision-transformer-quantization Public

   Forked from open-mmlab/mmpretrain

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

   Python