Popular repositories Loading

1. HoTT-Arend HoTT-Arend Public

   This repository contains a library of type definitions and constructions written in Arend that follow the Homotopy Type Theory book.

   6 2

2. Verifying-NN Verifying-NN Public

   C 1 1

3. strategic-knowledge-MARL strategic-knowledge-MARL Public

   Forked from FLAIROx/JaxMARL

   Multi-Agent Reinforcement Learning with JAX

   Python 1

4. amnet amnet Public

   Forked from ipapusha/amnet

   Affine Multiplexing Network Toolbox

   Python

5. quad_sim quad_sim Public

   Python

6. adversarial_examples adversarial_examples Public

   Python