Ecosyste.ms: Issues

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

GitHub / Lamagraph/interaction-nets-in-fpga issues and pull requests

#31 - Move Golden tests & add new AST node

Pull Request - State: closed - Opened by WoWaster 30 days ago

#30 - Bump haskell-actions/run-fourmolu from 10 to 11

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago - 3 comments

#29 - Support units of measure in the language

Issue - State: open - Opened by gsvgit about 1 month ago
Labels: software, lang-fe

#28 - [README] Breaf introduction to interaction nets.

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

#27 - Fix pre-commit installation

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

#26 - Publish haddoc to GitHub Pages

Issue - State: open - Opened by WoWaster 2 months ago
Labels: enhancement, infra

#25 - Reformat

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

#24 - Check if fixity is unknown in CI

Issue - State: open - Opened by WoWaster 2 months ago
Labels: bug, infra

#23 - Lexer & Parser

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

#22 - Change caching logic

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

#21 - Core rewrite

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

#20 - Grammar for LamagraphML

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

#19 - Setup CI

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

#18 - Linear algebra library

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software

#17 - Matrix-specific optimizations

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software

#16 - Interpreter for lamda calculus

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, lang-fe

#15 - Tests using lamda calculus interpreter and processor

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware, software, i-nets

#14 - Lambda calculus to interaction nets translator

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, i-nets

#13 - (Subset of) Input langugae to (enriched) lambda calculus translator

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, lang-fe

#12 - Type checker for input language

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, lang-fe

#11 - AST for input langauge

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, lang-fe

#10 - Input language design

Issue - State: open - Opened by gsvgit 3 months ago
Labels: software, lang-fe

#9 - Make core parametrizable with nodes and reduction rules

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#8 - Add performance counters

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#7 - Scaling analysis

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware, software

#6 - HBM

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

#5 - Multiple kernels over SRAM

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#4 - Redesign nodes to make it of different size, with different number of ports, etc

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#3 - Create tests on simple reductions

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#2 - Add simple memory manager

Issue - State: open - Opened by gsvgit 3 months ago
Labels: hardware

#1 - Set CI up

Issue - State: closed - Opened by gsvgit 3 months ago
Labels: infra