Search: github.com/a-type | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Daktilo: Turn Your Keyboard into a Typewriter (github.com/orhun)

3 points

3 years ago

62.

Ezno: A TypeScript checker written in Rust (github.com/kaleidawave)

3 points

3 years ago

63.

Show HN: JStachio a type-safe Mustache engine that is incredible fast (github.com/jstachio)

3 points

3 years ago

64.

Boxes and Glue: A typesetting library written in Go (github.com/speedata)

3 points

4 years ago

65.

TypeProf: A type analysis tool for Ruby code based on abstract interpretation (github.com/ruby)

3 points

4 years ago

66.

Show HN: A TypeScript/JavaScript financial library for Node.js, Deno and browser (github.com/lmammino)

3 points

6 years ago

67.

Bosque: A TypeScript-like programming language that compiles to native code (github.com/microsoft)

3 points

6 years ago

68.

Sparks: A typeface for creating sparklines in text (github.com/aftertheflood)

3 points

6 years ago

69.

Carp – A type inferred Lisp with Rust style memory management (github.com/carp-lang)

3 points

9 years ago

70.

Show HN: I'm building TaskWeave, a typesafe task orchestrator (github.com/spicyPoke)

2 points

3 months ago

71.

Show HN: Batch-AI – A TypeScript SDK for Batch AI Calls Across Providers (github.com/grantsingleton)

2 points

a year ago

72.

spmd_types: A type system for distributed (SPMD) tensor computations in PyTorch (github.com/meta-pytorch)

2 points

a month ago

73.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

74.

Zapcode: A TypeScript interpreter in Rust for AI agents (2µs start, sandbox) (github.com/TheUncharted)

2 points

3 months ago

75.

I made a TypeScript to native code compiler via CLR and NativeAOT (github.com/tsoniclang)

2 points

5 months ago

76.

Show HN: Authme – A TypeScript JWT auth package for Express/MongoDB (github.com/tapeo)

2 points

a year ago

77.

I made a TypeScript for C. Need feedback on the syntax of the meta-programming (github.com/galileolajara)

2 points

a year ago

78.

Hey everyone, I created a TypeScript schema validation library (github.com/seanpmaxwell)

2 points

2 years ago

79.

Derive a TypeScript Interface from JSON or a JavaScript Object (github.com/jakecyr)

2 points

3 years ago

80.

Intuitive Compiler, a TypeScript lib for converting source code into tokens (github.com/nick-hill-dev)

2 points

3 years ago

81.

Show HN: ASys – A typed binary protocol for AI agents to operate servers(no SSH) (github.com/vincentping)

2 points

3 days ago

82.

Basketeer – a typed TS SDK for your Tesco account, with nutrition data (github.com/tobyandrews1985)

2 points

tobyandrews1985

4 days ago

83.

Synaphe – A type-safe language for hybrid AI and quantum computing (github.com/martus-spinther)

2 points

martus-spinther

2 months ago

84.

Show HN: Jmap-kit – a TypeScript library for JMAP client applications (github.com/lachlanhunt)

2 points

3 months ago

85.

Show HN: Funxy – A typed scripting language that embeds into Go apps (github.com/funvibe)

2 points

4 months ago

86.

Show HN: Dimension-TT – A typesafe wrapper for Java Swing Tables using Java 24 (github.com/akardapolov)

2 points

5 months ago

87.

A type-safe Swift library for the Google Sheets API (github.com/vinayjn)

2 points

5 months ago

88.

ExpressiveMD – A typed, language agnostic, MD templating engine for the future (github.com/xray)

2 points

5 months ago

89.

Show HN: Markdown-exit – a TypeScript rewrite of Markdown-it with enhancements (github.com/serkodev)

2 points

7 months ago

90.

Show HN: cc-hooks-ts – A type-safe, extendable hook builder for Claude Code (github.com/sushichan044)

2 points

9 months ago