Skip to content
View codrutiftode's full-sized avatar
13 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Block or report codrutiftode

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
codrutiftode/README.md

Hello there. I'm Codrin 👋

  • 🎓 First year Master's student of Mathematical Foundations of Computer Science @ Radboud University
  • 🎓 Bachelor in Computer Science from the University of Edinburgh
  • 💻 Dependently-typed programmer in Agda, Idris 2, and Rocq
  • 🔭 Functional programmer in Haskell and OCaml
  • 🔎 Effectful programmer in Koka
  • 🌱 Looking for creative projects in programming langage theory, especially related to dependently-typed languages.
  • 💻 (past): part-time front-end developer, experience with React, TypeScript and Next.js.

Pinned Loading

  1. pneumatrix pneumatrix Public

    A simulator for pneumatic circuits

    JavaScript 2

  2. ca-ascii ca-ascii Public

    3D Cellular Automaton Simulator in ASCII Art

    Haskell

  3. ascii-pic ascii-pic Public

    Convert an image to an ASCII art-like representation

    Python

  4. hospital-backend hospital-backend Public

    Forked from Vlad118/hospital-backend

    Python

  5. pizza-dronz pizza-dronz Public

    Path finding for a hypothetical drone delivery service, part of the Informatics Large Practical course @ UoE

    Java