Skip to content
View bolt12's full-sized avatar
🍛
Cooking
🍛
Cooking
133 followers · 224 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report bolt12

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

Armando Santos 🚀

Haskell Consultant at Well-Typed

🎓 Background:
I hold a Master’s in Computer Engineering from the University of Minho, specializing in Formal Methods in Software Engineering and Distributed Systems. My main interests include algebra of programming, abstract mathematics, and well-designed libraries.

🔍 Professional Experience:
In addition to consulting, I'm active in the Functional Programming community and have made several open-source contributions. I am a Haskell Consultant at Well-Typed.

🛠 Interests:
Besides coding, I really enjoy cooking and learning languages!

🔗 Connect:
Twitter 🐦 | LinkedIn 🌐

Pinned Loading

  1. advent-of-haskell-dd advent-of-haskell-dd Public

    Day 9 of Advent of Haskell - Denotational Design

    97 3

  2. laop laop Public

    Linear Algebra of Programming - Algebraic Matrices in Haskell

    Haskell 84 5

  3. tymfgg-pearl tymfgg-pearl Public

    Type Your Matrices For Great Good

    TeX 30 3

  4. master-thesis master-thesis Public

    Selective Functors & Probabilistic Programming

    TeX 23 1

  5. study-for-free study-for-free Public

    Notes of various papers regaridng free monads and extensible effects

    Haskell 20 1

  6. tabShare tabShare Public

    Share your Google Chrome Tabs easily

    JavaScript 2