issues
search
vmware
/
database-stream-processor-compiler
Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.
Other
14
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`ddlog_syntax` and `xtask`
#15
Kixiron
closed
2 years ago
0
`ddlog_syntax` and `xtask`
#14
Kixiron
closed
2 years ago
0
Add ddlog v2 implementation
#13
Kixiron
closed
2 years ago
2
[RFC] Global relations, input/output relations
#12
ryzhyk
opened
2 years ago
15
[RFC] Interacting with DDlog programs
#11
mihaibudiu
opened
2 years ago
18
[RFC] DDlog Packages and Rust integration
#10
ryzhyk
opened
2 years ago
3
[RFC] AST interpreter.
#9
ryzhyk
opened
2 years ago
2
[RFC] RVSDG as an intermedeate IR
#8
Kixiron
opened
2 years ago
11
[RFC] Expression compiler
#7
ryzhyk
opened
2 years ago
5
[RFC] Modular compiler architecture
#6
mihaibudiu
opened
2 years ago
2
[RFC] Traits
#5
ryzhyk
opened
2 years ago
22
Added Syntax RFC
#4
Kixiron
closed
2 years ago
13
[RFC] DDlog 2.0 Syntax
#3
Kixiron
opened
2 years ago
11
[RFC] Embedding Datalog in a functional language
#2
ryzhyk
opened
2 years ago
25
[RFC] Issues and limitations in DDlog-1.
#1
ryzhyk
opened
2 years ago
8