Skip to content
View p-ndr's full-sized avatar
🛠️
🛠️
22 followers · 21 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) and translator with an interest in art.
My hobbies include drawing, reading, listening to music, and learning languages (Chinese, French and German).
I no longer appear plain; I always come outside with light makeup and a tailor-made outfit. It feels good to look nice.
I mostly code in Python, Rust, and Coq. I love CPP, C, assembly, and other similar languages.
I'm very fond of low-level programming.

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