Search Results - RepositoryStats

AndroidDevTools inferjay

2.1k

7.7k

unknown

664

收集整理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 3 years ago

LayoutCast mmin18

174

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 8 years ago

crocks evilsoft

102

1.6k

isc

39

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

24

1.3k

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

515 commits to master branch, last one 22 days ago

Mach7 solodon4

79

1.3k

other

67

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 2 years ago

pattycake aidenybai

8

783

mit

8

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 4 months ago

static-land fantasyland

40

770

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 4 years ago

magic-in-ten-mins niltok

36

735

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 9 months ago

boxed swan-io

18

631

mit

4

Essential building-blocks for functional & safe TypeScript code

fp adt future monads option result functional typescript

Created 2022-03-19

357 commits to main branch, last one 21 days ago

abap-cleaner SAP

40

365

apache-2.0

22

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

adt abap formatter clean-code pretty-printer

Created 2023-04-21

309 commits to main branch, last one 18 days ago

algae witchcrafters

20

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

algorithm dreddsa5dies

27

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