Skip to content
View p-ndr's full-sized avatar
🛠️
🛠️
23 followers · 22 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report p-ndr

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
p-ndr/README.md

Hello, Nerdanel here.


A theoretical computer scientist (aspiring logician) with an interest in art and mathematics, and fondness of low-level programming, terminals and Linux.
I draw, paint, read, listen to music, learn languages (Chinese, French and German), and new make-up and nail design hacks in my spare time. Above all these, I love spending time with my friends.
I'm working on my thesis these days. I hope to develop simple, useful and open source tools in the near future and publish regularly to my hashnode post-defense. Stay tuned :)

Pinned Loading

  1. lambda2 lambda2 Public

    An implementation of Lambda2 in Coq.

    Coq

  2. weak-omega weak-omega Public

    An implementation of lambda weak omega in Coq, with report.

    Coq 1

  3. act-project act-project Public

    A (hastily-written) interpreter for the simple program described in Computability, Complexity and Languages, M. Davis, R. Segal, E. Weyuker, 2nd Edition, taught in Advanced Computability Theory cou…

    Python 1

  4. cpl cpl Public

    An implementation of natural deduction for Classical Propositional Logic.

    Coq 1