Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

421.

A8m/syncmap: A typed implementation of the Go sync.Map using code generation

7 years ago

1 points

422.

EffectiveSan: Dynamically Typed C/C++

github.com/GJDuck

7 years ago

1 points

423.

Lambdascript. Strongly typed, lazy, purely functional client side web scripting.

github.com/valderman

16 years ago

1 points

424.

EffectiveSan: Dynamically Typed C/C++

github.com/GJDuck

7 years ago

1 points

425.

Show HN: The best typed EventEmitter in TypeScript

github.com/MakeNowJust

8 years ago

1 points

426.

Show HN: Strongly-Typed Parser Combinators for Dart

github.com/thosakwe

8 years ago

1 points

427.

A statically typed lisp, without a GC, for real-time applications

github.com/carp-lang

8 years ago

1 points

428.

SATySFi: statically-typed, functional typesetting system

github.com/gfngfn

8 years ago

1 points

429.

Cixl – a minimal, decently typed scripting language

github.com/basic-gongfu

8 years ago

1 points

430.

Cixl – a minimal, decently typed scripting language

github.com/basic-gongfu

8 years ago

1 points

431.

A new Statically-typed immutable update library for TypeScript/flow.js

github.com/hydux

8 years ago

1 points

432.

A Novel Way to Specify Well Typed Web Services in Haskell with Servant-Generic

github.com/chpatrick

9 years ago

1 points

433.

Typed JSON, a binary-encoded serialization of JSON-like documents

github.com/tercen

9 years ago

1 points

434.

Typed, immutable JavaScript Records

github.com/b-gran

9 years ago

1 points

435.

Effects: Monadic, softly-typed, extensible effect handling in Elixir

github.com/metalabdesign

10 years ago

1 points

436.

Remora: Dependently-typed language with Iverson-style implicit lifting

github.com/jrslepak

10 years ago

1 points

437.

Carp: a statically typed lisp, without a GC, for high performance applications

github.com/eriksvedang

10 years ago

1 points

438.

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

5 years ago

559 points

439.

Show HN: A Full-Stack Web Framework for Go

github.com/livebud

4 years ago

531 points

440.

Show HN: Open-source Postman alternative with type safety

3 years ago

275 points

441.

Show HN: Han – A Korean programming language written in Rust

github.com/xodn348

3 months ago

208 points

442.

Show HN: Pg_jsonschema – A Postgres extension for JSON validation

github.com/supabase

4 years ago

203 points

443.

Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK

github.com/helvesec

a month ago

194 points

444.

Show HN: Gitlogue – A terminal tool that replays your Git commits with animation

github.com/unhappychoice

7 months ago

159 points

445.

Show HN: Oxyde – Pydantic-native async ORM with a Rust core

github.com/mr-fatalyst

3 months ago

155 points

446.

Show HN: LangAlpha – what if Claude Code was built for Wall Street?

github.com/ginlix-ai

2 months ago

148 points

447.

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

3 years ago

138 points

448.

Show HN: Marvin – build AI functions that use an LLM as a runtime

github.com/PrefectHQ

3 years ago

127 points

449.

Show HN: Dlt – Python library to automate the creation of datasets

colab.research.google.com

3 years ago

114 points

450.

Show HN: MonkeyPatch – Cheap, fast and predictable LLM functions in Python

github.com/monkeypatch

3 years ago

95 points