Explore projects
-
Updated
-
moex / Lazy lavender
CeCILL-C Free Software License AgreementLazy lavender is a simulation environment for "cultural knowledge evolution", i.e. experimenting with several agents evolving their own knowledge through interacting.
Updated -
ZIMMERMANN Paul / scrabble
GNU General Public License v3.0 onlyUpdated -
Updated
-
SCHERER Gabriel / inferno
MIT LicenseA library for constraint-based Hindley-Milner type inference.
Updated -
-
obelix / triskele
OtherTRISKELE stands for Tree Representations of Images for Scalable Knowledge Extraction and Learning for Earth observation
This project is originating from OBELIX team project from IRISA and aims to provide image hierarchical representations to be us
Updated -
Updated
-
MALANDAIN Mathias / GettingStartedWithModernCpp
Creative Commons Attribution Non Commercial Share Alike 4.0 International(Fork) A tutorial to provide a solid basis to start writing proper C++ code with the latest versions of the standard.
Updated -
Gazelle / Public / Simulation / Webservice Tester
Apache License 2.0Automated web-service tests, described as SoapUI projects.
Updated -
This repository contains the Coq/Iris proofs that accompany the paper Spy game---Verifying a local generic solver in Iris
Updated -
Updated
-
SLIMMEST / python-dfba-sampling
GNU General Public License v3.0 or laterUpdated -
-
-
Updated