Beast code in Giters

David Rajaratnam's repositories

Running Clingo as a FastAPI webservice to solve the Towers of Hanoi problem

Language:PythonMIT2 10

Bash modules

Language:Shell050

Gazebo Simulation interface for the Baxter Research Robot

Language:C++BSD-3-Clause020

🏎️ Git-mirror of the benchmark-tool

Language:Python000

Extension of clingo to handle constraints over integers

Language:C++GPL-3.0000

A grounder and solver for logic programs.

Language:C++MIT010

🕸️ A visualizer for graphs defined as logic programs

Language:PythonMIT000

My conda recipes

000

GGP utilities and functions for Python

Language:PythonMIT020

Conda recepies for potassco projects

Language:Python010

An Emas Major Mode for editing Answer Set Programs

Language:Emacs Lisp010

Language:TeXCC0-1.0000

🐙 Theory Loading For Clingo

Language:PythonMIT010