The Wayback Machine - https://web.archive.org/web/20210724215920/https://github.com/benhuds
Skip to content
Avatar
9 followers · 15 following · 22

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Highlights

  • Pro
Block or Report

Block or report benhuds

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. Agda

    Complexity analysis, type safety, soundness, etc.

    Agda 2

  2. spotify-top-songs

    Create a Spotify playlist with your top 100 songs

    Python

  3. wangs-algorithm

    Propositional theorem prover using Wang's algorithm

    Prolog 6 1

  4. yarb

    Yet Another Redis-backed Bloom filter

    Python

  5. ocaml-provers

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

    OCaml

  6. pixiedust

    Forked from pixiedust/pixiedust

    Python Helper library for Jupyter Notebooks

    Jupyter Notebook

2 contributions in the last year

Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Mon Wed Fri
Learn how we count contributions
Less More
Activity overview
Contributed to benhuds/benhuds.github.io

Contribution activity

July 2021

benhuds has no activity yet for this period.