Search: github.com/typelevel | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Typelevel Scala

github.com/typelevel

10 years ago

90 points

2.

Typelevel Scala 4 for Scala 2.12.2 and 2.11.11 released

github.com/typelevel

9 years ago

2 points

3.

Cats-effect: I/O Integrated Runtime Concept

github.com/typelevel

6 months ago

1 points

4.

github.com/typelevel

7 years ago

1 points

5.

The Future of Typelevel Scala

github.com/typelevel

7 years ago

1 points

6.

Cats 1.4.0 (Scala)

github.com/typelevel

8 years ago

1 points

7.

Scala: Look very hard at non-macro solutions where at all possible

github.com/typelevel

8 years ago

1 points

8.

Show HN: Typelevel Regular Expressions (PureScript)

github.com/thought2

3 years ago

2 points

9.

Functional Typelevel Programming in Scala

github.com/dotty-staging

8 years ago

70 points

10.

Show HN: Glowstick – type level tensor shapes in stable rust

github.com/nicksenger

a year ago

53 points

11.

John De Goes indefinitely barred from participating in Typelevel projects

gist.github.com

7 years ago

24 points

12.

Bond – Type-level validation for Scala

github.com/fwbrasil

11 years ago

12 points

13.

Show HN: Type-level Lambda Calculus interpreter in TypeScript

github.com/EvolveYourMind

5 years ago

10 points

14.

Show HN: Type-level Regexp matching in TypeScript

github.com/EvolveYourMind

5 years ago

5 points

15.

Show HN: type-kanren – type-level microKanren in TypeScript

github.com/eduhenke

10 months ago

5 points

16.

Don Syme's response to requests for type-level programming support in F#

github.com/fsharp

5 years ago

5 points

17.

Show HN: Rust type level Game of Life

github.com/gtestault

8 years ago

5 points

18.

Show HN: TypeScript type-level math expression parser and evaluator

github.com/dqbd

3 years ago

3 points

19.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

3 points

20.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

3 points

21.

Functional Typelevel Programming in Scala 3 (Martin Odersky)

github.com/dotty-staging

8 years ago

3 points

22.

Register Machine implemented at the type-level of Haskell

github.com/kcsongor

10 years ago

3 points

23.

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

gist.github.com

2 months ago

2 points

24.

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

5 months ago

2 points

25.

Functional programming at the type level in TypeScript

github.com/gvergnaud

5 months ago

2 points

26.

DateType: Distinguish aware and native datetimes at the type level

github.com/glyph

3 years ago

2 points

27.

Show HN: Type-Level RegExp Matching in TypeScript

github.com/desi-ivanov

4 years ago

2 points

28.

Tyrade: Language for type-level programming in Rust

github.com/willcrichton

5 years ago

2 points

29.

Tyrade: A pure functional language for type-level programming in Rust

github.com/willcrichton

6 years ago

2 points

30.

Universal Register Machine Implemented at the Type-Level of Haskell

github.com/kcsongor

8 years ago

2 points