Skip to content
View xaviripo's full-sized avatar

Block or report xaviripo

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

Hello!

👋 My name is Xavier Ripoll. I am a computer scientist and mathematician with interest in

  • 🤖 Automated theorem proving
  • 💬 Programming and natural languages
  • 🧮 Type and category theory

🎓 I have a Master in Logic by the University of Amsterdam, and a Bachelor in Mathematics and another one in Computer Science by the University of Barcelona.

🧑‍💻 I am currently working at Formal Vindications trying to make software verification accessible to the general public.

✉️ You can find my contact info on my website.

⤵️ See some of the stuff I do for fun below!

Pinned Loading

  1. bachelor-thesis bachelor-thesis Public

    Bachelor's Thesis (Mathematics / Computer Science and Software Engineering @ University of Barcelona). See Releases for final version.

    Agda

  2. peano peano Public

    Peano Arithmetic in Untyped Lambda Calculus (in Coq)

    Makefile

  3. wiris/html-integrations wiris/html-integrations Public

    The official JavaScript library for MathType, the leading formula editor and equation writer for the web by Wiris

    JavaScript 76 53

  4. wschess wschess Public

    ♟️🔌 WebSocket-based chess server and client

    TypeScript

  5. fmpd fmpd Public

    Download any number of Facebook pictures given a list of their FBIDs.

    TypeScript 9 4

  6. griddy griddy Public

    🧩 An app to generate puzzles on any topic

    TypeScript