adt

There are 6 repositories under adt topic.

AndroidDevTools
inferjay / AndroidDevTools
收集整理Android开发所需的Android SDK、开发中用到的工具、Android开发教程、Android设计规范，免费的设计素材等。
android-sdk android-studio sdk-manager android-development gradle adt ndk
7737
mmin18 / LayoutCast
Cast android code and resource changes to the running application through ADB.
android eclipse adt
Language:Python 1705
evilsoft / crocks
A collection of well known Algebraic Data Types for your utter enjoyment.
adt predicate-functions lift unary-functions functor composition curry monoid monad pair
Language:JavaScript 1585
Hirrolot / datatype99
Algebraic data types for C99
type-system algebraic-data-types c99 sum-types reflection-library introspection variant adt algebraic tagged-unions pattern-matching metaprogramming derive metalang99
Language:C 1305
solodon4 / Mach7
Functional programming style pattern-matching library for C++
pattern-matching pattern variant visitor visitor-pattern algebraic-data-types adt
Language:C++ 1272
aidenybai / pattycake
Zero-runtime pattern matching
adt match match-with matching pattern pattern-matching switch ts-pattern typescript
Language:TypeScript 779
fantasyland / static-land
Specification for common algebraic structures in JavaScript based on Fantasy Land
functional-programming fantasy-land specification monad functor monoid adt algebraic algebraic-data-types algebra static-land
Language:JavaScript 768
niltok / magic-in-ten-mins
十分钟魔法练习
adt java monad lambda-calculus functional-programming hkt tutorial formal-verification formal-proofs
Language:HTML 732
boxed
swan-io / boxed
Essential building-blocks for functional & safe TypeScript code
typescript adt fp functional option result future monads
Language:TypeScript 627
abap-cleaner
SAP / abap-cleaner
ABAP cleaner applies 75+ cleanup rules to ABAP code at a single keystroke
abap adt clean-code formatter pretty-printer
Language:Java 362
witchcrafters / algae
Bootstrapped algebraic data types for Elixir
algebraic-data-types data-structures adt dsl
Language:Elixir 341
dreddsa5dies / algorithm
The repository algorithms implemented on the Go
go golang algorithms datastructures algorithms-and-data-structures algorithms-datastructures sort bfs algorithms-implemented search search-algorithm adt algorithm
Language:Go 178
paarthenon / variant
Variant types in TypeScript
type-theory variants discriminated-unions dispatching redux flux variant typescript union algebraic-data-type adt
Language:TypeScript 176
jasonkuhrt / alge
Type safe library for creating Algebraic Data Types (ADTs) in TypeScript. 🌱
adt algebraic-data-types data typescript
Language:TypeScript 108
ashish-chopra / Structures
Collection of abstract data structures implemented in Java
java adt algorithm design graph-algorithms tree-structure
Language:Java 102
Eclipse_ADT_info_hub
Keller-Michael / Eclipse_ADT_info_hub
🔖 collection of helpful information about ABAP Development Tools
abap abap-development-tools adt ide internet-links links sap vscode
102
Azure-Samples / azure-digital-twins-unreal-integration
Sample project demonstrating the Unreal Engine plug-in for Azure Digital Twins
adt digitaltwins unreal-engine unreal-engine-plugin iot iothub 3d-graphics 3d-engines
Language:C# 87
Qqwy / elixir-fun_land
Algebraic Data Types for Elixir: Both functional and fun.
elixir elixir-lang fun-land algebraic-data-types monad adt
Language:Elixir 70
twop / ts-union
ADT sum type in typescript
adt typescript sum-types
Language:TypeScript 70
cwahn / efp
Expressive High-Performance Eager Functional Programming Library for C++ 11
adt cpp cpp11 functional-programming higher-order-component sum-types
Language:C++ 47
mercari / RemoteDataK
Algebraic data type (ADT) to represent the state of data that is loading from/to remote sources/destinations
adt algebraic-data-types android functional-programming java kotlin kotlin-android kotlin-library remote-data remotedata
Language:Kotlin 44
marcellourbani / abap-adt-api
Abap Developer Tools client
abap hacktoberfest adt
Language:TypeScript 42
ABAPQuickFix
fidley / ABAPQuickFix
ABAP Quick Fix
adt quickfix abap sap eclipse eclipse-plugin
Language:Java 39
bszwej / scala-3-crash-course
Scala 3 workshop presenting the top new features of the language.
scala scala3 workshop exercises dotty functional-programming enums intersections union adt
Language:Scala 35
ABAPFavorites
fidley / ABAPFavorites
ABAP Favorites Eclipse Plugin
eclipse-plugin eclipse abap sap adt
Language:Java 35
homebridge-adt-pulse
mrjackyliang / homebridge-adt-pulse
Homebridge security system platform for ADT Pulse
homebridge homebridge-plugin homekit adt adt-pulse icontrol security security-system
Language:TypeScript 33
rvcas / remotedata-re
Tools for fetching data from remote sources in Reason
reasonml types adt remotedata
Language:Reason 32
hojberg / sums-up
SumTypes in TypeScript
fp functional-programming typescript adt javascript
Language:TypeScript 29
DevEpos / abap-search-tools
ABAP Search and Analysis tools (Backend for ADT Plugin)
adt search on-premise
Language:ABAP 24
darky / rocket-pipes
Powerful pipes for TypeScript, that chain Promise and ADT for you 🚌 -> ⛰️ -> 🚠 -> 🏂 -> 🚀
pipe pipeline kleisli ramda compose composition maybe promise either validation adt monet ts typescript chain-promise fp-libraries context mock aop exit
Language:TypeScript 23
zerobias / apropos
Fast strong typed 'Either' data structure for typescript and flow
functional adt monad fp either maybe
Language:JavaScript 20
DevEpos / abap-code-search-tools
ABAP Code Search
abap adt code-search tools
Language:ABAP 19
betafcc / vscode-fp-ts-codegen
Expands haskell-syntax ADTs to typescript equivalent types definitions using gcanti/fp-ts-codegen
adt fp-ts functional-programming haskell typescript vscode vscode-extension
Language:TypeScript 16
xyzsd / dichotomy
Result, Either, Try, and Maybe monadic types for Java
algebraic-data-types either either-monad error-handling java jdk jvm monads railway-oriented-programming result-type sealed-class types adt sum-types maybe-monad result result-monad try try-monad
Language:Java 15
DevEpos / abap-search-tools-ui
Eclipse Plugin for ABAP Search and Analysis Tools
eclipse-plugin adt
Language:Java 13
rarissimaavis / Programmazione-e-Strutture-Dati
p(t)sd
adt list queue recursion stack data-structures bst btree avl priority-queue heap
Language:C 13