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. goal-misgen goal-misgen Public

   Python 1

4. eink-pdf-llm eink-pdf-llm Public

   E-ink PDF viewer with Claude AI integration for Boox tablets

   Kotlin 1

5. ai-safety-researcher ai-safety-researcher Public

   Shell 1

6. 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