Search: github.com/typelevel | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Typelevel Scala (github.com/typelevel)

90 points

10 years ago

2.

Typelevel Scala 4 for Scala 2.12.2 and 2.11.11 released (github.com/typelevel)

2 points

9 years ago

3.

Cats-effect: I/O Integrated Runtime Concept (github.com/typelevel)

1 point

5 months ago

4.

Cats 2.0.0-RC3 (github.com/typelevel)

1 point

7 years ago

5.

The Future of Typelevel Scala (github.com/typelevel)

1 point

7 years ago

6.

Cats 1.4.0 (Scala) (github.com/typelevel)

1 point

8 years ago

7.

Scala: Look very hard at non-macro solutions where at all possible (github.com/typelevel)

1 point

8 years ago

8.

Show HN: Typelevel Regular Expressions (PureScript) (github.com/thought2)

2 points

3 years ago

9.

Functional Typelevel Programming in Scala (github.com/dotty-staging)

70 points

8 years ago

10.

Show HN: Glowstick – type level tensor shapes in stable rust (github.com/nicksenger)

53 points

a year ago

11.

John De Goes indefinitely barred from participating in Typelevel projects (gist.github.com)

24 points

7 years ago

12.

Bond – Type-level validation for Scala (github.com/fwbrasil)

12 points

11 years ago

13.

Show HN: Type-level Lambda Calculus interpreter in TypeScript (github.com/EvolveYourMind)

10 points

4 years ago

14.

Show HN: Type-level Regexp matching in TypeScript (github.com/EvolveYourMind)

5 points

4 years ago

15.

Show HN: type-kanren – type-level microKanren in TypeScript (github.com/eduhenke)

5 points

9 months ago

16.

Don Syme's response to requests for type-level programming support in F# (github.com/fsharp)

5 points

5 years ago

17.

Show HN: Rust type level Game of Life (github.com/gtestault)

5 points

8 years ago

18.

Show HN: TypeScript type-level math expression parser and evaluator (github.com/dqbd)

3 points

3 years ago

19.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

3 points

6 years ago

20.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

3 points

6 years ago

21.

Functional Typelevel Programming in Scala 3 (Martin Odersky) (github.com/dotty-staging)

3 points

8 years ago

22.

Register Machine implemented at the type-level of Haskell (github.com/kcsongor)

3 points

10 years ago

23.

Show HN: Type-level Fibonacci with a while loop in stable Rust (no const) (gist.github.com)

2 points

2 months ago

24.

Show HN: Sigil – Track data trust at the type level

2 points

5 months ago

25.

Functional programming at the type level in TypeScript (github.com/gvergnaud)

2 points

5 months ago

26.

DateType: Distinguish aware and native datetimes at the type level (github.com/glyph)

2 points

3 years ago

27.

Show HN: Type-Level RegExp Matching in TypeScript (github.com/desi-ivanov)

2 points

4 years ago

28.

Tyrade: Language for type-level programming in Rust (github.com/willcrichton)

2 points

5 years ago

29.

Tyrade: A pure functional language for type-level programming in Rust (github.com/willcrichton)

2 points

6 years ago

30.

Universal Register Machine Implemented at the Type-Level of Haskell (github.com/kcsongor)

2 points

8 years ago