Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

361.

Zafiro is a strongly typed and lightweight web framework for Node.js apps

github.com/remojansen

9 years ago

2 points

362.

Statically-typed classes in JavaScript with defend.js

github.com/AshleyScirra

9 years ago

2 points

363.

Silt – a fast, dependently typed language written in Swift

github.com/silt-lang

9 years ago

2 points

364.

Blodwen – a dependently typed core language implemented in Idris

github.com/edwinb

9 years ago

2 points

365.

A decently typed Forth with a touch of Perl

github.com/andreas-gone-wild

9 years ago

andreasgonewild

2 points

366.

Gluon programming language – alternative to Lua, functional, statically-typed

github.com/gluon-lang

9 years ago

2 points

367.

Show HN: Uint1Array – JavaScript's Missing TypedArray

github.com/dosaygo-coder-0

9 years ago

2 points

368.

Show HN: Glue – Generate typed Golang RPC clients from server code

github.com/tejasmanohar

9 years ago

2 points

369.

apollographql: A strongly-typed, caching GraphQL client for iOS, in Swift

github.com/apollographql

9 years ago

2 points

370.

Monkeys – a strongly-typed genetic programming framework for Python

github.com/hchasestevens

9 years ago

2 points

371.

Monkeys: A strongly-typed genetic programming framework for Python

github.com/hchasestevens

9 years ago

2 points

372.

OCaml and Cordova: typed, more secured hybrid mobile applications

github.com/dannywillems

10 years ago

2 points

373.

Typed perl5: first production-ready cperl release

github.com/perl11

10 years ago

2 points

374.

Dyon: A dynamically-typed scripting language written in Rust

github.com/pistondevelopers

10 years ago

2 points

375.

Make any language “typed”, by changing your project structure

github.com/harryvederci

6 years ago

1 points

376.

Show HN: ISO 20022 Payments MCP – First standards-typed financial MCP server

github.com/scalefirstai

3 months ago

1 points

377.

TinyOp – Typed entity store with spatial queries, beats LokiJS by 36%

github.com/Baloperson

3 months ago

Displayusername

1 points

378.

We open-sourced kubesdk: a typed, async-first Python client for Kubernetes

github.com/puzl-cloud

7 months ago

1 points

379.

Using GPT-4 to get well-typed JSON objects

github.com/joy-void-joy

2 years ago

1 points

380.

On the use of "pointerness" in typedef

14 years ago

1 points

381.

Show HN: Node-RabbitMQ-client; typed, auto-reconnecting, zero-dependency library

github.com/cody-greene

3 years ago

1 points

382.

Dependently typed FizzBuzz in Idris

gist.github.com

11 years ago

1 points

383.

A Typed Class in Ruby

gist.github.com

12 years ago

1 points

384.

Interactive art in a new statically typed, gc-less lisp dialect called xtlang

13 years ago

1 points

385.

Show HN: SuperCSV – a typed, self-describing data format

a month ago

1 points

386.

Show HN: Ladon – typed, resumable web crawlers in Python

github.com/MoonyFringers

2 months ago

1 points

387.

Show HN: Discourse-reader – a typed, read-only Python client for Discourse

github.com/elninotech

2 months ago

1 points

388.

Turnpike – typed cost attribution for LLM calls

github.com/lucianareynaud

3 months ago

1 points

389.

Show HN: TypR – A typed R that transpiles to idiomatic R via S3 classes

github.com/we-data-ch

4 months ago

FabriceHategeki

1 points

390.

Django-Bolt: High-Performance Typed API Framework for Django

github.com/dj-bolt

4 months ago

1 points