Skip to content
View Mafii's full-sized avatar
👨‍💻
Coding
👨‍💻
Coding
26 followers · 38 following

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Public SponsorAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro

Organizations

@messerli-informatik-ag @IDPA16 @myelin-ai @polyadic
Block or Report

Block or report Mafii

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

Hi there 👋

  • 🧑‍💻 I mostly enjoy coding in C#, Haskell and Rust, but I've used about a dozen of other languages over the last decade
  • 📃 When I find enough time, I try to contribute to Typst
  • 🔭 I did some work on a rust implementation of a game dialog system for the Yarn language, Yarn Slinger
  • 😀 I'm a functional programming enthusiast
  • 🎨 I'm a huge fan of Funcky (and Funcky.DiscriminatedUnion)
  • ☝️ I used to be somewhat active on StackOverflow
  • 👨‍🔬 One of my favorite projects is/was a Lambda Calculus Quasi Quoter for Haskell
  • 🎓 I'm currently doing my bachelor's degree in part time at OST
  • 🏢 My day-to-day work is mostly about web servers, build infrastructure and software deployment and installation

Pinned

  1. natemcmaster/LettuceEncrypt natemcmaster/LettuceEncrypt Public

    Free, automatic HTTPS certificate generation for ASP.NET Core web apps

    C# 1.5k 148

  2. YarnSpinnerTool/YarnSpinner-Rust YarnSpinnerTool/YarnSpinner-Rust Public

    The friendly tool for writing game dialogue in Rust

    Rust 121 10

  3. polyadic/funcky polyadic/funcky Public

    Funcky is a Functional Library for C#

    C# 18 3

  4. lost-university/web lost-university/web Public

    Vue 4

  5. mafi-lambda-calculus mafi-lambda-calculus Public

    Haskell 1

  6. IDPA16/Docs IDPA16/Docs Public archive

    Python 4