Beast code in Giters

Henry Poit's repositories

Andrew Ng's ML course

Language:Jupyter Notebook22 40

Isabelle/HOL formal methods for Julia

Julia end-to-end LSTM for one CPU

Language:Julia1 20

Markov Logic Network in Julia

Language:JuliaNOASSERTION1 2 2

Basic Blockchain implementation

Language:Julia020

AlphaGo beginning

Language:JuliaApache-2.0020

A framework for creating page objects for in-browser or WebDriver tests.

Language:DartApache-2.0010

Language:TeX020

Language:CSSMIT010