An open API service providing repository metadata for many open source software ecosystems.

Topic: "union-types"

rrousselGit/freezed

Code generation for immutable classes that has a simple syntax/API without compromising on the features.

Language: Dart - Size: 5.14 MB - Last synced at: 1 day ago - Pushed at: 3 days ago - Stars: 2,029 - Forks: 259

scala-hamsters/hamsters

A mini Scala utility library

Language: Scala - Size: 2.53 MB - Last synced at: 14 days ago - Pushed at: over 4 years ago - Stars: 288 - Forks: 23

vic/expat

Reusable, composable patterns across Elixir libraries

Language: Elixir - Size: 70.3 KB - Last synced at: 17 days ago - Pushed at: over 6 years ago - Stars: 176 - Forks: 5

renatoathaydes/kunion

Union types for Kotlin

Language: Kotlin - Size: 85 KB - Last synced at: 16 days ago - Pushed at: about 8 years ago - Stars: 83 - Forks: 4

felangel/sealed_flutter_bloc 📦

flutter_bloc state management extension that integrates sealed_unions.

Language: Dart - Size: 583 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 79 - Forks: 13

JuliaDynamics/LightSumTypes.jl

Easy-to-use sum types in Julia

Language: Julia - Size: 1.13 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 49 - Forks: 2

paiDaXing-web/You-Don-t-Know-TS

🔥🔥🔥 这是一个专注研究Typescript的网站,🎖🎖🎖在这里你可以全面深入学习Typescript相关知识,通过动画方式讲解TS,还有很多常见问题解答。你还可以挑战相应的题目,快来学习吧。

Language: JavaScript - Size: 67.6 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 47 - Forks: 9

davidmarne/dart_meta_types

a code gen solution for defining sealed classes, data classes, and enum classes for dart.

Language: Dart - Size: 411 KB - Last synced at: 14 days ago - Pushed at: almost 5 years ago - Stars: 25 - Forks: 1

toastal/either

Elm Either

Language: Elm - Size: 99.6 KB - Last synced at: 19 days ago - Pushed at: over 1 year ago - Stars: 24 - Forks: 1

tabdulradi/nullable

Makes `A | Null` work with for-comprehensions

Language: Scala - Size: 41 KB - Last synced at: 13 days ago - Pushed at: about 1 year ago - Stars: 22 - Forks: 1

widmogrod/mkunion

Strongly typed union type in golang.

Language: Go - Size: 5.01 MB - Last synced at: 22 days ago - Pushed at: 7 months ago - Stars: 12 - Forks: 1

Richard-Burd/typescript-sandbox

This is a place for me to sketch, doodle, codealong, and generally learn typescript

Language: TypeScript - Size: 524 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 10 - Forks: 0

ChristophP/funpro

Be functional by using union types, pattern matching, and pure side-effects

Language: JavaScript - Size: 1.19 MB - Last synced at: 15 days ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 1

point-platform/dasher

Fast, lightweight, cross platform serialisation tool

Language: C# - Size: 748 KB - Last synced at: 6 days ago - Pushed at: over 7 years ago - Stars: 8 - Forks: 6

buschtoens/combine-type-predicates

Combine user-defined type guards / type predicates as unions and intersections.

Language: TypeScript - Size: 83 KB - Last synced at: about 4 hours ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

toastal/select-prism

Use a Monocle Prism to handle <select> conflict between ADTs and Strings

Language: Elm - Size: 18.6 KB - Last synced at: 19 days ago - Pushed at: almost 4 years ago - Stars: 6 - Forks: 1

mackimaow/kotlin-union

Adds an implementation of Union Type to Kotlin that supports external declarations for typescript unions in KotlinJS. It can also be used in Kotlin JVM and Kotlin Native.

Language: Kotlin - Size: 241 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 5 - Forks: 0

propensive/vacuous

A simple representation of optional values

Language: Scala - Size: 1.26 MB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 5 - Forks: 0

jack-williams/contracts-ts

Higher-order Contracts for Intersection and Union Types

Language: TypeScript - Size: 85.9 KB - Last synced at: 4 days ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0

kanitsharma/elvish

A functional, reactive and some what type safe javascript library to build UIs, inspired by Elm

Language: JavaScript - Size: 10.3 MB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 5 - Forks: 0

leomindez/TimesLon

Application to show how to use Ceylon in Android

