Issues
- 0
Name collisions across spec and implementation
#129 opened by Gozala - 0
RUSTSEC-2023-0065: Tungstenite allows remote attackers to cause a denial of service
#123 opened by github-actions - 0
- 0
Ship TodoMVC as an example app
#83 opened by QuinnWilton - 0
Expand collaborative text editor to include Upwelling style privacy controls
#85 opened by QuinnWilton - 5
- 1
Implement Mean in the standard library
#52 opened by QuinnWilton - 1
Implement Sum in the standard library
#51 opened by QuinnWilton - 1
Implement Count in the standard library
#50 opened by QuinnWilton - 1
Implement Max in the standard library
#49 opened by QuinnWilton - 1
Implement Min in the standard library
#48 opened by QuinnWilton - 1
- 0
- 0
- 0
Implement LWW-Sets in the standard library
#45 opened by QuinnWilton - 0
Implement PN-Counters in the standard library
#41 opened by QuinnWilton - 0
- 0
- 0
- 0
Expose WebAssembly bindings through a worker
#73 opened by QuinnWilton - 0
Compile from RAM to dataflow
#68 opened by QuinnWilton - 0
Implement differential trace data structures
#67 opened by QuinnWilton - 0
Implement dataflow runtime
#66 opened by QuinnWilton - 0
Implement Sequences in the standard library
#47 opened by QuinnWilton - 0
- 0
Implement encrypted tuple stores
#57 opened by QuinnWilton - 0
- 0
Implement trie-based relations for IDB tuples
#60 opened by QuinnWilton - 0
Compute required indexes for a rule
#58 opened by QuinnWilton - 0
Implement Hashing in the standard library
#55 opened by QuinnWilton - 0
- 0
Implement Signing in the standard library
#53 opened by QuinnWilton - 0
Implement OR-Sets in the standard library
#44 opened by QuinnWilton - 0
Implement 2P-Sets in the standard library
#43 opened by QuinnWilton - 0
Implement G-Sets in the standard library
#42 opened by QuinnWilton - 0
Implement G-Counters in the standard library
#40 opened by QuinnWilton - 0
Add metamorphic test verifying that removing rules can only decrease the number of strata
#82 opened by QuinnWilton - 0
Add metamorphic test verifying that duplicating a relational predicate with the same binding does not alter the results
#81 opened by QuinnWilton - 0
Add property test verifying that all valid orderings of a rule body return the same results
#80 opened by QuinnWilton - 0
Add property test verifying that the order of rules in a program does not impact the results
#79 opened by QuinnWilton - 0
- 0
- 0
- 0
- 0
- 0
Setup wasm-bindgen-test
#69 opened by QuinnWilton - 0
Implement HAMT-based unencrypted tuple stores
#64 opened by QuinnWilton - 0
- 0
- 0