Hal Dai (haldai)

haldai

Geek Repo

Company:Nanjing University

Location:Nanjing, China

Home Page:daiwz.net

Github PK Tool:Github PK Tool

Hal Dai's repositories

Jurassic.pl

Call Julia code from Prolog

Language:CLicense:BSD-3-ClauseStargazers:28Issues:8Issues:0

LogicalVision2

Symbolic computer vision tool

Language:PrologLicense:GPL-3.0Stargazers:18Issues:5Issues:1

ABL_minimal

A minimal example of Abductive Learning

Language:Jupyter NotebookStargazers:13Issues:0Issues:0

LASIN

Combining Logical Abduction and Statistical INduction

Language:C++Stargazers:6Issues:0Issues:0

Logic-Vision

geometry learning with inductive logic programming

Language:PrologLicense:GPL-2.0Stargazers:5Issues:0Issues:0
Language:JavaStargazers:1Issues:4Issues:0

mydotfiles

My dotfiles

Language:Emacs LispStargazers:1Issues:2Issues:0

org-html-themes

How to export Org mode files into awesome HTML in 2 minutes

Language:CSSLicense:GPL-3.0Stargazers:1Issues:0Issues:0

org-slides

Reveal.js slides with Emacs Orgmode

Language:JavaScriptStargazers:1Issues:3Issues:0
Stargazers:0Issues:3Issues:0

DeepLog

Code and Data for DeepLog system

Language:PrologLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

emacs-jupyter

An interface to communicate with Jupyter kernels.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

dwl

dwm for Wayland

License:NOASSERTIONStargazers:0Issues:0Issues:0

LCL-PiBoy

Dotfiles for LCL PiBoy. Arch Linux + AwesomeWM

Language:LuaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

MONet-pytorch

Burgess et al. "MONet: Unsupervised Scene Decomposition and Representation"

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

paper-dl

CLI tool for downloading ai conference proceedings

Language:ShellStargazers:0Issues:1Issues:0

winetricks

Winetricks is an easy way to work around problems in Wine

Language:ShellLicense:LGPL-2.1Stargazers:0Issues:0Issues:0