Ben Hudson (@benhuds)
github

benhuds

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 829,270 (Top 29 %)
  • Followers 11
  • Following 15
  • Registered over 11 years ago
  • Most used languages
    Python
         40.0 %
    Agda     40.0 %
    Prolog
         20.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 145,420
  • Country Ranking
    Agda     41
    Prolog
         70

Top repositories

1

wangs-algorithm

Propositional theorem prover using Wang's algorithm
Prolog
7
star
2

Agda

Complexity analysis, type safety, soundness, etc.
Agda
2
star
3

friends-gen

Random 'Friends' episode name generator
Python
2
star
4

focusing

Agda implementation of focusing in the negative fragment of intuitionistic logic
Agda
1
star
5

spotify-top-songs

Create a Spotify playlist with your top 100 songs
Python
1
star