Skip to content

Pull requests: fplab/ui-for-pl

New pull request New
9 Open 5 Closed
9 Open 5 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

First draft for interactive theorem provers
#14 opened Nov 21, 2019 by rinshankaihou Loading…
57
First draft of data analysis environments
#13 opened Nov 15, 2019 by LittleAprilFool Loading…
74
program visualization first draft
#12 opened Nov 11, 2019 by yongweiy Loading…
30
Interactive Debugging
#10 opened Nov 6, 2019 by dm0n3y Loading…
26
Accessibility First Draft
#9 opened Nov 1, 2019 by jayhersk Loading…
45
First draft for api usability
#8 opened Oct 30, 2019 by anthliu Loading…
43
First draft of user interfaces for game development.
#7 opened Oct 27, 2019 by RayneZhang Loading…
46
First draft for educational environments
#6 opened Oct 21, 2019 by hannahpotter Loading…
41
programmable physical environment
#5 opened Oct 18, 2019 by lee-vius Loading…
62
ProTip! Type g i on any issue or pull request to go back to the issue listing page.