Pinned Repositories
ABL_minimal
A minimal example of Abductive Learning
BLP-parser
dwl
dwm for Wayland
Jurassic.pl
Call Julia code from Prolog
LASIN
Combining Logical Abduction and Statistical INduction
Logic-Vision
geometry learning with inductive logic programming
LogicalVision2
Symbolic computer vision tool
mydotfiles
My dotfiles
org-html-themes
How to export Org mode files into awesome HTML in 2 minutes
org-slides
Reveal.js slides with Emacs Orgmode
haldai's Repositories
haldai/Jurassic.pl
Call Julia code from Prolog
haldai/LogicalVision2
Symbolic computer vision tool
haldai/ABL_minimal
A minimal example of Abductive Learning
haldai/LASIN
Combining Logical Abduction and Statistical INduction
haldai/Logic-Vision
geometry learning with inductive logic programming
haldai/BLP-parser
haldai/dwl
dwm for Wayland
haldai/mydotfiles
My dotfiles
haldai/org-html-themes
How to export Org mode files into awesome HTML in 2 minutes
haldai/org-slides
Reveal.js slides with Emacs Orgmode
haldai/Data
haldai/DeepLog
Code and Data for DeepLog system
haldai/emacs-jupyter
An interface to communicate with Jupyter kernels.
haldai/haldai.github.io
My blog
haldai/LCL-PiBoy
Dotfiles for LCL PiBoy. Arch Linux + AwesomeWM
haldai/MONet-pytorch
Burgess et al. "MONet: Unsupervised Scene Decomposition and Representation"
haldai/paper-dl
CLI tool for downloading ai conference proceedings
haldai/winetricks
Winetricks is an easy way to work around problems in Wine