Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

A decently typed Forth with a touch of Perl (github.com/andreas-gone-wild)

2 points

andreasgonewild

9 years ago

362.

Gluon programming language – alternative to Lua, functional, statically-typed (github.com/gluon-lang)

2 points

9 years ago

363.

Show HN: Uint1Array – JavaScript's Missing TypedArray (github.com/dosaygo-coder-0)

2 points

9 years ago

364.

Show HN: Glue – Generate typed Golang RPC clients from server code (github.com/tejasmanohar)

2 points

9 years ago

365.

apollographql: A strongly-typed, caching GraphQL client for iOS, in Swift (github.com/apollographql)

2 points

9 years ago

366.

Monkeys – a strongly-typed genetic programming framework for Python (github.com/hchasestevens)

2 points

9 years ago

367.

Monkeys: A strongly-typed genetic programming framework for Python (github.com/hchasestevens)

2 points

9 years ago

368.

OCaml and Cordova: typed, more secured hybrid mobile applications (github.com/dannywillems)

2 points

10 years ago

369.

Typed perl5: first production-ready cperl release (github.com/perl11)

2 points

10 years ago

370.

Dyon: A dynamically-typed scripting language written in Rust (github.com/pistondevelopers)

2 points

10 years ago

371.

Make any language “typed”, by changing your project structure (github.com/harryvederci)

1 point

6 years ago

372.

Show HN: ISO 20022 Payments MCP – First standards-typed financial MCP server (github.com/scalefirstai)

1 point

3 months ago

373.

TinyOp – Typed entity store with spatial queries, beats LokiJS by 36% (github.com/Baloperson)

1 point

Displayusername

3 months ago

374.

We open-sourced kubesdk: a typed, async-first Python client for Kubernetes (github.com/puzl-cloud)

1 point

6 months ago

375.

Using GPT-4 to get well-typed JSON objects (github.com/joy-void-joy)

1 point

2 years ago

376.

On the use of "pointerness" in typedef

1 point

14 years ago

377.

Show HN: Node-RabbitMQ-client; typed, auto-reconnecting, zero-dependency library (github.com/cody-greene)

1 point

3 years ago

378.

Dependently typed FizzBuzz in Idris (gist.github.com)

1 point

11 years ago

379.

A Typed Class in Ruby (gist.github.com)

1 point

12 years ago

380.

Interactive art in a new statically typed, gc-less lisp dialect called xtlang (vimeo.com)

1 point

13 years ago

381.

Show HN: SuperCSV – a typed, self-describing data format (supercsv.com)

1 point

25 days ago

382.

Show HN: Ladon – typed, resumable web crawlers in Python (github.com/MoonyFringers)

1 point

a month ago

383.

Show HN: Discourse-reader – a typed, read-only Python client for Discourse (github.com/elninotech)

1 point

2 months ago

384.

Turnpike – typed cost attribution for LLM calls (github.com/lucianareynaud)

1 point

2 months ago

385.

Show HN: TypR – A typed R that transpiles to idiomatic R via S3 classes (github.com/we-data-ch)

1 point

FabriceHategeki

3 months ago

386.

Django-Bolt: High-Performance Typed API Framework for Django (github.com/dj-bolt)

1 point

3 months ago

387.

Coalton: Efficient, statically typed functional programming language (github.com/coalton-lang)

1 point

3 months ago

388.

Show HN: Konpeito – A gradually typed Ruby compiler with LLVM/JVM backends (github.com/i2y)

1 point

4 months ago

389.

Show HN: AsyncFast – a typed, message-driven framework inspired by FastAPI (asyncfast.readthedocs.io)

1 point

4 months ago

390.

Granule, a statically-typed linear functional language with graded modal types (github.com/granule-project)

1 point

5 months ago