Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / CategoricalData/hydra issues and pull requests
#138 - Move the majority of "langs" into hydra-extensions
Issue -
State: closed - Opened by joshsh about 1 month ago
- 1 comment
Labels: enhancement
#137 - Include field names in generated Java
Issue -
State: closed - Opened by joshsh about 2 months ago
Labels: enhancement
#136 - Add a DOT coder
Issue -
State: open - Opened by joshsh about 2 months ago
Labels: enhancement
#135 - Re-level dependency tiers
Issue -
State: open - Opened by joshsh about 2 months ago
Labels: enhancement
#134 - Add an elimination form for sum terms
Issue -
State: open - Opened by joshsh about 2 months ago
- 1 comment
Labels: enhancement
#133 - Use Name for annotation keys, rather than string
Issue -
State: closed - Opened by joshsh about 2 months ago
Labels: enhancement
#132 - Get rid of the `extends` parameter for row types
Issue -
State: closed - Opened by joshsh about 2 months ago
Labels: bug
#131 - Implement Comparable for generated Java classes
Issue -
State: open - Opened by joshsh about 2 months ago
Labels: enhancement
#130 - Add a bidirectional coder for Protocol Buffers' Text Format
Issue -
State: open - Opened by joshsh about 2 months ago
Labels: enhancement
#129 - Parameterize literal types
Issue -
State: open - Opened by joshsh about 2 months ago
- 1 comment
Labels: enhancement
#128 - Rename the phantom type wrappers
Issue -
State: closed - Opened by joshsh 2 months ago
#127 - Add a Gremlin model
Issue -
State: closed - Opened by joshsh 3 months ago
#126 - Add a TypeScript coder
Issue -
State: open - Opened by joshsh 3 months ago
#125 - Eliminate polymorphic types from Hydra Core
Issue -
State: closed - Opened by joshsh 4 months ago
#124 - Add an OpenCypher parser to Hydra-Java
Issue -
State: closed - Opened by joshsh 7 months ago
#123 - Rename hydra/core.UnitType to hydra/core.Unit
Issue -
State: closed - Opened by joshsh 7 months ago
- 3 comments
#122 - Explore compact labeled records and variants
Issue -
State: open - Opened by joshsh 7 months ago
- 3 comments
#121 - Unify Name and FieldName, and make them aliases for string
Issue -
State: closed - Opened by joshsh 7 months ago
- 1 comment
#120 - uint8 type in Java should be Short, not Byte
Issue -
State: closed - Opened by joshsh 7 months ago
Labels: bug
#119 - Minimize manual type annotations
Issue -
State: open - Opened by joshsh 8 months ago
#118 - Explore rebasing Hydra inference against Algorithm W
Issue -
State: open - Opened by joshsh 8 months ago
- 1 comment
#117 - Incorrect encoding of universal types in showTerm
Issue -
State: closed - Opened by joshsh 8 months ago
- 3 comments
Labels: bug
#116 - Restore check for infinite types
Issue -
State: open - Opened by joshsh 10 months ago
#115 - Unify the Nominal type with RowType
Issue -
State: closed - Opened by joshsh 11 months ago
- 2 comments
#114 - Minimize inferred type annotations
Issue -
State: open - Opened by joshsh 11 months ago
#113 - Eliminate annotation classes
Issue -
State: closed - Opened by joshsh 11 months ago
- 1 comment
#112 - Unify elements and let-bindings with respect to type inference
Issue -
State: open - Opened by joshsh 11 months ago
- 1 comment
#111 - Add a Checkstyle configuration for Hydra-Java
Issue -
State: closed - Opened by joshsh 11 months ago
Labels: Java
#110 - Flatten nested 'let' terms for transformation into Java
Issue -
State: closed - Opened by joshsh 12 months ago
- 1 comment
#109 - Distinguish term-level and type-level dependencies for modules
Issue -
State: closed - Opened by joshsh 12 months ago
- 1 comment
#108 - Add an OpenCypher model
Issue -
State: closed - Opened by joshsh 12 months ago
- 1 comment
#107 - Add nullability and parameterization to tabular model
Issue -
State: closed - Opened by joshsh 12 months ago
#106 - Create bidirectional "merged vertex" and "merged edge" coders
Issue -
State: closed - Opened by joshsh about 1 year ago
- 1 comment
#105 - Add JSON in Java
Pull Request -
State: closed - Opened by joshsh about 1 year ago
#104 - Support JSON serialization and deserialization in Java
Issue -
State: closed - Opened by joshsh about 1 year ago
Labels: Java
#103 - Revamp type inference with respect to universal types
Issue -
State: closed - Opened by joshsh about 1 year ago
- 2 comments
#102 - Allow primitive functions to override DSL-based default implementations
Issue -
State: open - Opened by joshsh about 1 year ago
- 1 comment
#101 - Type-level Protobuf encoder
Pull Request -
State: closed - Opened by joshsh about 1 year ago
#100 - Create a property graph element validator
Issue -
State: closed - Opened by joshsh about 1 year ago
- 1 comment
#99 - Protobuf coder
Issue -
State: closed - Opened by joshsh about 1 year ago
#98 - Fix a bug in Flows.java: modifying immutable Collections.emptySet()
Pull Request -
State: closed - Opened by dianchengwangCHN about 1 year ago
- 1 comment
#97 - Optionally generate Java classes as Serializable
Issue -
State: closed - Opened by joshsh about 1 year ago
Labels: Java
#96 - Support Java 8 as an optional target
Issue -
State: closed - Opened by joshsh about 1 year ago
- 2 comments
Labels: high priority, Java
#95 - Add logic primitives
Issue -
State: closed - Opened by joshsh about 1 year ago
Labels: high priority
#94 - Support tuples in Java
Issue -
State: closed - Opened by joshsh about 1 year ago
Labels: high priority, Java
#93 - Implement mapKeys primitive
Issue -
State: closed - Opened by joshsh about 1 year ago
#92 - Add equality primitives for all literal types
Issue -
State: closed - Opened by joshsh about 1 year ago
Labels: Java
#91 - Investigate graphs-as-proofs
Issue -
State: open - Opened by joshsh over 1 year ago
- 1 comment
Labels: formalism
#90 - Support type inference for recursive elements
Issue -
State: open - Opened by joshsh over 1 year ago
- 3 comments
Labels: formalism
#89 - Align Hydra's epsilon encoding with the Lambda Graph spec
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: formalism
#88 - Investigate support for coinductive types
Issue -
State: closed - Opened by joshsh over 1 year ago
- 4 comments
Labels: formalism
#87 - Consider generalizing Lambda Graph's collection types
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: formalism
#86 - Fix asymmetry of introductions and eliminations
Issue -
State: open - Opened by joshsh over 1 year ago
- 1 comment
Labels: formalism
#85 - Regression tests for coders other than Haskell and Java
Issue -
State: open - Opened by joshsh over 1 year ago
#84 - Fix operator precedence / lots of irritating silly parentheses (LISP)
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: lower priority
#83 - Remove schema field from Element
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
#82 - Remove type name from RowType
Issue -
State: open - Opened by joshsh over 1 year ago
- 5 comments
#81 - Make the Avro coder bidirectional for types
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: lower priority
#80 - Add a Python coder
Issue -
State: open - Opened by joshsh over 1 year ago
- 3 comments
#79 - Add a GraphSON coder
Issue -
State: open - Opened by joshsh over 1 year ago
#78 - Add a GraphQL coder
Issue -
State: closed - Opened by joshsh over 1 year ago
#77 - Update the Scala coder and Hydra-Scala
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: lower priority
#76 - Replace type schemes with forall types
Issue -
State: closed - Opened by joshsh over 1 year ago
- 2 comments
Labels: high priority
#75 - Update wrapper, element, and variable types
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
Labels: high priority
#74 - Language-agnostic query model
Pull Request -
State: closed - Opened by joshsh over 1 year ago
#73 - Create a hydra/query model
Issue -
State: closed - Opened by joshsh over 1 year ago
#72 - Port Flows primitives to Java
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
Labels: Java
#71 - Port Maps primitives to Java
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
Labels: Java
#70 - Transform variable types to Haskell typedefs
Issue -
State: open - Opened by joshsh over 1 year ago
#69 - "Let" support in Haskell DSL
Issue -
State: closed - Opened by joshsh over 1 year ago
- 4 comments
Labels: high priority
#68 - Flow support in Haskell DSL
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
#67 - Use topological sort in type inference
Issue -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
Labels: high priority
#66 - Hydra-Python
Issue -
State: open - Opened by joshsh over 1 year ago
#65 - Hydra-Go
Issue -
State: open - Opened by joshsh over 1 year ago
- 6 comments
#64 - Add a records-to-TinkerPop-elements coder
Issue -
State: closed - Opened by joshsh over 1 year ago
- 3 comments
#63 - Support user-defined functions (UDFs) in Haskell and Java
Issue -
State: open - Opened by joshsh over 1 year ago
Labels: Java
#62 - Allow DSL-based elements to be overridden with primitives
Issue -
State: open - Opened by joshsh over 1 year ago
#61 - Add support for default branches in case statements
Pull Request -
State: closed - Opened by joshsh over 1 year ago
#60 - Add a default branch for case statements
Issue -
State: closed - Opened by joshsh over 1 year ago
#59 - Support recursive types in the adapter framework
Pull Request -
State: closed - Opened by joshsh over 1 year ago
#58 - Make adapter framework tolerant of recursive types
Issue -
State: closed - Opened by joshsh over 1 year ago
#57 - [hydra-java] Implement partial function application for strings lib
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#56 - [hydra-java] Implement partial function application for optionals lib
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#55 - [hydra-java] Update math lib partial function application style
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#54 - [hydra-java] Implement partial function application for lists library
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#53 - [hydra-java] Implement partial function application for sets library
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#52 - [hydra-java] Implement partial application for math lib
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#51 - Language-agnostic test suite (partial)
Pull Request -
State: closed - Opened by joshsh over 1 year ago
#50 - Migrate legacy <M> parameter to <A> (for "annotations")
Pull Request -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
#49 - Fix type annotations for Sets Java port
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#48 - Fix type annotations for Sets Java port
Issue -
State: closed - Opened by aman-dureja over 1 year ago
#47 - Generate per-type term coders in Haskell
Issue -
State: open - Opened by joshsh over 1 year ago
- 3 comments
#46 - [hydra-java] Port Optionals library module to Java
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#45 - Migrate type inference to Java
Issue -
State: open - Opened by joshsh over 1 year ago
- 1 comment
Labels: lower priority, Java
#44 - Migrate JSON coder to Java
Issue -
State: open - Opened by joshsh over 1 year ago
- 4 comments
Labels: high priority, Java
#43 - Port Optionals module to Java
Issue -
State: closed - Opened by aman-dureja over 1 year ago
#42 - [hydra-java] Port Sets lib to Java
Pull Request -
State: closed - Opened by aman-dureja over 1 year ago
#41 - Rename the "m" (annotation) type parameter to "a"
Issue -
State: closed - Opened by joshsh over 1 year ago
#40 - Experimental bundling of Java primitive function implementations with their metadata
Pull Request -
State: closed - Opened by joshsh over 1 year ago
- 1 comment
#39 - Port Sets lib to Java
Issue -
State: closed - Opened by aman-dureja over 1 year ago