Beast code in Giters

Ben Hudson's repositories

Propositional theorem prover using Wang's algorithm

Language:Prolog7 20

Complexity analysis, type safety, soundness, etc.

Language:AgdaMIT2 3 1

Random 'Friends' episode name generator

Language:Python200

Agda implementation of focusing in the negative fragment of intuitionistic logic

Language:Agda1 20

Create a Spotify playlist with your top 100 songs

Language:Python100

Language:HTML000

Exploring (canned) craft beer in California using Python and PixieDust

Language:Jupyter Notebook000

Propositional theorem prover using the tableaux method and FOL theorem prover using resolution

Language:OCaml000

Python Helper library for Jupyter Notebooks

Language:Jupyter NotebookApache-2.0000

Yet Another Redis-backed Bloom filter

Language:Python000

Tutorial: in-database machine learning with Db2 Warehouse on Cloud

000

Some Project Euler solutions

Language:Python000

Nessie: Transactional Catalog for Data Lakes with Git-like semantics

Language:JavaApache-2.0000

PixieApp for lightweight stock data visualization

Language:Python000

A mobile friendly Vim cheat sheet

Language:HTMLMIT000