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

HK

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

a month ago

8 points

32.

Jedlik – A TypeScript DynamoDB ORM

github.com/peak-ai

6 years ago

8 points

33.

A typed GraphQL client library for Rust

github.com/tomhoule

8 years ago

indifferentalex

7 points

34.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift

github.com/harlanhaskins

10 years ago

7 points

35.

FStar: An ML-like language with a type system for program verification

github.com/nikswamy

12 years ago

6 points

36.

Wari: A type-safe way to create and handle errors in TypeScript

github.com/webNeat

3 years ago

6 points

37.

Show HN: A TypeScript library for generating crypto tax reports

github.com/CryptoTaxTools

6 years ago

6 points

38.

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

5 months ago

5 points

39.

MiniLang: A type-safe C successor that compiles directly to C

github.com/NICUP14

2 years ago

5 points

40.

Show HN: Curry functions with a type-safe fluent API

github.com/willmartian

3 years ago

5 points

41.

Show HN: Iceberg-JS, a TypeScript Client for the Apache Iceberg REST Catalog

github.com/supabase

6 months ago

5 points

42.

Show HN: I built Kumi – a typed, array-oriented dataflow compiler in Ruby

kumi-play-web.fly.dev

8 months ago

5 points

43.

GPTyped: A small, but powerful NPM package that calls GPT in a type-safe way

github.com/juanignaciomolina

3 years ago

4 points

44.

Show HN: A builder tool to help generate CSPs in a type-safe way

github.com/pgilad

7 years ago

4 points

45.

Hook-Engine a TypeScript-First Webhook Engine with Built in Adapters, CLI

github.com/ALPHACOD3RS

a year ago

4 points

46.

Show HN: PromptSDK – A CLI to turn a folder of prompts into a type-safe SDK

github.com/ProfessionalGriefer

7 months ago

4 points

47.

Valgo is a type-safe, expressive, and extensible validator for Golang

github.com/cohesivestack

3 years ago

4 points

48.

Typed-assert: A typesafe TS assertion library

github.com/elierotenberg

6 years ago

4 points

49.

Nest – A TypeScript back end framework built on top of Express

github.com/nestjs

8 years ago

4 points

50.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift

github.com/harlanhaskins

10 years ago

4 points

51.

Show HN: a type-agnostic wrapper of leveldb for Go

github.com/dasmithii

12 years ago

3 points

52.

Show HN: I recovered 1.55 ETH from a type-casting bug in a 2021 crypto wallet

github.com/RobMulla

3 months ago

3 points

53.

unwrap-or: a TypeScript implementation of Rust's Option and Result types

github.com/hnatiukr

a year ago

3 points

54.

Hack: A typeface designed for source code

github.com/source-foundry

3 years ago

3 points

55.

A TypeScript TLS 1.3 Client

github.com/jawj

3 years ago

3 points

56.

Show HN: Netswift – A Type-Safe Networking Library for Swift Apps

github.com/MrSkwiggs

6 years ago

3 points

57.

Show HN: A TypeScript Pokémon Crystal TUI for Agent Benchmarking

github.com/TheCulliganMan

21 hours ago

3 points

58.

Show HN: Typestone – A TypeScript validation library with strong type safety

github.com/itskyedo

5 months ago

3 points

59.

Show HN: DocNode, A TypeScript OT library for local-first apps

github.com/docnode

6 months ago

3 points

60.

Pro Color Harmonies – A TypeScript color-harmony library

github.com/meodai

7 months ago

3 points