hkrsnd Goto Github PK

.emacs.d

8puzzle_lisp

alphailp

alphaILP

anon-deictic-segment-anything

auto-matome

auto-matome with clojure

bidsestimation

bitzeny

BitZeny Core integration/staging tree

blog

clevr-hans

Repository for the CLEVR-Hans dataset

collective_intelligence

Collective Intelligence with Python and Scala

compose-visual-relations

[NeurIPS 2021 Spotlight] Code for Learning to Compose Visual Relations

coq

dalle-mini

DALL·E Mini - Generate images from a text prompt

dilp-core

Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Journal of Artificial Intelligence Research 61 (2018): 1-64.

dilp-st

ecjoy

emacs

.init.el

folpy

An implementation of first-order logic in Python.

folrs

First-order Logic in Rust

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

functional_programming_in_scala

handdetectioncv

handmotion

HandMotion

haradabot

harada no bot

haskell

すごいHaskell

hikarushindo.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

ilp_bdd

Enumerate solutions of ILP problems as BDD

kyotomc

kyotomc-1

loa

Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games