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

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

BotScript – a TypeScript superset for code mostly written by bots (github.com/marcelofarias)

8 points

a month ago

32.

Jedlik – A TypeScript DynamoDB ORM (github.com/peak-ai)

8 points

6 years ago

33.

A typed GraphQL client library for Rust (github.com/tomhoule)

7 points

indifferentalex

8 years ago

34.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift (github.com/harlanhaskins)

7 points

10 years ago

35.

FStar: An ML-like language with a type system for program verification (github.com/nikswamy)

6 points

12 years ago

36.

Wari: A type-safe way to create and handle errors in TypeScript (github.com/webNeat)

6 points

3 years ago

37.

Show HN: A TypeScript library for generating crypto tax reports (github.com/CryptoTaxTools)

6 points

6 years ago

38.

Show HN: We built a type-safe Python ORM for RedisGraph/FalkorDB

5 points

4 months ago

39.

MiniLang: A type-safe C successor that compiles directly to C (github.com/NICUP14)

5 points

2 years ago

40.

Show HN: Curry functions with a type-safe fluent API (github.com/willmartian)

5 points

3 years ago

41.

Show HN: Iceberg-JS, a TypeScript Client for the Apache Iceberg REST Catalog (github.com/supabase)

5 points

6 months ago

42.

Show HN: I built Kumi – a typed, array-oriented dataflow compiler in Ruby (kumi-play-web.fly.dev)

5 points

7 months ago

43.

GPTyped: A small, but powerful NPM package that calls GPT in a type-safe way (github.com/juanignaciomolina)

4 points

3 years ago

44.

Show HN: A builder tool to help generate CSPs in a type-safe way (github.com/pgilad)

4 points

7 years ago

45.

Hook-Engine a TypeScript-First Webhook Engine with Built in Adapters, CLI (github.com/ALPHACOD3RS)

4 points

a year ago

46.

Show HN: PromptSDK – A CLI to turn a folder of prompts into a type-safe SDK (github.com/ProfessionalGriefer)

4 points

6 months ago

47.

Valgo is a type-safe, expressive, and extensible validator for Golang (github.com/cohesivestack)

4 points

3 years ago

48.

Typed-assert: A typesafe TS assertion library (github.com/elierotenberg)

4 points

6 years ago

49.

Nest – A TypeScript back end framework built on top of Express (github.com/nestjs)

4 points

8 years ago

50.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift (github.com/harlanhaskins)

4 points

10 years ago

51.

Show HN: a type-agnostic wrapper of leveldb for Go (github.com/dasmithii)

3 points

12 years ago

52.

Show HN: I recovered 1.55 ETH from a type-casting bug in a 2021 crypto wallet (github.com/RobMulla)

3 points

3 months ago

53.

unwrap-or: a TypeScript implementation of Rust's Option and Result types (github.com/hnatiukr)

3 points

a year ago

54.

Hack: A typeface designed for source code (github.com/source-foundry)

3 points

3 years ago

55.

A TypeScript TLS 1.3 Client (github.com/jawj)

3 points

3 years ago

56.

Show HN: Netswift – A Type-Safe Networking Library for Swift Apps (github.com/MrSkwiggs)

3 points

6 years ago

57.

Show HN: Typestone – A TypeScript validation library with strong type safety (github.com/itskyedo)

3 points

5 months ago

58.

Show HN: DocNode, A TypeScript OT library for local-first apps (github.com/docnode)

3 points

6 months ago

59.

Pro Color Harmonies – A TypeScript color-harmony library (github.com/meodai)

3 points

6 months ago

60.

Sparks – A typeface for creating sparklines in text without code (github.com/aftertheflood)

3 points

a year ago