Build software better, together

inferjay / AndroidDevTools

6.3k

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

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

Updated Mar 22, 2019

mmin18 / LayoutCast

1.7k

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

android eclipse adt

Python Updated Mar 10, 2018

solodon4 / Mach7

970

Functional programming style pattern-matching library for C++

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

C++ Updated Mar 11, 2019 2 issues need help

evilsoft / crocks

945

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

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

JavaScript Updated Mar 16, 2019 1 issue needs help

rpominov / static-land

545

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

JavaScript Updated Dec 1, 2018

pinterest / plank

408

A tool for generating immutable model objects

swift objective-c models macos ios flowtype java android schema adt json

Swift Updated Mar 20, 2019

dreddsa5dies / algorithm

142

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

CSS Updated Apr 21, 2018

ashish-chopra / Structures

85

Collection of abstract data structures implemented in Java

java adt algorithm design graph-algorithms tree-structure

Java Updated Jan 13, 2018

Qqwy / elixir_fun_land

42

Algebraic Data Types for Elixir: Both functional and fun.

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

Elixir Updated Feb 5, 2019

mercari / RemoteData

19

Data Type to represent the state of data that is loading from remote sources

remotedata kotlin android kotlin-android functional-programming elm remote-data kotlin-library adt java

Kotlin Updated Mar 7, 2019

zerobias / apropos

17

Fast strong typed 'Either' data structure for typescript and flow

functional adt monad fp either maybe

JavaScript Updated Dec 11, 2017

twop / ts-union

16

ADT sum type in typescript

adt typescript sum-types

TypeScript Updated Feb 11, 2019

0njzy0 / Simple-Note

11

一款采用Material Design设计风格的记事本App

android java adt eclipse

Java Updated Aug 10, 2017

kongware / scriptum

9

A gentle and type-directed functional library with a focus on purity, abstraction and patterns.

functional-programming overloaded-functions typeclass polymorphism algebraic-data-types adt sum-types tagged-unions debugging pure-functional pure-function monad recursion monoid typeclasses javascript functor

JavaScript Updated Mar 16, 2019

Luzifix / ADTConvert

8

The ADTConverter can convert the World of Warcraft ADT Format form LK(3.3.5) to WoD(6.x.x)

adt wow wotlk wod converter

C# Updated Mar 16, 2019

SaffronCode / Air-Global-Export

8

This is a package of command saved on a bat file to help you export your swf project and its dependency without need …

actionscript as3 adobe-air animate flash batch adl adt adobe adobe-flash swf android ios

Batchfile Updated Mar 7, 2019

hojberg / sums-up

6

SumTypes in TypeScript

fp functional-programming typescript adt javascript

TypeScript Updated Mar 14, 2019

lapets / uxadt

6

Universal (cross-language) extensible representation for algebraic data type instances.

algebraic-data-types adts adt library embedded-language pattern-matching functional-programming

Python Updated Jan 3, 2018

vendethiel / ADT.ex

5

Light ADTs for Elixir

elixir adt light-adts

Elixir Updated Aug 6, 2017

toastal / select-prism

3

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

elm optics select union-types adt sum-types

Elm Updated Jan 14, 2017

jmcph4 / jcrl

3

A library of fundamental algorithms and data structures written in C

C Updated Mar 10, 2019

hermannhueck / tagless-final

3

tagless-final

tagless-final tagless final algebra adt scala java haskell

Scala Updated May 9, 2018

fabiomaia / libpolynomial

3

➗ C library of a polynomial ADT.

adt c polynomial

C Updated Sep 13, 2018

AzimoLabs / DecisionEngine

2

Example project showing basics behind our Decision Engine, built on top of Shapeless and Scala.

scala shapeless adt algebraic-data-types generic-programming

Scala Updated Jul 17, 2018

gummywormz / AutoJARC

1

Automatic ARC extension builder for use with ADT / Eclipse

eclipse adt jarc-apk auto-jarc java android android-development

Java Updated Jul 15, 2015

Traap / adt-java

1

Abstract Data Type Examples

java junit gradle adt

Java Updated Mar 19, 2018

droidlife / ADT

1

Automatic Torrent Downloader

adt torrent beautifulsoup

Python Updated Sep 30, 2016

Recol / Arkham-Dark-Theme

1

Source files for ADT.

arkham-dark-theme chrome chrome-extensions chrome-extension adt

CSS Updated Jan 25, 2019

Mandarancio / ProofKit

1

ADT and Proof editor

adt formal tools proofs logickit logic swift

Swift Updated Oct 23, 2018

Waye / Algorithmn

1

all the interesting algorithms, structure and coding problems I learned are uploaded here

adt data-structures

Java Updated Jan 15, 2019

Please note that GitHub no longer supports Internet Explorer.

adt

Repositories 104