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
#30 - Model LLVM primitive types and primops with GRIN externals
Issue -
State: open - Opened by csabahruska over 5 years ago
#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
#18 - Changing the order of `Transformations` in `defaultOptimizations` improves compilation
Issue -
State: closed - Opened by LightAndLight 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