Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / hazelgrove/hazel issues and pull requests

#1428 - get rid of stack overflows in evaluator

Issue - State: closed - Opened by cyrus- 2 months ago - 1 comment

#1427 - Trampoline Evaluator

Pull Request - State: closed - Opened by Negabinary 2 months ago

#1427 - Trampoline Evaluator

Pull Request - State: closed - Opened by Negabinary 2 months ago

#1426 - Remove req_value from evaluator

Pull Request - State: closed - Opened by Negabinary 2 months ago - 1 comment

#1426 - Remove req_value from evaluator

Pull Request - State: closed - Opened by Negabinary 2 months ago - 1 comment

#1425 - Fix multiplication/division precedence

Pull Request - State: closed - Opened by 7h3kk1d 3 months ago - 1 comment

#1425 - Fix multiplication/division precedence

Pull Request - State: open - Opened by 7h3kk1d 3 months ago - 1 comment

#1424 - Multi-argument builtin functions can't handle casts around tuple

Issue - State: closed - Opened by Negabinary 3 months ago
Labels: bug, critical

#1424 - Multi-argument builtin functions can't handle casts around tuple

Issue - State: closed - Opened by Negabinary 3 months ago
Labels: bug, critical

#1423 - Redundancy check runs forever when given inconsistent types

Issue - State: open - Opened by Negabinary 3 months ago - 2 comments
Labels: bug, critical

#1422 - Param types update

Pull Request - State: open - Opened by isdiemer 3 months ago

#1422 - Param types update

Pull Request - State: closed - Opened by isdiemer 3 months ago

#1421 - Clean up CSS filters for drop shadows

Issue - State: open - Opened by Negabinary 3 months ago
Labels: cleanup

#1420 - Live Projectors

Pull Request - State: open - Opened by disconcision 3 months ago - 1 comment

#1420 - Live Projectors

Pull Request - State: open - Opened by disconcision 3 months ago - 2 comments

#1419 - expand cursor inspector for long messages

Issue - State: open - Opened by cyrus- 3 months ago
Labels: starter-project

#1419 - expand cursor inspector for long messages

Issue - State: open - Opened by cyrus- 3 months ago
Labels: starter-project

#1418 - Cursor inspector now uses typ equality as opposed to full structural equality

Pull Request - State: open - Opened by 7h3kk1d 3 months ago - 3 comments

#1417 - Markdown Projectors

Pull Request - State: open - Opened by 7h3kk1d 3 months ago

#1416 - Added refine for products and arrows

Pull Request - State: open - Opened by 7h3kk1d 4 months ago - 3 comments

#1416 - Added refine for products and arrows

Pull Request - State: open - Opened by 7h3kk1d 4 months ago - 3 comments

#1415 - Make autosave more reliable post-Bonsai

Pull Request - State: closed - Opened by Negabinary 4 months ago

#1414 - Updated-tutorial-systems

Pull Request - State: open - Opened by reevafaisal 4 months ago

#1414 - Updated-tutorial-systems

Pull Request - State: open - Opened by reevafaisal 4 months ago - 1 comment

#1412 - Exp to segment

Pull Request - State: open - Opened by Negabinary 4 months ago - 2 comments

#1412 - Exp to segment

Pull Request - State: closed - Opened by Negabinary 4 months ago - 3 comments

#1411 - Make term tests

Pull Request - State: closed - Opened by 7h3kk1d 4 months ago

#1410 - Run @ocaml-index as part of building

Pull Request - State: closed - Opened by 7h3kk1d 4 months ago

#1409 - Add deriving eq so we can test the editor/zippers

Pull Request - State: closed - Opened by 7h3kk1d 4 months ago - 2 comments

#1407 - Improving Scrollabilty for Page-End Editing

Issue - State: open - Opened by GuoDCZ 4 months ago
Labels: style

#1406 - Make the data constructors in termbase distinct

Pull Request - State: closed - Opened by 7h3kk1d 5 months ago

#1404 - Remove unnecessary print statement

Pull Request - State: closed - Opened by 7h3kk1d 5 months ago
Labels: cleanup

#1403 - every action is being printed in the console

Issue - State: closed - Opened by cyrus- 5 months ago - 1 comment
Labels: bug

#1402 - Fix deferrals

Pull Request - State: closed - Opened by 7h3kk1d 5 months ago

#1400 - Switch to Bonsai

Pull Request - State: closed - Opened by Negabinary 5 months ago

#1399 - Missing labeled tuple labels elboration

Pull Request - State: closed - Opened by 7h3kk1d 5 months ago - 1 comment

#1398 - Grading Requirements Editor

Pull Request - State: closed - Opened by facundoy 5 months ago

#1396 - projectors break application/subtraction remolding

Issue - State: open - Opened by disconcision 5 months ago - 1 comment
Labels: bug

#1395 - Strudelize Hazel

Pull Request - State: open - Opened by disconcision 5 months ago - 2 comments

#1394 - New exercise button

Issue - State: open - Opened by cyrus- 5 months ago

#1393 - Track unbound variables in expressions

Pull Request - State: closed - Opened by Negabinary 5 months ago - 1 comment

#1392 - Fix haz3lschool

Issue - State: open - Opened by gcrois 5 months ago
Labels: bug

#1391 - Try declaring a regular recursive type for exp as opposed to the recursive modules

Pull Request - State: closed - Opened by 7h3kk1d 5 months ago - 1 comment

#1390 - editing is slow when previous slide used stepper extensively

Issue - State: closed - Opened by cyrus- 5 months ago - 1 comment
Labels: bug, performance, critical

#1389 - can't use unbound variables - evaluator and stepper time out

Issue - State: closed - Opened by cyrus- 5 months ago - 3 comments
Labels: bug, critical

