Skip to content

Pull requests: effekt-lang/effekt

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

Pull requests list

Bump actions/checkout from 4 to 5 github-actions Pull requests that update GitHub Actions code
#1125 opened Sep 1, 2025 by dependabot bot Loading…
Bump actions/download-artifact from 4 to 5 github-actions Pull requests that update GitHub Actions code
#1124 opened Sep 1, 2025 by dependabot bot Loading…
1
Show instances for ground types
#1123 opened Aug 31, 2025 by mattisboeckle • Draft
2
Add benchmarks for compiling sequent calculus
#1121 opened Aug 28, 2025 by b-studios Loading…
2
Delete core expressions
#1117 opened Aug 27, 2025 by phischu Loading…
3
Move stream module to prelude
#1116 opened Aug 27, 2025 by phischu Loading…
1
Arity raising for record types
#1114 opened Aug 25, 2025 by konradbausch • Draft
Parse capture annotation syntax for (extern) function definitions
#1109 opened Aug 13, 2025 by dvdvgt Loading…
2
11
Basic dictionaries
#1103 opened Aug 7, 2025 by phischu • Draft
5 tasks
Implement namespaced constructors and operations
#1092 opened Jul 23, 2025 by b-studios Loading…
7
Add more (infix) operators
#1091 opened Jul 22, 2025 by b-studios Loading…
Never perform box inference
#1090 opened Jul 22, 2025 by b-studios Loading…
8
Implement first draft of or-patterns
#1081 opened Jul 14, 2025 by b-studios • Draft
1
Allow overloading for tags in match
#1079 opened Jul 9, 2025 by marzipankaiser • Draft
Add tcp servers and clients to standard library area:stdlib
#1058 opened Jun 23, 2025 by phischu Loading…
3 of 5 tasks
6
Concurrency primitives area:llvm area:stdlib
#1052 opened Jun 12, 2025 by phischu Loading…
7
Feature: UFCS on blocks experiment Experimental branch, do not merge!
#1046 opened Jun 10, 2025 by dvdvgt • Draft
3
Add support for custom flags based on environment
#1031 opened Jun 1, 2025 by marvinborner Loading…
3
Very WIP: Implement Monomorphization optimization experiment Experimental branch, do not merge!
#1024 opened May 26, 2025 by mattisboeckle • Draft
5 of 6 tasks
Simple HTTP requests library area:stdlib
#1020 opened May 23, 2025 by marzipankaiser • Draft
8
Add variant of loop / Control with a return value area:stdlib feature New feature or request
#985 opened May 13, 2025 by marzipankaiser • Draft
11
Delete everything that is not strictly necessary for core draft Draft PR, do not merge! experiment Experimental branch, do not merge!
#968 opened Apr 30, 2025 by b-studios • Draft
Stdlib: Binary/Byte stream utilities area:stdlib
#923 opened Apr 1, 2025 by marzipankaiser Loading…
27
Add 'panik' handler area:stdlib bug Something isn't working
#921 opened Apr 1, 2025 by jiribenes Loading…
2
Add support for property-based testing area:stdlib area:tests
#893 opened Mar 26, 2025 by lenakaeufel Loading…
25
ProTip! Type g i on any issue or pull request to go back to the issue listing page.