Pinned Repositories
Agda
Complexity analysis, type safety, soundness, etc.
benhuds.github.io
craftbeer-data
Exploring (canned) craft beer in California using Python and PixieDust
focusing
Agda implementation of focusing in the negative fragment of intuitionistic logic
friends-gen
Random 'Friends' episode name generator
ocaml-provers
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
spotify-top-songs
Create a Spotify playlist with your top 100 songs
wangs-algorithm
Propositional theorem prover using Wang's algorithm
yarb
Yet Another Redis-backed Bloom filter
nessie
Nessie: Transactional Catalog for Data Lakes with Git-like semantics
benhuds's Repositories
benhuds/wangs-algorithm
Propositional theorem prover using Wang's algorithm
benhuds/Agda
Complexity analysis, type safety, soundness, etc.
benhuds/friends-gen
Random 'Friends' episode name generator
benhuds/focusing
Agda implementation of focusing in the negative fragment of intuitionistic logic
benhuds/spotify-top-songs
Create a Spotify playlist with your top 100 songs
benhuds/benhuds.github.io
benhuds/craftbeer-data
Exploring (canned) craft beer in California using Python and PixieDust
benhuds/ocaml-provers
Propositional theorem prover using the tableaux method and FOL theorem prover using resolution
benhuds/pixiedust
Python Helper library for Jupyter Notebooks
benhuds/yarb
Yet Another Redis-backed Bloom filter
benhuds/db2w-ml-examples
Tutorial: in-database machine learning with Db2 Warehouse on Cloud
benhuds/euler
Some Project Euler solutions
benhuds/nessie
Nessie: Transactional Catalog for Data Lakes with Git-like semantics
benhuds/stockviewer
PixieApp for lightweight stock data visualization
benhuds/vim-cheat-sheet
A mobile friendly Vim cheat sheet