Skip to content

Pull requests: hazelgrove/hazel

New pull request New
79 Open 857 Closed
79 Open 857 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

Gradescope update
#2053 opened Dec 17, 2025 by thomasporter522 Loading…
9
Project Mode
#2048 opened Nov 29, 2025 by russell-rozenbaum • Draft
2 of 3 tasks
1
chore: update dependencies
#2046 opened Nov 26, 2025 by cyrus- Loading…
1
Fix #1974 #2004
#2033 opened Nov 25, 2025 by dm0n3y Loading…
1
5
[WIP] Fix recursion issue causing stepper to break
#2028 opened Nov 25, 2025 by Copilot AI • Draft
2 of 5 tasks
1
@Negabinary
Log Replay
#2026 opened Nov 21, 2025 by Negabinary • Draft
1
1
add a service-worker and a patchwork-view element
#2021 opened Nov 19, 2025 by chee • Draft
cleanup: remove closure environment from FixF terms
#2015 opened Nov 12, 2025 by 7h3kk1d • Draft
1
Vim-like Keybindings
#2007 opened Nov 7, 2025 by Cryplo • Draft
1
Add unique and pivot_table functions to BuiltinsList
#2005 opened Nov 7, 2025 by 7h3kk1d Loading…
@7h3kk1d
10
Function that takes term transformations and lifts them to segment transformations
#2001 opened Nov 3, 2025 by 7h3kk1d • Draft
1
Probectors
#1998 opened Nov 3, 2025 by 7h3kk1d • Draft
23
Combine cursor inspector and error print cleanup
#1991 opened Oct 17, 2025 by 7h3kk1d Loading…
@7h3kk1d
18
Analyzed type for configuration editors
#1990 opened Oct 17, 2025 by 7h3kk1d • Draft
1
Dynamic typing feedback into static marking
#1988 opened Oct 17, 2025 by 7h3kk1d Loading…
1 task done
@7h3kk1d
23
Line numbers
#1986 opened Oct 13, 2025 by Cryplo • Draft
4
Hazel in Patchwork
#1959 opened Sep 16, 2025 by disconcision • Draft
1 task
1
Property based test that says parsing is history independent
#1938 opened Sep 4, 2025 by 7h3kk1d • Draft
Prevent same scratchpad names
#1916 opened Aug 31, 2025 by Cryplo Loading…
Exolivelits
#1911 opened Aug 29, 2025 by disconcision • Draft
1 task
1
allowed partial matches in pattern matching
#1910 opened Aug 28, 2025 by joshqwang • Draft
1
Bump vite-plugin-static-copy from 2.3.0 to 2.3.2 dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#1891 opened Aug 21, 2025 by dependabot bot Loading…
Selection snapping for associative terms [draft]
#1890 opened Aug 21, 2025 by nskh Loading…
5 tasks
3
Refractor Probes
#1879 opened Aug 20, 2025 by disconcision • Draft 100+
7
Handle function application in rewrite checker
#1877 opened Aug 19, 2025 by nskh Loading…
1
5
ProTip! Adding no:label will show everything without a label.