Ecosyste.ms: Issues

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

GitHub / grin-compiler/grin issues and pull requests

#32 - Syntactical extensions for GRIN

Issue - State: open - Opened by Anabra over 5 years ago - 19 comments
Labels: proposal, accepted

#31 - Proper effect tracking for LVA

Pull Request - State: closed - Opened by Anabra over 5 years ago - 3 comments

#29 - Fix typo in README

Pull Request - State: closed - Opened by tobiasgrosser over 5 years ago

#28 - Garbage Collection

Issue - State: open - Opened by sfultong over 5 years ago - 1 comment

#27 - Consider Renaming

Issue - State: closed - Opened by c50a326 over 5 years ago - 2 comments

#26 - Check node arity consistency

Issue - State: open - Opened by csabahruska over 5 years ago

#25 - Ability to create executable.

Pull Request - State: closed - Opened by andorp over 5 years ago - 1 comment

#24 - How best to produce executable machine code from grin

Issue - State: closed - Opened by LSLeary over 5 years ago - 2 comments

#23 - Fixed some major issues related to Dead Variable Elimination

Pull Request - State: closed - Opened by Anabra over 5 years ago - 1 comment

#22 - Rewrite nix files such that grin can be built

Pull Request - State: closed - Opened by LSLeary over 5 years ago - 4 comments

#21 - Started writing article & Added producer naming convention checks to linter

Pull Request - State: closed - Opened by Anabra over 5 years ago - 2 comments

#20 - Topics to write about

Issue - State: open - Opened by csabahruska over 5 years ago

#19 - Support for external definitions

Issue - State: closed - Opened by csabahruska almost 6 years ago - 3 comments

#17 - Extending the Grin syntax with primops

Issue - State: closed - Opened by LightAndLight almost 6 years ago - 5 comments

#16 - Changes to improve buildability

Pull Request - State: closed - Opened by LightAndLight almost 6 years ago - 1 comment

#15 - Added strict versons for llvm-hs-* dependencies

Pull Request - State: closed - Opened by LightAndLight almost 6 years ago - 2 comments

#14 - Update default.nix

Pull Request - State: closed - Opened by LightAndLight almost 6 years ago - 1 comment

#13 - Removed idris from default.nix

Pull Request - State: closed - Opened by LightAndLight almost 6 years ago - 2 comments

#12 - Added side effect tracking to Dead Code Elimination

Pull Request - State: closed - Opened by Anabra almost 6 years ago - 1 comment

#11 - Interprocedural dead code elimination

Pull Request - State: closed - Opened by Anabra almost 6 years ago - 1 comment

#10 - Idris backend TODOs

Issue - State: open - Opened by andorp almost 6 years ago

#9 - Add gitter badge

Pull Request - State: closed - Opened by bollu about 6 years ago - 2 comments

#8 - Gitter channel?

Issue - State: closed - Opened by bollu about 6 years ago - 2 comments

#7 - ConfluenceTest

Pull Request - State: closed - Opened by pdani over 6 years ago - 1 comment

#6 - print errors along with lint codeGen use ExceptT

Pull Request - State: closed - Opened by HanStolpo over 6 years ago - 1 comment

#5 - Agda backend

Pull Request - State: closed - Opened by phile314 over 6 years ago - 1 comment

#4 - add support for nix

Pull Request - State: closed - Opened by HanStolpo over 6 years ago - 1 comment

#3 - Issues / Tasks for new contributors

Issue - State: open - Opened by xldenis over 6 years ago - 6 comments

#2 - cleanup codebase

Issue - State: closed - Opened by csabahruska over 6 years ago - 1 comment

#1 - Related articles

Issue - State: open - Opened by andorp over 6 years ago - 122 comments