Skip to content

Pull requests: koka-lang/koka

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Conform to XDG spec in the interpreter
#753 opened Jul 17, 2025 by kyepskee Loading…
fix open resolve
#750 opened Jul 13, 2025 by TimWhiting Loading…
Fix task effect type
#746 opened Jul 3, 2025 by TimWhiting Loading…
Add unique local updates
#716 opened May 24, 2025 by TimWhiting Loading… 2 week release update
C macros for closure definitions
#713 opened May 17, 2025 by TimWhiting Draft
Hover links for Errors
#700 opened Apr 28, 2025 by TimWhiting Loading… 2 week release update
rename ref.modify -> ref.access
#694 opened Apr 17, 2025 by timbertson Loading…
Fix unicode support for C backend
#674 opened Feb 24, 2025 by ov7a Loading…
Unicode performance issue
#668 opened Feb 4, 2025 by TimWhiting Draft
Add a lazy string builder
#607 opened Nov 17, 2024 by TimWhiting Loading… Async / Next
Unique vectors
#550 opened Jun 9, 2024 by TimWhiting Loading… 2 week release update
Support external managed memory
#494 opened Apr 11, 2024 by TimWhiting Loading…
VM Backend
#464 opened Feb 6, 2024 by b-studios Draft
Update unicode
#461 opened Feb 3, 2024 by TimWhiting Loading… Async / Next
Libuv
#384 opened Dec 6, 2023 by TimWhiting Loading… Async / Next
Docs update
#364 opened Sep 22, 2023 by TimWhiting Loading…
match merging optimization
#363 opened Sep 22, 2023 by TimWhiting Loading… Optimizations
List additions
#321 opened Jan 8, 2023 by Matthew-Mosior Loading…
mod: [doc] performance -> inefficiency
#284 opened Jun 25, 2022 by mitsuji Loading…
Fix some typos
#278 opened Jun 10, 2022 by konsumlamm Loading…
Add github actions.
#213 opened Oct 28, 2021 by philderbeast Loading…
A variation of map for maybe types that avoids nesting
#210 opened Oct 24, 2021 by mbaulch Loading…
ProTip! Filter pull requests by the default branch with base:dev.