airobert Goto Github PK

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.

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

del

Dynamic Epistemic Model Checking

demo_action

DEMO¿Action! (as an extension of DEMO 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

holala

HOLALA is HOL Light with an extended kernel

holide

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.

ing

Watson and Pollack's intransitive numbers game

lisa

just some test files for the supercomputer LISA :)

mmpp-bnaic

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

mymatlabroboticsplayground

My Matlab Robotics Playground

phd_play_ground

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