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