Skip to content
View benhuds's full-sized avatar
11 followers · 15 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault Contributor
Block or Report

Block or report benhuds

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. Agda Agda Public

    Complexity analysis, type safety, soundness, etc.

    Agda 2

  2. spotify-top-songs spotify-top-songs Public

    Create a Spotify playlist with your top 100 songs

    Python 1

  3. wangs-algorithm wangs-algorithm Public

    Propositional theorem prover using Wang's algorithm

    Prolog 7 2

  4. yarb yarb Public

    Yet Another Redis-backed Bloom filter

    Python

  5. ocaml-provers ocaml-provers Public

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

    OCaml

  6. projectnessie/nessie projectnessie/nessie Public

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

    Java 925 120