Search: github.com/typelevel | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

TSFuck – A type-level Brainfuck interpreter in TypeScript (github.com/fmccl)

1 point

a year ago

32.

Show HN: Wit-ts – A type-level WIT parser for TypeScript (github.com/mattmarcello)

1 point

4 months ago

33.

Show HN: Typegraph – type-level graphs of Rust types (github.com/nicksenger)

1 point

7 months ago

34.

TypeScript type level base 10 to binary transformation (gist.github.com)

1 point

9 months ago

35.

Rust Type-Level Fuckery (2024) (github.com/lilyyy411)

1 point

10 months ago

36.

HOTscript: Higher-order TypeScript, a library for type-level madness (github.com/gvergnaud)

1 point

2 years ago

37.

Show HN: A Type-Level Brainfuck Interpreter (github.com/RuyiLi)

1 point

2 years ago

38.

Type-level Fibonacci numbers in Scala (github.com/milessabin)

1 point

14 years ago

39.

Iron, type-level validations for Scala (github.com/Iltotore)

1 point

5 years ago

40.

Ask HN: A retrofitted C dialect?

55 points

a year ago

41.

Show HN: Cap'n-rs – Rust implementation of Cloudflare's Cap'n Web protocol (github.com/currentspace)

52 points

8 months ago

42.

Show HN: Inception: Automatic Rust Trait Implementation by Induction (github.com/nicksenger)

10 points

9 months ago

43.

Show HN: A Sudoku solver in TypeScript's type system (tsplay.dev)

3 points

2 years ago

44.

Show HN: AI agent framework where dangerous actions are structurally unreachable (github.com/hibanaworks)

3 points

4 months ago

45.

Show HN: Enforcing Safe RSC Boundaries (github.com/yuuichieguchi)

2 points

5 months ago

46.

Show HN: Foxp – a TypeScript type checker enabling pseudo dependent types (github.com/taiyakihitotsu)

2 points

a year ago

47.

Show HN: Semantic Primitives- TypeScript types that understand natural language (github.com/elicollinson)

1 point

4 months ago

48.

Show HN: Internationalizationext selector API – selector t for TypeScript (locize.com)

1 point

10 months ago

49.

Show HN: Just Released TypeSafe Builder for Rust (github.com/tomoikey)

1 point

a year ago

50.

Show HN: TopLevel – A New Way to JavaScript Your HTML (github.com/kristopolous)

79 points

12 years ago

51.

Top Level System – A modular C microkernel with 50 hot-loadable modules (github.com/garacil)

5 points

2 months ago