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

#55 - [hydra-java] Update math lib partial function application style

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