Hal Dai's repositories
Jurassic.pl
Call Julia code from Prolog
LogicalVision2
Symbolic computer vision tool
ABL_minimal
A minimal example of Abductive Learning
Logic-Vision
geometry learning with inductive logic programming
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
DeepLog
Code and Data for DeepLog system
Language:PrologBSD-3-Clause000
emacs-jupyter
An interface to communicate with Jupyter kernels.
Language:Emacs LispGPL-3.0000
haldai.github.io
My blog
Language:JavaScriptGPL-3.0000
dwl
dwm for Wayland
NOASSERTION000
LCL-PiBoy
Dotfiles for LCL PiBoy. Arch Linux + AwesomeWM
Language:LuaBSD-3-Clause000
MONet-pytorch
Burgess et al. "MONet: Unsupervised Scene Decomposition and Representation"
winetricks
Winetricks is an easy way to work around problems in Wine
Language:ShellLGPL-2.1000