issues
search
Lamagraph
/
interaction-nets-in-fpga
Interaction nets based processor in Clash
MIT License
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Finish module system
#32
WoWaster
opened
6 days ago
0
Move Golden tests & add new AST node
#31
WoWaster
closed
1 week ago
0
Bump haskell-actions/run-fourmolu from 10 to 11
#30
dependabot[bot]
closed
2 weeks ago
3
Support units of measure in the language
#29
gsvgit
opened
3 weeks ago
0
[README] Breaf introduction to interaction nets.
#28
gsvgit
closed
1 month ago
0
Fix pre-commit installation
#27
WoWaster
closed
1 month ago
0
Publish haddoc to GitHub Pages
#26
WoWaster
opened
1 month ago
0
Reformat
#25
WoWaster
closed
1 month ago
0
Check if fixity is unknown in CI
#24
WoWaster
opened
1 month ago
0
Lexer & Parser
#23
WoWaster
closed
2 weeks ago
1
Change caching logic
#22
WoWaster
closed
2 months ago
0
Core rewrite
#21
KubEF
opened
2 months ago
0
Grammar for LamagraphML
#20
WoWaster
closed
2 months ago
1
Setup CI
#19
WoWaster
closed
2 months ago
0
Linear algebra library
#18
gsvgit
opened
2 months ago
0
Matrix-specific optimizations
#17
gsvgit
opened
2 months ago
0
Interpreter for lamda calculus
#16
gsvgit
opened
2 months ago
0
Tests using lamda calculus interpreter and processor
#15
gsvgit
opened
2 months ago
0
Lambda calculus to interaction nets translator
#14
gsvgit
opened
2 months ago
0
(Subset of) Input langugae to (enriched) lambda calculus translator
#13
gsvgit
opened
2 months ago
1
Type checker for input language
#12
gsvgit
opened
2 months ago
0
AST for input langauge
#11
gsvgit
closed
6 days ago
0
Input language design
#10
gsvgit
closed
6 days ago
0
Make core parametrizable with nodes and reduction rules
#9
gsvgit
opened
2 months ago
0
Add performance counters
#8
gsvgit
opened
2 months ago
0
Scaling analysis
#7
gsvgit
opened
2 months ago
0
HBM
#6
gsvgit
opened
2 months ago
0
Multiple kernels over SRAM
#5
gsvgit
opened
2 months ago
0
Redesign nodes to make it of different size, with different number of ports, etc
#4
gsvgit
opened
2 months ago
0
Create tests on simple reductions
#3
gsvgit
opened
2 months ago
0
Add simple memory manager
#2
gsvgit
opened
2 months ago
0
Set CI up
#1
gsvgit
closed
2 months ago
0