Giters
Damiano Azzolini (damianoazzolini)

damianoazzolini

Geek Repo

24

followers

27

following

96

stars

Github PK Tool:Github PK Tool

Damiano Azzolini's starred repositories

muparser

muparser is a fast math parser library for C/C++ with (optional) OpenMP support.

Language:C++License:BSD-2-ClauseStargazers:404Issues:0Issues:0

pykan

Kolmogorov Arnold Networks

Language:Jupyter NotebookLicense:MITStargazers:13969Issues:0Issues:0

quickcheck

Randomized testing for Prolog à la QuickCheck

Language:PrologLicense:UnlicenseStargazers:22Issues:0Issues:0

asv

Airspeed Velocity: A simple Python benchmarking tool with web-based reporting

Language:PythonLicense:BSD-3-ClauseStargazers:854Issues:0Issues:0

operon

C++ Large Scale Genetic Programming

Language:C++License:MITStargazers:131Issues:0Issues:0

dpasp

Differentiable probabilistic answer set programming

Language:CLicense:MITStargazers:17Issues:0Issues:0

symengine

SymEngine is a fast symbolic manipulation library, written in C++

Language:C++License:NOASSERTIONStargazers:1125Issues:0Issues:0

pyparsing

Python library for creating PEG parsers

Language:PythonLicense:MITStargazers:2155Issues:0Issues:0

pykeen

🤖 A Python library for learning and evaluating knowledge graph embeddings

Language:PythonLicense:MITStargazers:1605Issues:0Issues:0

coreutils

upstream mirror

Language:CLicense:GPL-3.0Stargazers:4160Issues:0Issues:0

Unity

Simple Unit Testing for C

Language:CLicense:MITStargazers:3907Issues:0Issues:0

recur

symbolic regression

Language:PythonLicense:Apache-2.0Stargazers:34Issues:0Issues:0

littleballoffur

Little Ball of Fur - A graph sampling extension library for NetworKit and NetworkX (CIKM 2020)

Language:PythonLicense:GPL-3.0Stargazers:695Issues:0Issues:0

aspmc

An efficient compilation based algebraic answer set counter.

Language:PythonLicense:MITStargazers:5Issues:0Issues:0

ganak

The first scalable probabilistic exact counter

Language:C++License:MITStargazers:23Issues:0Issues:0

RelationalDatasets

A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

Stargazers:47Issues:0Issues:0

weighted-to-unweighted

Weighted to unweighted formula converter

Language:PythonStargazers:3Issues:0Issues:0

python-bibtexparser

Bibtex parser for Python 3

Language:PythonLicense:MITStargazers:459Issues:0Issues:0

multitime

Time command execution over multiple executions

Language:CLicense:MITStargazers:114Issues:0Issues:0

zuko

Normalizing flows in PyTorch

Language:PythonLicense:MITStargazers:283Issues:0Issues:0

louise

Polynomial-time Meta-Interpretive Learning

Language:PrologLicense:NOASSERTIONStargazers:94Issues:0Issues:0

Popper

An inductive logic programming system

Language:PythonLicense:MITStargazers:185Issues:0Issues:0

torch-imle

Implicit MLE: Backpropagating Through Discrete Exponential Family Distributions

Language:PythonLicense:MITStargazers:257Issues:0Issues:0

deepproblog

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

Language:PythonLicense:Apache-2.0Stargazers:181Issues:0Issues:0

normalizing-flows

Implementation of normalizing flows in TensorFlow 2 including a small tutorial.

Language:Jupyter NotebookLicense:GPL-3.0Stargazers:141Issues:0Issues:0

htd

A small but efficient C++ library for computing (customized) tree and hypertree decompositions.

Language:C++License:GPL-3.0Stargazers:46Issues:0Issues:0

nevergrad

A Python toolbox for performing gradient-free optimization

Language:PythonLicense:MITStargazers:3908Issues:0Issues:0

ModalDecisionTrees.jl

Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

Language:JuliaLicense:NOASSERTIONStargazers:15Issues:0Issues:0

SPFlow

Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks

Language:PythonLicense:NOASSERTIONStargazers:283Issues:0Issues:0

plingo

🍀 A system for probabilistic reasoning in clingo

Language:PythonLicense:MITStargazers:15Issues:0Issues:0