Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Kiwi: Generate statically typed list for C

github.com/jeremyletang

9 years ago

3 points

272.

The Lux Programming Language – Functional, Statically-Typed Lisp – v0.5.0

github.com/LuxLang

9 years ago

3 points

273.

Dropbox mypy team considering static compilation for typed python

github.com/python

10 years ago

3 points

274.

Dumb YAML – a restricted explitictly typed subset of YAML

github.com/crdoconnor

10 years ago

3 points

275.

Show HN: Chakka – Akka, Akka.JS, typed websocket chat

github.com/Starofall

10 years ago

3 points

276.

Statically-typed, Rust-like programming language

4 years ago

2 points

277.

Mnemo: Shareable typed agentic memory system with Bayesian belief updating

github.com/inforge-ai

2 months ago

2 points

278.

Show HN: Typed-Prompts – Type-Safe Prompt Engineering

6 months ago

2 points

279.

What is the appeal of dynamically-typed languages?

gist.github.com

7 years ago

2 points

280.

Usable discriminated union in C#: one-line typed, Equality, ToString included

gist.github.com

8 years ago

2 points

281.

A statically typed, procedural language that looks like poorly written erotica

github.com/Property404

9 years ago

2 points

282.

Show HN: ASys – A typed binary protocol for AI agents to operate servers(no SSH)

github.com/vincentping

21 days ago

2 points

283.

Show HN: Open Agent Spec. Treat AI agents like typed functions not prompt chains

github.com/prime-vector

3 months ago

2 points

284.

Show HN: SAIA – Typed Contracts for LLM Outputs

github.com/serendip-ml

4 months ago

2 points

285.

Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing

5 months ago

2 points

286.

Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable

github.com/granular-software

a year ago

JianYangbachman

2 points

287.

Implementing a command that I've always typed: gti

github.com/rwos

14 years ago

2 points

288.

Buzz 0.5.0 release – a statically typed scripting language written in Zig

github.com/buzz-language

a year ago

2 points

289.

jQuery Write/See Maths - For Instant MathJax Preview Of Typed TeX

christianp.github.com

14 years ago

2 points

290.

CricLang: A fun dynamically typed language written in Go for cricket enthusiasts

github.com/manthanguptaa

2 years ago

2 points

291.

Why TypeScript Doesnt Have Typed nor Checked Exceptions

github.com/microsoft

3 years ago

2 points

292.

Flunct: Well-typed, fluent APIs in SML

github.com/OriRoth

3 years ago

2 points

293.

Coalton is an efficient, statically typed functional programming language

github.com/coalton-lang

4 years ago

2 points

294.

Show HN: A strongly typed XML reader based on XPath for JVM

github.com/nileshkhaire

5 years ago

2 points

295.

Java: BabyCorn XML: A strongly typed XML reader based on XPath

github.com/nileshkhaire

5 years ago

2 points

296.

Strong typed, autocompleted resources (cells and segues) in your Swift project

github.com/mac-cain13

11 years ago

2 points

297.

What is the appeal of dynamically-typed languages?

gist.github.com

11 years ago

2 points

298.

A demo implementation of a simple dependently-typed language (Stephanie Weirich)

github.com/sweirich

12 years ago

2 points

299.

Strongly Typed System for Scientific Quantities

github.com/nourani

12 years ago

2 points

300.

Weakly-typed lambda expressions and LINQ in Visual Studio debugger

github.com/marek-stoj

12 years ago

2 points