Search: github.com/typelevel | Heykuki News

HK

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

a year ago

1 points

32.

Show HN: Wit-ts – A type-level WIT parser for TypeScript

github.com/mattmarcello

4 months ago

1 points

33.

Show HN: Typegraph – type-level graphs of Rust types

github.com/nicksenger

8 months ago

1 points

34.

TypeScript type level base 10 to binary transformation

gist.github.com

9 months ago

1 points

35.

Rust Type-Level Fuckery (2024)

github.com/lilyyy411

10 months ago

1 points

36.

HOTscript: Higher-order TypeScript, a library for type-level madness

github.com/gvergnaud

2 years ago

1 points

37.

Show HN: A Type-Level Brainfuck Interpreter

github.com/RuyiLi

2 years ago

1 points

38.

Type-level Fibonacci numbers in Scala

github.com/milessabin

14 years ago

1 points

39.

Iron, type-level validations for Scala

github.com/Iltotore

5 years ago

1 points

40.

Ask HN: A retrofitted C dialect?

a year ago

55 points

41.

Show HN: Cap'n-rs – Rust implementation of Cloudflare's Cap'n Web protocol

github.com/currentspace

9 months ago

52 points

42.

Show HN: Inception: Automatic Rust Trait Implementation by Induction

github.com/nicksenger

10 months ago

10 points

43.

Show HN: A Sudoku solver in TypeScript's type system

2 years ago

3 points

44.

Show HN: AI agent framework where dangerous actions are structurally unreachable

github.com/hibanaworks

4 months ago

3 points

45.

Show HN: Enforcing Safe RSC Boundaries

github.com/yuuichieguchi

6 months ago

2 points

46.

Show HN: Foxp – a TypeScript type checker enabling pseudo dependent types

github.com/taiyakihitotsu

a year ago

2 points

47.

Show HN: Semantic Primitives- TypeScript types that understand natural language

github.com/elicollinson

5 months ago

1 points

48.

Show HN: Internationalizationext selector API – selector t for TypeScript

10 months ago

1 points

49.

Show HN: Just Released TypeSafe Builder for Rust

github.com/tomoikey

a year ago

1 points

50.

Show HN: TopLevel – A New Way to JavaScript Your HTML

github.com/kristopolous

12 years ago

79 points

51.

Top Level System – A modular C microkernel with 50 hot-loadable modules

github.com/garacil

3 months ago

5 points