ronami/meta-typing
📚 Functions and algorithms implemented purely with TypeScript's type system
Language: TypeScript
Total stars: 1202
Stars trend:
5 Jul 2023
#typescript
#algorithms, #example, #functional, #learning, #recursion, #typesystem, #typescript
📚 Functions and algorithms implemented purely with TypeScript's type system
Language: TypeScript
Total stars: 1202
Stars trend:
5 Jul 2023
4am █▋ +13
5am ████▎ +34
6am █████▎ +42
7am ████▎ +34
8am ████▊ +38
9am ███▎ +26
10am ██▊ +22
#typescript
#algorithms, #example, #functional, #learning, #recursion, #typesystem, #typescript
Hirrolot/datatype99
Algebraic data types for C99
Language:C
Total stars: 897
Stars trend:
#c
#adt, #algebraic, #algebraicdatatypes, #c99, #derive, #introspection, #metalang99, #metaprogramming, #patternmatching, #reflectionlibrary, #sumtypes, #taggedunions, #typesystem, #variant
Algebraic data types for C99
Language:C
Total stars: 897
Stars trend:
9 May 2024
12pm ██▌ +20
1pm ███▊ +30
2pm ███▊ +30#c
#adt, #algebraic, #algebraicdatatypes, #c99, #derive, #introspection, #metalang99, #metaprogramming, #patternmatching, #reflectionlibrary, #sumtypes, #taggedunions, #typesystem, #variant
type-challenges/type-challenges
Collection of TypeScript type challenges with online judge
Language:TypeScript
Total stars: 40541
Stars trend:
#typescript
#challenges, #type, #typesystem, #typescript
Collection of TypeScript type challenges with online judge
Language:TypeScript
Total stars: 40541
Stars trend:
17 May 2024
10am ▌ +4
11am ▊ +6
12pm ▌ +4
1pm █▍ +11
2pm ▉ +7
3pm █▏ +9
4pm ▊ +6
5pm ▌ +4
6pm █ +8
7pm █ +8
8pm ▊ +6
9pm ▌ +4#typescript
#challenges, #type, #typesystem, #typescript
typedgrammar/typed-japanese
Learn Japanese grammar with TypeScript
Language:TypeScript
Total stars: 1107
Stars trend:
#typescript
#computationallinguistics, #dsl, #grammar, #japanese, #japanesegrammar, #languagelearning, #languageverification, #nlp, #typelevelprogramming, #typesystem, #typescript, #typescripttypes
Learn Japanese grammar with TypeScript
Language:TypeScript
Total stars: 1107
Stars trend:
29 Mar 2025
11pm ██ +16
30 Mar 2025
12am ███▏ +25
1am ██▋ +21
2am ██▊ +22
3am ██▊ +22
4am █▌ +12
5am ██▉ +23
6am ███▏ +25
7am ███▍ +27
8am ██▎ +18
9am ██▍ +19
10am ██▉ +23#typescript
#computationallinguistics, #dsl, #grammar, #japanese, #japanesegrammar, #languagelearning, #languageverification, #nlp, #typelevelprogramming, #typesystem, #typescript, #typescripttypes