Language: Ceylon - Size: 199 KB - Last synced at: about 1 year ago - Pushed at: about 8 years ago - Stars: 5 - Forks: 4

choonkeat/sumtype-go

Fastest and simplest pattern matching sum types in Go. Don't be jealous of Rust anymore.

Language: Go - Size: 37.1 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 4 - Forks: 0

catseye/Castile

MIRROR of https://codeberg.org/catseye/Castile : A simple imperative language with union types (and a compiler for same, with multiple targets)

Language: Python - Size: 179 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

martinothamar/UnionTypeGenerator

Struct union type source generator experiment in .NET

Language: C# - Size: 24.4 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 0

flashios09/php-union-types

A php class for union types.

Language: PHP - Size: 106 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 3 - Forks: 0

ciderale/kotlin-union-types

Serialization of Kotlin Sealed Case Classes

Language: Kotlin - Size: 72.3 KB - Last synced at: 22 days ago - Pushed at: about 5 years ago - Stars: 3 - Forks: 0

arecvlohe/redux-union 📦

Adding Union Types to Redux

Language: JavaScript - Size: 102 KB - Last synced at: 5 days ago - Pushed at: over 7 years ago - Stars: 3 - Forks: 0

Felix-CodingClimber/DotNetElements.Core.Result

This project provides simple Result and Result<TValue> types to be used as return types of functions as an alternative to exceptions.

Language: C# - Size: 84 KB - Last synced at: 5 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0

Aldaviva/UnionTypes

⚭︎ Union types implemented in C# using implicit casts

Language: C# - Size: 128 KB - Last synced at: about 21 hours ago - Pushed at: 3 months ago - Stars: 2 - Forks: 0

mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Language: Scala - Size: 324 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0

owaismohsin001/junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

Language: Haskell - Size: 1.68 MB - Last synced at: 27 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

x-stars/DotNetExtensions

.NET extension libraries by XstarS.

Language: C# - Size: 2.03 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

Denis-Bredun/UnionPractice

Some piece of code that works using union.

Language: C++ - Size: 5.86 KB - Last synced at: 16 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

selmasaltik/typescript-basics

React + TypeScript /// What I learned from "React - The Complete Guide 2024 (incl. Next.js, Redux) - Academind by Maximilian Schwarzmüller"

Language: TypeScript - Size: 7.81 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

AndrasE/TypeScript-tutorial 📦

TypeScript basics

Language: TypeScript - Size: 5.84 MB - Last synced at: about 1 month ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

deividas-butkus/typescript-assessment-ca

TypeScript assessment, focusing on type safety, interfaces, and modular design to demonstrate understanding of TypeScript fundamentals.

Language: TypeScript - Size: 44.9 KB - Last synced at: 15 days ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

jerin-arpa/basic-typescript

Language: TypeScript - Size: 20.5 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

sColin16/set-typed-lambda-calculus

A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

Language: OCaml - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

sColin16/structured-lambda

A structurally-typed lambda calculus that serves as a basis for structurally-typed functional languages

Language: OCaml - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

zubair-ahmed-official/TypeScript-Tasks

TypeScript is a syntactic superset of JavaScript which adds static typing.

Language: TypeScript - Size: 53.7 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DamirsCorner/20231110-ts-array-unions

Sample project for 'Array operations over union of arrays' blogpost

Language: TypeScript - Size: 35.2 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

andrewlowndes/mixed_array

Construct arrays of mixed types easily in Rust

Language: Rust - Size: 7.81 KB - Last synced at: 5 months ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

iliocatallo/fleurs

Utilities for union types in TS.

Language: TypeScript - Size: 85 KB - Last synced at: 10 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

rucka/klab2019-3

Here the slides and demos of my talk "Typescript come (forse) non lo hai mai visto" at KLab 2019 #3

Language: JavaScript - Size: 37.6 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

TomasHubelbauer/ef-cosmos-union-type

Representing union types in EF Core when using the Cosmos DB provider

Language: C# - Size: 7.81 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

CarstenKoenig/NimmFSharp

F# Demo-Projekt - Union-Types und Computational-Expressions

Language: F# - Size: 27.3 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

catseye/Castile

A simple imperative language with union types (and a compiler for same, with multiple targets)

Language: Python - Size: 246 KB - Last synced at: about 1 year ago - Stars: 0 - Forks: 0