Search Results - RepositoryStats

AndroidDevTools inferjay

2.1k

7.9k

unknown

660

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

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

Created 2014-06-28

272 commits to master branch, last one 4 years ago

LayoutCast mmin18

173

1.7k

unknown

72

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

adt android eclipse

Created 2015-08-04

151 commits to master branch, last one 9 years ago

crocks evilsoft

102

1.6k

isc

37

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

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

Created 2016-07-02

599 commits to master branch, last one 3 years ago

datatype99 hirrolot

23

1.4k

mit

14

Algebraic data types for C99

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

Created 2020-11-12

521 commits to master branch, last one 19 days ago

Mach7 solodon4

78

1.3k

other

65

Functional programming style pattern-matching library for C++

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

Created 2014-05-27

590 commits to master branch, last one 3 years ago

pattycake aidenybai

6

819

mit

7

Zero-runtime pattern matching

adt match switch pattern matching match-with ts-pattern typescript pattern-matching

Created 2023-09-16

29 commits to main branch, last one 10 months ago

magic-in-ten-mins niltok

39

790

cc-by-4.0

8

十分钟魔法练习

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

Created 2020-11-09

94 commits to main branch, last one about a year ago

static-land fantasyland

41

771

mit

23

Specification for common algebraic structures in JavaScript based on Fantasy Land

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

Created 2016-03-12

160 commits to master branch, last one 5 years ago

boxed swan-io

24

694

mit

6

Essential building-blocks for functional & safe TypeScript code

fp adt future monads option result functional typescript

Created 2022-03-19

402 commits to main branch, last one a day ago

abap-cleaner SAP

49

463

apache-2.0

23

ABAP cleaner applies 95+ cleanup rules to ABAP code at a single keystroke

adt abap formatter clean-code pretty-printer

Created 2023-04-21

415 commits to main branch, last one 5 days ago

algae witchcrafters

18

341

mit

12

Bootstrapped algebraic data types for Elixir

adt dsl data-structures algebraic-data-types

Created 2015-11-22

101 commits to main branch, last one 2 years ago

variant paarthenon

3

186

mpl-2.0

5

Variant types in TypeScript

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

Created 2019-09-25

120 commits to master branch, last one 2 years ago

algorithm dreddsa5dies

25

179

mit

13

The repository algorithms implemented on the Go

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

Created 2016-07-18

73 commits to master branch, last one 2 years ago