AdtAlgebraic data types for Python (experimental, not actively maintained)
Stars: ✭ 120 (+421.74%)
Mutual labels: algebraic-data-types
Mlstyle.jlJulia functional programming infrastructures and metaprogramming facilities
Stars: ✭ 223 (+869.57%)
Mutual labels: algebraic-data-types
unreachableUtility function for exhaustiveness checking with typed JS (TS or Flow)
Stars: ✭ 14 (-39.13%)
Mutual labels: tagged-unions
PlatePrincipled schema system for JSON. Work in progress.
Stars: ✭ 130 (+465.22%)
Mutual labels: algebraic-data-types
Remote Data TsRemoteData type
Stars: ✭ 185 (+704.35%)
Mutual labels: algebraic-data-types
RemoteDataKAlgebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
Stars: ✭ 44 (+91.3%)
Mutual labels: algebraic-data-types
FunctionaljavaFunctional programming in Java
Stars: ✭ 1,472 (+6300%)
Mutual labels: algebraic-data-types
ftorftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
Stars: ✭ 44 (+91.3%)
Mutual labels: tagged-unions
Swift Enum Properties🤝 Struct and enum data access in harmony.
Stars: ✭ 191 (+730.43%)
Mutual labels: algebraic-data-types
emusic netNeural network to classify certain styles of Electronic music
Stars: ✭ 22 (-4.35%)
Mutual labels: mir
ExpatReusable, composable patterns across Elixir libraries
Stars: ✭ 157 (+582.61%)
Mutual labels: algebraic-data-types
Fluture🦋 Fantasy Land compliant (monadic) alternative to Promises
Stars: ✭ 2,249 (+9678.26%)
Mutual labels: algebraic-data-types
tempo-cnnFramework for estimating temporal properties of music tracks.
Stars: ✭ 62 (+169.57%)
Mutual labels: mir
DataenumAlgebraic data types in Java.
Stars: ✭ 128 (+456.52%)
Mutual labels: algebraic-data-types
dotvariantA type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)
Stars: ✭ 52 (+126.09%)
Mutual labels: algebraic-data-types
Datumpure functional and generic programming for Erlang
Stars: ✭ 111 (+382.61%)
Mutual labels: algebraic-data-types
Poica🧮 A research programming language on top of C macros
Stars: ✭ 231 (+904.35%)
Mutual labels: algebraic-data-types
audio degraderAudio degradation toolbox in python, with a command-line tool. It is useful to apply controlled degradations to audio: e.g. data augmentation, evaluation in noisy conditions, etc.
Stars: ✭ 40 (+73.91%)
Mutual labels: mir
pretty-d-arrayPretty printing multidimensional D arrays.
Stars: ✭ 16 (-30.43%)
Mutual labels: mir
numpy-vs-mirMultigrid benchmark between Dlang's Mir library and Python's numpy
Stars: ✭ 19 (-17.39%)
Mutual labels: mir