Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

Show HN: The best typed EventEmitter in TypeScript (github.com/MakeNowJust)

1 point

8 years ago

422.

Show HN: Strongly-Typed Parser Combinators for Dart (github.com/thosakwe)

1 point

8 years ago

423.

A statically typed lisp, without a GC, for real-time applications (github.com/carp-lang)

1 point

8 years ago

424.

SATySFi: statically-typed, functional typesetting system (github.com/gfngfn)

1 point

8 years ago

425.

Cixl – a minimal, decently typed scripting language (github.com/basic-gongfu)

1 point

8 years ago

426.

Cixl – a minimal, decently typed scripting language (github.com/basic-gongfu)

1 point

8 years ago

427.

A new Statically-typed immutable update library for TypeScript/flow.js (github.com/hydux)

1 point

8 years ago

428.

A Novel Way to Specify Well Typed Web Services in Haskell with Servant-Generic (github.com/chpatrick)

1 point

9 years ago

429.

Typed JSON, a binary-encoded serialization of JSON-like documents (github.com/tercen)

1 point

9 years ago

430.

Typed, immutable JavaScript Records (github.com/b-gran)

1 point

9 years ago

431.

Effects: Monadic, softly-typed, extensible effect handling in Elixir (github.com/metalabdesign)

1 point

10 years ago

432.

Remora: Dependently-typed language with Iverson-style implicit lifting (github.com/jrslepak)

1 point

10 years ago

433.

Carp: a statically typed lisp, without a GC, for high performance applications (github.com/eriksvedang)

1 point

10 years ago

434.

Launch HN: Fig (YC S20) – Autocomplete for the Terminal (fig.io)

559 points

5 years ago

435.

Show HN: A Full-Stack Web Framework for Go (github.com/livebud)

531 points

4 years ago

436.

Show HN: Open-source Postman alternative with type safety (recipeui.com)

275 points

3 years ago

437.

Show HN: Han – A Korean programming language written in Rust (github.com/xodn348)

208 points

3 months ago

438.

Show HN: Pg_jsonschema – A Postgres extension for JSON validation (github.com/supabase)

203 points

4 years ago

439.

Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK (github.com/helvesec)

194 points

19 days ago

440.

Show HN: Gitlogue – A terminal tool that replays your Git commits with animation (github.com/unhappychoice)

159 points

7 months ago

441.

Show HN: Oxyde – Pydantic-native async ORM with a Rust core (github.com/mr-fatalyst)

155 points

3 months ago

442.

Show HN: LangAlpha – what if Claude Code was built for Wall Street? (github.com/ginlix-ai)

148 points

2 months ago

443.

Show HN: Going into freshman year, figured I should build an interpreter

138 points

3 years ago

444.

Show HN: Marvin – build AI functions that use an LLM as a runtime (github.com/PrefectHQ)

127 points

3 years ago

445.

Show HN: Dlt – Python library to automate the creation of datasets (colab.research.google.com)

114 points

3 years ago

446.

Show HN: MonkeyPatch – Cheap, fast and predictable LLM functions in Python (github.com/monkeypatch)

95 points

3 years ago

447.

Show HN: Using a color pattern to let a user 'recognise' their password (github.com/skattyadz)

95 points

14 years ago

448.

Show HN: Zli – A Batteries-Included CLI Framework for Zig (github.com/xcaeser)

95 points

a year ago

449.

Show HN: Python Simulator of David Deutsch’s “Constructor Theory of Time” (github.com/gvelesandro)

84 points

a year ago

450.

Show HN: Synchrotron, a real-time DSP engine in pure Python (synchrotron.thatother.dev)

82 points

10 months ago