{"id":35102381,"url":"https://github.com/monadplus/monadplus","last_synced_at":"2026-04-07T14:31:47.737Z","repository":{"id":128354943,"uuid":"294631320","full_name":"monadplus/monadplus","owner":"monadplus","description":null,"archived":false,"fork":false,"pushed_at":"2024-08-13T16:03:25.000Z","size":1110,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-12-29T10:53:33.414Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":null,"has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/monadplus.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2020-09-11T07:56:38.000Z","updated_at":"2024-08-13T16:03:28.000Z","dependencies_parsed_at":null,"dependency_job_id":"f06a7264-8d29-4ef7-b169-f5fe945a5cec","html_url":"https://github.com/monadplus/monadplus","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/monadplus/monadplus","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/monadplus%2Fmonadplus","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/monadplus%2Fmonadplus/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/monadplus%2Fmonadplus/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/monadplus%2Fmonadplus/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/monadplus","download_url":"https://codeload.github.com/monadplus/monadplus/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/monadplus%2Fmonadplus/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31515394,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-07T03:10:19.677Z","status":"ssl_error","status_checked_at":"2026-04-07T03:10:13.982Z","response_time":105,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-12-27T17:02:44.878Z","updated_at":"2026-04-07T14:31:47.720Z","avatar_url":"https://github.com/monadplus.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003ca href=\"https://monadplus.pro/\"\u003e\n  \u003cimg align=\"right\" alt=\"Arnau Abella | Blog\" width=\"50px\" src=\"https://raw.githubusercontent.com/monadplus/monadplus/master/assets/blog.png\" /\u003e\n\u003c/a\u003e\n\u003ca href=\"https://monadplus.pro/assets/documents/cv.pdf\"\u003e\n  \u003cimg align=\"right\" alt=\"Arnau Abella | CV\" width=\"50px\" src=\"https://raw.githubusercontent.com/monadplus/monadplus/master/assets/cv.png\" /\u003e\n\u003c/a\u003e\n\n![visit counter](https://komarev.com/ghpvc/?username=monadplus\u0026color=lightgrey\u0026style=for-the-badge)\n\nOpen source \u0026 personal projects:\n- Haskell\n  - 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)\n  - Contributor: [libsodium-bindings](https://github.com/haskell-cryptography/libsodium-bindings), [prometheus-port](https://github.com/on-ramp/prometheus-port)\n  - Talks: [Parallelism and Concurrency in Haskell](https://github.com/monadplus/parconc-notes/tree/main/talk)\n- Rust\n  - Author: [elgato-keylight](https://github.com/monadplus/elgato-keylight), [better-default-derive](https://crates.io/crates/better-default-derive)\n  - Contributor:\n  - Talks:\n- Scala\n  - Author: [equality](https://github.com/monadplus/equality), and [DCORE](https://github.com/dtim-upc/DCORE)\n  - Contributor: [fs2](https://github.com/typelevel/fs2), and [scala-pet-store](https://github.com/pauljamescleary/scala-pet-store)\n  - 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)\n- Python: [Stroke Prediction](https://github.com/monadplus/ml-project)\n- C++: [Box Wrapping Problem](https://github.com/monadplus/box_wrapping_problem)\n- Agda: [Programming Language Foundation in Agda (Solutions)](https://github.com/monadplus/plfa-solutions)\n- Dotfiles:\n  - [Arch Linux](https://github.com/monadplus/dotfiles)[^1] / [NixOS](https://github.com/monadplus/old-nixos-configuration)[^1]\n  - [Neovim](https://github.com/monadplus/nvim)\n  - [Keyboardio](https://github.com/monadplus/Kaleidoscope)\n- Miscellaneous: [polybar-tidal](https://github.com/monadplus/polybar-tidal)\n\nEducation:\n- BSc in Computer Science at Facultat d'Informàtica de Barcelona ([FIB](https://www.fib.upc.edu/en)).\n- MSc in Computer Science at Universitat Politècnica de Catalunya ([UPC](https://www.fib.upc.edu/))\n\nProfessional projects:\n- Payment gateway\n- Real-time Open Street Maps TSP engine\n- Knowledge management system for museums \u0026 private collections\n- Smartphone as remote controller for industrial cold rooms\n\n![monadplus's GitHub stats](https://github-readme-stats.vercel.app/api?username=monadplus\u0026count_private=true\u0026theme=dracula)\n\n[^1]: Private for security reasons\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmonadplus%2Fmonadplus","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmonadplus%2Fmonadplus","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmonadplus%2Fmonadplus/lists"}