arbimo Goto Github PK

4ir-chatsystem-demo

Demonstration code for the ChatSystem project

benchmarker

A tool for running planning benchmarks.

bnf-hddl2.1

Collaborative definition of HDDL Temporal extension

breeze-dataframe

Experimental implementation of type-safe Dataframes based on Breeze and shapeless.

casablanca

Provide tools for Named Entity Disambiguation in the process of semi-automatic document annotation for the Semantic Web.

cats

Lightweight, modular, and extensible library for functional programming.

chat-system

copla

Constraints and Planning framework

dahu

Dahu is a framework that facilitates autonomous decision making in cyber-physical systems.

dataq

Minimalist approach to querying fact databases.

debox

Fast, deboxed, specialized data structures for Scala

fape

FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.

fape-workspace

Bootstraps a workspace for FAPE

g2o

g2o: A General Framework for Graph Optimization

github-pages-deploy-action

Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.

graal-mill

Docker container for build configurations based on mill and graalvm.

ham

Hybrid Mction Models

hyperspectral-imager-controller

Code for generating mirror configurations of an hyperspectral imager, in order to minimize the number of acquisitions.

i3config

Repo for my various i3 configuration files and scripts

java2plant

A tool to generate PlantUML source files from java sources

jobshop

INSA project

jtorrentapi

Java API for BitTorrent

landscaper

A Scala library for exploring and manipulating data trees mixing collection and algebraic data types

lisp

markdown-workflow

A set of tools for my markdown workflow, using pandoc and gitit

mistral

mumoro

Multiobjective multimodal shortest path routing

ocaml-maxflow-project

Base project for the functional programming course

optic

osm4routing

Parse OpenStreetMap data for routing