CategoricalData hydra issues

CategoricalData / hydra

Transformations transformed

Apache License 2.0

64 stars 9 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Add a Gremlin model

#127 joshsh closed 5 days ago
0
Add a TypeScript coder

#126 joshsh opened 1 week ago
0
Eliminate polymorphic types from Hydra Core

#125 joshsh opened 2 weeks ago
0
Add an OpenCypher parser to Hydra-Java

#124 joshsh closed 3 months ago
0
Rename hydra/core.UnitType to hydra/core.Unit

#123 joshsh opened 4 months ago
2
Explore compact labeled records and variants

#122 joshsh opened 4 months ago
3
Unify Name and FieldName, and make them aliases for string

#121 joshsh opened 4 months ago
1
uint8 type in Java should be Short, not Byte

#120 joshsh opened 4 months ago
0
Minimize manual type annotations

#119 joshsh opened 4 months ago
0
Explore rebasing Hydra inference against Algorithm W

#118 joshsh opened 4 months ago
1
Incorrect encoding of universal types in showTerm

#117 joshsh opened 4 months ago
2
Restore check for infinite types

#116 joshsh opened 7 months ago
0
Unify the Nominal type with RowType

#115 joshsh opened 7 months ago
1
Minimize inferred type annotations

#114 joshsh opened 7 months ago
0
Eliminate annotation classes

#113 joshsh opened 7 months ago
1
Unify elements and let-bindings with respect to type inference

#112 joshsh opened 7 months ago
1
Add a Checkstyle configuration for Hydra-Java

#111 joshsh closed 8 months ago
0
Flatten nested 'let' terms for transformation into Java

#110 joshsh closed 8 months ago
1
Distinguish term-level and type-level dependencies for modules

#109 joshsh closed 8 months ago
1
Add an OpenCypher model

#108 joshsh closed 8 months ago
1
Add nullability and parameterization to tabular model

#107 joshsh closed 9 months ago
0
Create bidirectional "merged vertex" and "merged edge" coders

#106 joshsh closed 9 months ago
1
Add JSON in Java

#105 joshsh closed 9 months ago
0
Support JSON serialization and deserialization in Java

#104 joshsh closed 9 months ago
0
Revamp type inference with respect to universal types

#103 joshsh opened 10 months ago
1
Allow primitive functions to override DSL-based default implementations

#102 joshsh opened 10 months ago
1
Type-level Protobuf encoder

#101 joshsh closed 10 months ago
0
Create a property graph element validator

#100 joshsh closed 8 months ago
1
Protobuf coder

#99 joshsh closed 10 months ago
0
Fix a bug in Flows.java: modifying immutable Collections.emptySet()

#98 dianchengwangCHN closed 10 months ago
1
Optionally generate Java classes as Serializable

#97 joshsh closed 10 months ago
0
Support Java 8 as an optional target

#96 joshsh closed 10 months ago
2
Add logic primitives

#95 joshsh closed 11 months ago
0
Support tuples in Java

#94 joshsh closed 11 months ago
0
Implement mapKeys primitive

#93 joshsh closed 11 months ago
0
Add equality primitives for all literal types

#92 joshsh closed 12 months ago
0
Investigate graphs-as-proofs

#91 joshsh opened 1 year ago
1
Support type inference for recursive elements

#90 joshsh opened 1 year ago
3
Align Hydra's epsilon encoding with the Lambda Graph spec

#89 joshsh opened 1 year ago
0
Investigate support for coinductive types

#88 joshsh opened 1 year ago
2
Consider generalizing Lambda Graph's collection types

#87 joshsh opened 1 year ago
0
Fix asymmetry of introductions and eliminations

#86 joshsh opened 1 year ago
1
Regression tests for coders other than Haskell and Java

#85 joshsh opened 1 year ago
0
Fix operator precedence / lots of irritating silly parentheses (LISP)

#84 joshsh opened 1 year ago
0
Remove schema field from Element

#83 joshsh closed 1 year ago
1
Remove type name from RowType

#82 joshsh opened 1 year ago
1
Make the Avro coder bidirectional for types

#81 joshsh opened 1 year ago
0
Add a Python coder

#80 joshsh opened 1 year ago
3
Add a GraphSON coder

#79 joshsh opened 1 year ago
0
Add a GraphQL coder

#78 joshsh closed 1 year ago
0