https://github.com/monadplus/monadplus

https://github.com/monadplus/monadplus

Last synced: 3 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/monadplus/monadplus
• Owner: monadplus
• Created: 2020-09-11T07:56:38.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-08-13T16:03:25.000Z (almost 2 years ago)
• Last Synced: 2025-12-29T10:53:33.414Z (6 months ago)
• Size: 1.06 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          


  





  



![visit counter](https://komarev.com/ghpvc/?username=monadplus&color=lightgrey&style=for-the-badge)

Open source & personal projects:

- Haskell

  - Author: [CPP-lang](https://github.com/monadplus/CPP-lang), [rbst](https://hackage.haskell.org/package/rbst), [floorplanning](https://github.com/monadplus/floorplanning), [parsing-by-example](https://github.com/monadplus/parsing-by-example), and [twitch game](https://github.com/monadplus/twitch-game)

  - Contributor: [libsodium-bindings](https://github.com/haskell-cryptography/libsodium-bindings), [prometheus-port](https://github.com/on-ramp/prometheus-port)

  - Talks: [Parallelism and Concurrency in Haskell](https://github.com/monadplus/parconc-notes/tree/main/talk)

- Rust

  - Author: [elgato-keylight](https://github.com/monadplus/elgato-keylight), [better-default-derive](https://crates.io/crates/better-default-derive)

  - Contributor:

  - Talks:

- Scala

  - Author: [equality](https://github.com/monadplus/equality), and [DCORE](https://github.com/dtim-upc/DCORE)

  - Contributor: [fs2](https://github.com/typelevel/fs2), and [scala-pet-store](https://github.com/pauljamescleary/scala-pet-store)

  - Talks: [Generic Programming in Scala with Shapeless](https://github.com/monadplus/intro-shapeless), and [Lenses in Scala with Monacle](https://github.com/monadplus/scala-lenses)

- Python: [Stroke Prediction](https://github.com/monadplus/ml-project)

- C++: [Box Wrapping Problem](https://github.com/monadplus/box_wrapping_problem)

- Agda: [Programming Language Foundation in Agda (Solutions)](https://github.com/monadplus/plfa-solutions)

- Dotfiles:

  - [Arch Linux](https://github.com/monadplus/dotfiles)[^1] / [NixOS](https://github.com/monadplus/old-nixos-configuration)[^1]

  - [Neovim](https://github.com/monadplus/nvim)

  - [Keyboardio](https://github.com/monadplus/Kaleidoscope)

- Miscellaneous: [polybar-tidal](https://github.com/monadplus/polybar-tidal)

Education:

- BSc in Computer Science at Facultat d'Informàtica de Barcelona ([FIB](https://www.fib.upc.edu/en)).

- MSc in Computer Science at Universitat Politècnica de Catalunya ([UPC](https://www.fib.upc.edu/))

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](https://github-readme-stats.vercel.app/api?username=monadplus&count_private=true&theme=dracula)

[^1]: Private for security reasons