Popular repositories Loading

1. Adapting-Specifications-for-Reactive-Controllers Adapting-Specifications-for-Reactive-Controllers Public

   Specifications used in the evaluation of the paper 'Adapting Specifications for Reactive Controllers'

   1

2. train-procgen-pytorch train-procgen-pytorch Public

   Forked from jbkjr/train-procgen-pytorch

   Pytorch implementation on OpenAI's Procgen ppo-baseline, built from scratch.

   Python 1

3. ai-safety-researcher ai-safety-researcher Public

   Shell 1

4. scotus-metaphor-analyzer scotus-metaphor-analyzer Public

   Claude Code plugin for systematic metaphor analysis of Supreme Court opinions using MIPVU, CMT, and custom legal-metaphor taxonomy

   1

5. Public Public Public

6. SpecDegradeLAS SpecDegradeLAS Public

   Java 1