airobert

PhD_play_ground

DEL

Dynamic Epistemic Model Checking

DEMO_ACTION

DEMO¿Action! (as an extension of DEMO S5)

ING

Watson and Pollack's intransitive numbers game

aa2

Advanced Algorithms 2

AgentCalculus

This is a repo for my test of Agent Calculus, a new agent-oriented platform for Multi-agent sytems for simulation of chemical reaction and biological interactions.

holala

HOLALA is HOL Light with an extended kernel

holide

MMPP-BNAIC

this repo contains the code and the page with the videos in support of my poster paper to BNAIC

C3GI

The data corresponding to my paper Reasoner-Aid Research: Popularity and Potentials

coursesbackup

courses backup

DeepLearningElmanNeuralNetwork

just a repo as a deep learning playground

DeepS5

modal logic S5

DirtySudoku

code for TFML

Enki_Tutorial_with_Examples

robot simulation with enki

EvoTest

a tiny evolutionary algorithm to resolve my confusion while reading a paper

hpp-rbprm-corba

python bindings for the rbprm library

hpp_tests

some tests of hpp

hpp_tutorial

hyq-description

This package contains the description (mechanical, kinematic, visual, etc.) of the different HyQ robots. The files in this package are parsed and used by a variety of other components. Most users will not interact directly with this package.

lisa

just some test files for the supercomputer LISA :)

mymatlabroboticsplayground

My Matlab Robotics Playground

proofcloud

ProofCloud Search Engine

ProofCloud3

A new implementation of ProofCloud in OWL

R

R

Scala-DPLL

Scala DPLL SAT Solver

yices_haskell

Yices haskell bindings

z3

The Z3 Theorem Prover