Skip to content

Pull requests: typelevel/typelevel.github.com

New pull request New
5 Open 442 Closed
5 Open 442 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add circe as affiliate project
#515 opened Jun 1, 2024 by valencik Loading…
@valencik
GSoC 2024: add otel4s project
#500 opened Mar 12, 2024 by iRevive Loading…
2
WIP Expand description/mission on about page
#481 opened Dec 27, 2023 by valencik • Draft
@valencik
Use github-pages gem
#457 opened Jun 29, 2023 by kiendang Loading…
4
[WIP] Curated projects #272
#274 opened Feb 29, 2020 by Slakah Loading…
2 of 7 tasks
6
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.