Explore projects
-
Hans-Jörg Schurr / veriT-schedgen
BSD 3-Clause "New" or "Revised" LicenseArchived 0Updated -
TousAntiCovid sources / Backend Server
Mozilla Public License 2.0Archived 0Updated -
KOVAC Grgur / SocialAI_old_deprecated
MIT LicenseNew version: https://github.com/flowersteam/social-ai
This project aims to create baselines and environments containing NPCs. NPCs are usefull because they enable us to study simple social interactions and "intertwined" multi-modal actions and observations.
Archived 1Updated -
This repository moved to https://framagit.org/simgrid/platform-calibration/
Archived 0Updated -
CHARGUERAUD Arthur / cfml2
Creative Commons Attribution 4.0 InternationalSeparation Logic with Characteristic Formulae Entirely within Coq
Archived 1Updated -
-
Archived 0Updated