Popular repositories Loading

1. cis-6730-hw cis-6730-hw Public

   Assignments for CIS 6730, Spring 2023

   Dafny 2

2. 01-intro 01-intro Public

   Forked from maddyadams/01-intro

   Code to accompany first lectures & in-class exercises for CIS 552.

   Haskell

3. cwatson1998 cwatson1998 Public

   Config files for my GitHub profile.

4. spectrl_tool_perspectrl spectrl_tool_perspectrl Public

   Forked from keyshor/spectrl_tool

   Work in progress: adding perception to "A Composable Specification Language for Reinforcement Learning Tasks" (https://arxiv.org/abs/2008.09293).

   Python

5. cis-6730-hw-spin cis-6730-hw-spin Public

   CIS 6730 Spring 2023 HW #2

   Promela

6. reward-learning-rl reward-learning-rl Public

   Forked from avisingh599/reward-learning-rl

   [RSS 2019] End-to-End Robotic Reinforcement Learning without Reward Engineering

   Python