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

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

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

#1409 - Editor/Parsing tests

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

#1407 - Improving Scrollabilty for Page-End Editing

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

#1406 - Make the data constructors in termbase distinct

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

#1405 - Readd warnings failing build in dev but exclude some unused warnings

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

#1404 - Remove unnecessary print statement

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

#1403 - every action is being printed in the console

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

#1402 - Fix deferrals

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

#1401 - Add some additional tests to be useful for the labeled tuples branch

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

#1400 - Switch to Bonsai

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

#1399 - Missing labeled tuple labels elboration

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

#1398 - Grading Requirements Editor

Pull Request - State: open - Opened by facundoy 2 months ago

#1396 - projectors break application/subtraction remolding

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

#1395 - Strudelize Hazel

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

#1394 - New exercise button

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

#1393 - Track unbound variables in expressions

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

#1392 - Fix haz3lschool

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

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

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

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

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

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

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

#1387 - Shaped Projectors

Pull Request - State: open - Opened by disconcision 3 months ago
Labels: enhancement

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

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

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

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

#1383 - Remove parens around hidden functions

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

#1382 - Remove parens in weak_head_normalize

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

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

Issue - State: closed - Opened by Negabinary 3 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 3 months ago - 2 comments

#1377 - Utilize sparse-checkout for the builds repo

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

#1376 - Theorem keyword

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

#1375 - fix fix-point matching in stepper filter

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

#1374 - Extension points

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

#1373 - Git Attributes

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

#1372 - [meta] basic screen reader considerations

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

#1371 - Try making all of the ids type parameters

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

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

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

#1369 - Additional tests

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

#1368 - Code Coverage

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

#1367 - Ability to share hazel programs via URL

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

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

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

#1364 - Export Submission no longer works

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

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

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

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

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

#1359 - Projectors are not preserved under copy/paste

Issue - State: open - Opened by disconcision 4 months ago
Labels: bug, enhancement

#1358 - evaluation filters no longer working

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

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

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

#1356 - Fix source maps

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

#1355 - Exercise Description Editor

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

#1354 - elaboration returns none when entering a case rule

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

#1353 - Refactoring support [meta issue]

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

#1352 - Mutant Add Delete and Title Editor

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

#1351 - Replace mousedown overlay with pointer capture

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

#1350 - Reverse application

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

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

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

#1344 - Try integrating brr as a online repl

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

#1343 - Summer UI Refresh

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

#1341 - Use setup-ocaml github action

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

#1338 - Exercise description editor

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

#1337 - Random generation of UExps

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

#1330 - tutorial-systems

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

#1328 - Construct sexp

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

#1327 - add hintedtest keyword

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

#1325 - Add and Delete Mutants

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

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

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

#1313 - ListLit of different Construtor type does not raise type error

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

#1311 - ADTs with hole type consistency have casting bug

Issue - State: closed - Opened by gensofubi 6 months ago - 2 comments
Labels: bug

#1302 - Derivation trees

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

#1297 - Editor Componentization

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

#1279 - recursive polymorphic functions not working

Issue - State: closed - Opened by cyrus- 7 months ago
Labels: bug, critical

#1278 - Errors in Polymorphism and Basic Reference examples

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

#1267 - Polymorphic equality

Pull Request - State: open - Opened by GuoDCZ 7 months ago - 14 comments
Labels: starter-project, in-development

#1265 - var names begin with "in" automatically become token.

Issue - State: open - Opened by gensofubi 7 months ago - 1 comment
Labels: bug

#1264 - The error hole container shifts when cast decoration exists

Issue - State: closed - Opened by gensofubi 7 months ago
Labels: bug

#1261 - Command Palette

Pull Request - State: closed - Opened by 7h3kk1d 8 months ago - 14 comments

#1254 - Create a new input syntax for function.

Pull Request - State: open - Opened by DavidFangWJ 8 months ago - 4 comments
Labels: in-development

#1238 - evaluator hangs with uuid exception in console on this example

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

#1235 - Implement Labeled Tuples

Pull Request - State: open - Opened by WondAli 9 months ago - 10 comments
Labels: in-development

#1220 - Integrate menhir parser and elaborator tests

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

#1218 - Leaf Projectors

Pull Request - State: closed - Opened by disconcision 9 months ago - 12 comments

#1210 - restore equivalence symbol font

Issue - State: closed - Opened by cyrus- 10 months ago - 2 comments

#1209 - fix Show Elaboration option in menu

Issue - State: closed - Opened by cyrus- 10 months ago
Labels: bug

#1169 - Copy/paste does not seem to work on Safari

Issue - State: closed - Opened by cyrus- 10 months ago - 2 comments
Labels: bug

#1146 - Ellipses for TyDi suggestions that will expand

Issue - State: closed - Opened by disconcision 12 months ago

#1109 - Formatting of exercise mode results

Issue - State: closed - Opened by disconcision about 1 year ago
Labels: bug, starter-project

#1097 - Consider suppressing display of nested error holes

Issue - State: closed - Opened by disconcision about 1 year ago
Labels: style

#1084 - parameterized types

Pull Request - State: open - Opened by xzxzlala over 1 year ago

#1033 - Unused Variable Warnings

Pull Request - State: open - Opened by lmulcahy21 over 1 year ago - 6 comments
Labels: starter-project

#1020 - module system

Pull Request - State: open - Opened by gensofubi over 1 year ago - 30 comments

#1009 - Home/End should empty selection even if cursor is already at home/end position

Issue - State: closed - Opened by cyrus- over 1 year ago
Labels: bug, starter-project

#1001 - don't override Cmd+1...9

Issue - State: closed - Opened by cyrus- over 1 year ago
Labels: bug, starter-project

#981 - Add support for replays from student logs, along with a step-through/scrubbing control panel

Pull Request - State: open - Opened by evanweissburg almost 2 years ago - 1 comment
Labels: needs-merge