Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Haskell implementation of a proof checker for Formal Sentential-Logic Proofs. Inspired by UCSD's PHIL 10 Course.
Now you can see the haters
What would a Shakespearean Haiku sound like? Technology (kinda) has the answer.
webPPL models of Imprecision in Absolute Gradable Adjectives, as part of a project from CSLI 2016 at Stanford University.
A quick PoC implementation of a Fibonacci Heap (and eventually a Priority Queue) in Python
Conduct recorded music in real-time with the leap motion!
Seeing something unexpected? Take a look at the
GitHub profile guide.