#1388 - refactor: use debug .. in for filter expression

Pull Request - State: open - Opened by tonyfettes 5 months ago

#1387 - Shaped Projectors

Pull Request - State: closed - Opened by disconcision 5 months ago - 1 comment
Labels: enhancement

#1386 - Exercise Import menu item doesn't accept clicks on label

Issue - State: open - Opened by disconcision 5 months ago
Labels: bug

#1385 - Missing Static Error For Free Constructor when used in Application

Issue - State: open - Opened by GuoDCZ 6 months ago - 1 comment
Labels: bug, critical

#1383 - Remove parens around hidden functions

Pull Request - State: closed - Opened by Negabinary 6 months ago

#1382 - Remove parens in weak_head_normalize

Pull Request - State: closed - Opened by Negabinary 6 months ago

#1380 - Redundancy / Exhaustiveness doesn't work with parenthesized types

Issue - State: closed - Opened by Negabinary 6 months ago - 2 comments
Labels: bug, starter-project

#1378 - Mark warnings as errors in release and warnings in dev

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago - 2 comments

#1377 - Utilize sparse-checkout for the builds repo

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago

#1376 - Theorem keyword

Pull Request - State: closed - Opened by thomasporter522 6 months ago - 3 comments

#1375 - fix fix-point matching in stepper filter

Pull Request - State: closed - Opened by tonyfettes 6 months ago

#1374 - Extension points

Issue - State: open - Opened by cyrus- 6 months ago - 1 comment

#1373 - Git Attributes

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago - 2 comments

#1372 - [meta] basic screen reader considerations

Issue - State: open - Opened by cyrus- 6 months ago

#1371 - Try making all of the ids type parameters

Pull Request - State: open - Opened by 7h3kk1d 6 months ago

#1370 - ListLit of Sum Type with Hole report Inconsistency in Static Checker

Issue - State: closed - Opened by GuoDCZ 6 months ago - 3 comments
Labels: bug, critical

#1369 - Additional tests

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago

#1368 - Code Coverage

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago - 2 comments

#1367 - Ability to share hazel programs via URL

Issue - State: open - Opened by disconcision 6 months ago
Labels: enhancement, starter-project

#1366 - Add a CI build for arm64 on OS X

Issue - State: open - Opened by 7h3kk1d 6 months ago

#1364 - Export Submission no longer works

Issue - State: open - Opened by cyrus- 6 months ago - 2 comments
Labels: bug, critical

#1363 - Clicking on opposite end of a selection doesn't trigger deselection

Issue - State: closed - Opened by disconcision 6 months ago - 1 comment
Labels: bug

#1362 - Selecting a space after a hole results in wrong selection deco

Issue - State: open - Opened by disconcision 6 months ago
Labels: bug

#1361 - Moving into textarea projector from left puts caret at previous position in textarea

Issue - State: closed - Opened by disconcision 6 months ago - 1 comment
Labels: bug

#1360 - Textarea projector loses caret position on Undo/Redo

Issue - State: open - Opened by disconcision 6 months ago
Labels: bug

#1359 - Projectors are not preserved under copy/paste

Issue - State: open - Opened by disconcision 6 months ago - 5 comments
Labels: bug, enhancement

#1358 - evaluation filters no longer working

Issue - State: closed - Opened by cyrus- 6 months ago - 1 comment
Labels: bug, critical

#1357 - free variables do not have errors in the dynamics

Issue - State: closed - Opened by cyrus- 6 months ago

#1356 - Fix source maps

Pull Request - State: closed - Opened by 7h3kk1d 6 months ago

#1355 - Exercise Description Editor

Pull Request - State: closed - Opened by facundoy 7 months ago - 1 comment

#1354 - elaboration returns none when entering a case rule

Issue - State: open - Opened by disconcision 7 months ago - 2 comments
Labels: bug

#1353 - Refactoring support [meta issue]

Issue - State: open - Opened by cyrus- 7 months ago

#1352 - Mutant Add Delete and Title Editor

Pull Request - State: closed - Opened by russell-rozenbaum 7 months ago

#1351 - Replace mousedown overlay with pointer capture

Issue - State: open - Opened by disconcision 7 months ago - 1 comment

#1350 - Reverse application

Pull Request - State: closed - Opened by Negabinary 7 months ago

#1349 - Check performance of the release build with student mode

Issue - State: open - Opened by 7h3kk1d 7 months ago - 1 comment
Labels: performance

#1344 - Try integrating brr as a online repl

Pull Request - State: open - Opened by 7h3kk1d 7 months ago - 1 comment

#1343 - Summer UI Refresh

Pull Request - State: closed - Opened by disconcision 7 months ago - 17 comments

#1341 - Use setup-ocaml github action

Pull Request - State: closed - Opened by 7h3kk1d 7 months ago - 1 comment

#1338 - Exercise description editor

Pull Request - State: closed - Opened by facundoy 7 months ago - 1 comment

#1337 - Random generation of UExps

Pull Request - State: open - Opened by ruiz-m 7 months ago - 5 comments

#1330 - tutorial-systems

Pull Request - State: open - Opened by reevafaisal 7 months ago

#1328 - Construct sexp

Pull Request - State: open - Opened by gcrois 7 months ago - 1 comment
Labels: assistant, in-development

#1327 - add hintedtest keyword

Pull Request - State: open - Opened by jacobziff 7 months ago - 2 comments

#1325 - Add and Delete Mutants

Pull Request - State: closed - Opened by russell-rozenbaum 7 months ago - 1 comment

#1322 - Adds theorem and proof construct [new base]

Pull Request - State: closed - Opened by nskh 7 months ago - 10 comments