issues
search
MatrixAI
/
Architect
Programming Language for Type Safe Composition of Distributed Infrastructure
Apache License 2.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Open World Assumption vs Closed World Assumption (discussion from OpenAPI)
#25
CMCDragonkai
opened
5 years ago
1
Typing Data Serialisation Formats
#24
CMCDragonkai
opened
5 years ago
0
Parser for Nix like Expression Language
#23
CMCDragonkai
opened
5 years ago
1
Fixed point "Dynamic Binding" that allows overrides across the configuration graph
#22
CMCDragonkai
opened
5 years ago
4
Graphical Notations of Protocol Specifications
#21
CMCDragonkai
opened
5 years ago
1
Session Type Equality between Cyclic Protocols
#20
CMCDragonkai
opened
5 years ago
4
Session Type Concatenation (Ordering of Events)
#19
CMCDragonkai
opened
5 years ago
1
Pattern matching
#18
CMCDragonkai
opened
6 years ago
0
Reserved identifiers
#17
CMCDragonkai
opened
6 years ago
0
Protocol Specification - Network Performance Behaviour
#16
CMCDragonkai
closed
5 years ago
4
First Protocol Specification - Session Types Article
#15
CMCDragonkai
closed
5 years ago
7
Investgate Piggybacking off the Haskell Compiler Infrastructure (or other libraries)
#14
CMCDragonkai
opened
6 years ago
9
Command Language, Visualisation, Bidirectional Transformation
#13
CMCDragonkai
opened
6 years ago
0
Networked Expressions
#12
CMCDragonkai
opened
6 years ago
7
Dependency Specification
#11
ghost
opened
6 years ago
1
Architect Roadmap
#10
ghost
closed
5 years ago
3
Composition of Automatons
#9
CMCDragonkai
opened
6 years ago
3
Artifact Specification
#8
mokuki082
opened
6 years ago
19
Writing Haskell bindings for the automaton network
#7
mokuki082
closed
5 years ago
2
Protocol Specification - Communication Semantics Behaviour
#6
olligobber
opened
6 years ago
13
Create labels for issue
#5
edkongz
closed
5 years ago
1
Needs logo
#4
edkongz
opened
6 years ago
1
Automaton Specification
#3
CMCDragonkai
opened
6 years ago
7
Protocol Spec Demo
#2
CMCDragonkai
closed
6 years ago
2
Starting understanding of Unification and Type Inference
#1
CMCDragonkai
closed
5 years ago
4