damianoazzolini

Damiano Azzolini's repositories

pasta

Tool to perform various types of inference in probabilistic answer set programs under the credal semantics and with statistical statements.

Language:PythonGPL-3.07 5 16

plstat

Statistics using prolog

Language:PrologGPL-3.07 30

probat

Property based testing Prolog programs.

Language:PrologMIT300

plplot

Plot graphs in SWI Prolog using plplot

Language:CMIT2 10

solidity

Solidity, the Contract-Oriented Programming Language

Language:C++GPL-3.02 30

graphpl

SWI prolog package to manage graphs

Language:PrologMIT1 10

symbolicdiff

Symbolic differentiation and more

Language:Prolog1 20

aspmc

An efficient compilation based algebraic answer set counter.

Language:PythonMIT000

bitcoin

Bitcoin Core integration/staging tree

Language:C++MIT000

damianoazzolini.github.io

My blog website

Language:SCSSMIT010

matrixOperations

Common matrix operations implemented in prolog

Language:Prolog000

rasp

A REPL for ASP (clingo)

Language:PythonGPL-3.0000

gentians

GENTIANS: GENeTic algoritm for Inductive learning of ANswer Set programs.

Language:Python020

my_c_application

This repository contains a simple C application.

Language:Dockerfile000

pasta_website

Website for PASTA

Language:HTMLGPL-3.0000

swipl-devel

Main development repository

Language:CNOASSERTION000