designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist
-
University of Michigan
- Ann Arbor, MI
- http://web.eecs.umich.edu/~comar
Highlights
- Pro
Pinned Loading
-
hazelgrove/hazel
hazelgrove/hazel PublicHazel, a live functional programming environment with typed holes
-
rustviz/rustviz
rustviz/rustviz PublicInteractively Visualizing Ownership and Borrowing for Rust
-
scidash/sciunit
scidash/sciunit PublicA Python framework for test-driven validation of scientific models.
479 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Activity overview
Loading
Contribution activity
April 2025
Created 14 commits in 1 repository
Reviewed 6 pull requests in 1 repository
hazelgrove/hazel
6 pull requests
-
bring back function ap in stepper
This contribution was made on Apr 16
-
Menhir generator shrinking
This contribution was made on Apr 15
-
Treat List Cons as constructor when it has indet tail
This contribution was made on Apr 9
-
[cleanup] remove mode code
This contribution was made on Apr 9
-
Added introduce action
This contribution was made on Apr 8
-
[cleanup] Create interfaces for evaluator and evaluator step
This contribution was made on Apr 2
Created an issue in hazelgrove/hazel that received 3 comments
Merge sort timing out
I can't get merge sort to work :( This scratchpad shows that at least the split function works and I can recursively mergesort when I recurse on th…
3
comments
Opened 2 other issues in 1 repository
hazelgrove/hazel
2
open
-
Floating point operator completion inserts extra star
This contribution was made on Apr 9
-
ExplainThis for fixpoints causes Hazel to hang
This contribution was made on Apr 2
6
contributions
in private repositories
Apr 3 – Apr 19