Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

The Lux Programming Language – Functional, Statically-Typed Lisp – v0.5.0 (github.com/LuxLang)

3 points

9 years ago

272.

Dropbox mypy team considering static compilation for typed python (github.com/python)

3 points

10 years ago

273.

Dumb YAML – a restricted explitictly typed subset of YAML (github.com/crdoconnor)

3 points

10 years ago

274.

Show HN: Chakka – Akka, Akka.JS, typed websocket chat (github.com/Starofall)

3 points

10 years ago

275.

Statically-typed, Rust-like programming language

2 points

4 years ago

276.

Mnemo: Shareable typed agentic memory system with Bayesian belief updating (github.com/inforge-ai)

2 points

2 months ago

277.

Show HN: Typed-Prompts – Type-Safe Prompt Engineering (github.com/f)

2 points

5 months ago

278.

What is the appeal of dynamically-typed languages? (gist.github.com)

2 points

7 years ago

279.

Usable discriminated union in C#: one-line typed, Equality, ToString included (gist.github.com)

2 points

8 years ago

280.

A statically typed, procedural language that looks like poorly written erotica (github.com/Property404)

2 points

9 years ago

281.

Show HN: Open Agent Spec. Treat AI agents like typed functions not prompt chains (github.com/prime-vector)

2 points

2 months ago

282.

Show HN: SAIA – Typed Contracts for LLM Outputs (github.com/serendip-ml)

2 points

3 months ago

283.

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

2 points

4 months ago

284.

Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable (github.com/granular-software)

2 points

JianYangbachman

a year ago

285.

Implementing a command that I've always typed: gti (github.com/rwos)

2 points

14 years ago

286.

Buzz 0.5.0 release – a statically typed scripting language written in Zig (github.com/buzz-language)

2 points

a year ago

287.

jQuery Write/See Maths - For Instant MathJax Preview Of Typed TeX (christianp.github.com)

2 points

14 years ago

288.

CricLang: A fun dynamically typed language written in Go for cricket enthusiasts (github.com/manthanguptaa)

2 points

2 years ago

289.

Why TypeScript Doesnt Have Typed nor Checked Exceptions (github.com/microsoft)

2 points

3 years ago

290.

Flunct: Well-typed, fluent APIs in SML (github.com/OriRoth)

2 points

3 years ago

291.

Coalton is an efficient, statically typed functional programming language (github.com/coalton-lang)

2 points

4 years ago

292.

Show HN: A strongly typed XML reader based on XPath for JVM (github.com/nileshkhaire)

2 points

5 years ago

293.

Java: BabyCorn XML: A strongly typed XML reader based on XPath (github.com/nileshkhaire)

2 points

5 years ago

294.

Strong typed, autocompleted resources (cells and segues) in your Swift project (github.com/mac-cain13)

2 points

11 years ago

295.

What is the appeal of dynamically-typed languages? (gist.github.com)

2 points

11 years ago

296.

A demo implementation of a simple dependently-typed language (Stephanie Weirich) (github.com/sweirich)

2 points

12 years ago

297.

Strongly Typed System for Scientific Quantities (github.com/nourani)

2 points

12 years ago

298.

Weakly-typed lambda expressions and LINQ in Visual Studio debugger (github.com/marek-stoj)

2 points

12 years ago

299.

Multidimensional typed arrays for JavaScript (github.com/mikolalysenko)

2 points

13 years ago

300.

Caledon 2.0: A dependently typed metaprogramming logic language (github.com/mmirman)

2 points

13 years ago