Skip to content
View monadplus's full-sized avatar
Block or Report

Block or report monadplus

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
monadplus/README.md
Arnau Abella | Blog Arnau Abella | CV

Open source & personal projects:

Education:

  • BSc in Computer Science at Facultat d'Informàtica de Barcelona (FIB).
  • MSc in Computer Science at Universitat Politècnica de Catalunya (UPC)

Professional projects:

  • Payment gateway
  • Real-time Open Street Maps TSP engine
  • Knowledge management system for museums & private collections
  • Smartphone as remote controller for industrial cold rooms

monadplus's GitHub stats

Footnotes

  1. Private, for security reasons 2

Pinned

  1. CPP-lang CPP-lang Public

    Educational imperative statically typed programming language.

    Haskell 3

  2. free-monads-by-example free-monads-by-example Public

    Sources from my blog posts about free monads

    Haskell 7

  3. nvim nvim Public

    Neovim configuration

    Lua 10 1

  4. rbst rbst Public

    Randomized Binary Search Trees (Martinez, and Roura, 1997)

    Haskell 4

  5. Kaleidoscope Kaleidoscope Public

    Forked from keyboardio/Kaleidoscope

    Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.

    C++

  6. Haskell: Profiling Haskell: Profiling
    1
    # Profiling in Haskell
    2
    
                  
    3
    __Do not get bogged down in microoptimizations before you've assessed any macro optimizations that are available. IO and the choice of algorithm  dominate any low level changes you may make. In the end you have to think hard about your code!__
    4
    
                  
    5
    Before starting to optimize: