adt

Star

Here are 248 public repositories matching this topic...

inferjay / AndroidDevTools

Star

收集整理Android开发所需的Android SDK、开发中用到的工具、Android开发教程、Android设计规范，免费的设计素材等。

ndk gradle android-sdk android-development android-studio adt sdk-manager

Updated Aug 15, 2022

mmin18 / LayoutCast

Star

Cast android code and resource changes to the running application through ADB.

android eclipse adt

Updated Mar 10, 2018
Python

evilsoft / crocks

Star

A collection of well known Algebraic Data Types for your utter enjoyment.

lift composition monad functor monoid curry adt predicate-functions unary-functions pair

Updated Nov 16, 2022
JavaScript

solodon4 / Mach7

Star

Functional programming style pattern-matching library for C++

pattern pattern-matching algebraic-data-types visitor visitor-pattern adt variant

Updated Oct 22, 2021
C++

fantasyland / static-land

Star

Specification for common algebraic structures in JavaScript based on Fantasy Land

algebra functional-programming algebraic-data-types specification monad functor monoid fantasy-land adt algebraic static-land

Updated Oct 29, 2019
JavaScript

Hirrolot / datatype99

Star

Algebraic data types for C99

pattern-matching c99 metaprogramming algebraic-data-types introspection adt type-system variant derive algebraic sum-types reflection-library tagged-unions metalang99

Updated Nov 15, 2022
C

niltok / magic-in-ten-mins

Star

十分钟魔法练习

java tutorial functional-programming lambda-calculus monad hkt adt formal-verification formal-proofs

Updated Mar 30, 2022
HTML

swan-io / boxed

Star

Utility types for functional TypeScript

typescript functional fp future adt option result

Updated Oct 9, 2022
TypeScript

witchcrafters / algae

Star

Bootstrapped algebraic data types for Elixir

dsl algebraic-data-types data-structures adt

Updated Oct 22, 2022
Elixir

dreddsa5dies / algorithm

Star

The repository algorithms implemented on the Go

search go golang algorithm algorithms datastructures sort adt search-algorithm bfs algorithms-implemented algorithms-datastructures algorithms-and-data-structures

Updated Feb 8, 2022
Go

paarthenon / variant

Star

Variant types in TypeScript

redux flux typescript type-theory variants union adt discriminated-unions variant dispatching algebraic-data-type

Updated Nov 14, 2022
TypeScript

ashish-chopra / Structures

Star

Collection of abstract data structures implemented in Java

java design algorithm graph-algorithms tree-structure adt

Updated Dec 28, 2020
Java

jasonkuhrt / alge

Star

Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱

data typescript algebraic-data-types adt

Updated Nov 19, 2022
TypeScript

Qqwy / elixir-fun_land

Star

Algebraic Data Types for Elixir: Both functional and fun.

elixir algebraic-data-types monad elixir-lang adt fun-land

Updated Oct 20, 2022
Elixir

twop / ts-union

Star

ADT sum type in typescript

typescript adt sum-types

Updated Apr 9, 2022
TypeScript

Azure-Samples / azure-digital-twins-unreal-integration

Star

Sample project demonstrating the Unreal Engine plug-in for Azure Digital Twins

iot iothub unreal-engine adt 3d-graphics digitaltwins unreal-engine-plugin 3d-engines

Updated Aug 9, 2022
C#

mercari / RemoteDataK

Star

Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations

android kotlin java functional-programming kotlin-android kotlin-library algebraic-data-types adt remote-data remotedata

Updated May 18, 2021
Kotlin

rvcas / remotedata-re

Sponsor

Star

Tools for fetching data from remote sources in Reason

types adt reasonml remotedata

Updated May 11, 2021
Reason

bszwej / scala-3-crash-course

Star

Scala 3 workshop presenting the top new features of the language.

scala workshop functional-programming union exercises adt dotty scala3 enums intersections

Updated May 29, 2021
Scala

fidley / ABAPFavorites

Sponsor

Star

ABAP Favorites Eclipse Plugin

sap abap eclipse eclipse-plugin adt

Updated Nov 14, 2022
Java

Improve this page

Add a description, image, and links to the adt topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the adt topic, visit your repo's landing page and select "manage topics."

Learn more