Thanks to visit codestin.com
Credit goes to Github.com

Skip to content

Pull requests: hazelgrove/hazel

New pull request New
78 Open 869 Closed
78 Open 869 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

Make the algebra checker use alpha equivalence when comparing function terms
#2073 opened Jan 20, 2026 by Negabinary Loading…
1
Fix BigInt serialization through web worker postMessage
#2071 opened Jan 19, 2026 by disconcision Loading…
1
1
Add Claude Code GitHub Workflow
#2069 opened Jan 19, 2026 by disconcision Loading…
3
Patchworks tools as Hazel Exolivelit
#2065 opened Jan 17, 2026 by disconcision • Draft
@dm0n3y @disconcision
1
Probes III
#2061 opened Jan 14, 2026 by disconcision • Draft
14 of 33 tasks
1
Add testing infrastructure and a few tests for the prover
#2060 opened Jan 13, 2026 by Negabinary Loading…
1
Hazel CLI LSP
#2056 opened Jan 12, 2026 by disconcision • Draft
1
Project Mode
#2048 opened Nov 29, 2025 by russell-rozenbaum • Draft
9 tasks
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
Live typing
#1988 opened Oct 17, 2025 by 7h3kk1d Loading…
1 task done
@7h3kk1d
23
Line numbers
#1986 opened Oct 13, 2025 by Cryplo • Draft
11
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
ProTip! Filter pull requests by the default branch with base:dev.