Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

181.

A typed GraphQL client library for Rust (github.com/tomhoule)

7 points

indifferentalex

8 years ago

182.

Lux: Functional, statically typed, hosted Lisp (github.com/LuxLang)

7 points

3 years ago

183.

Lux: A Functional, Statically-typed Lisp Inspired from Haskell, Clojure, and ML (github.com/LuxLang)

7 points

6 years ago

184.

Show HN: K3sup ('ketchup') – strongly-typed Helm and bootstrap k3s (github.com/alexellis)

7 points

7 years ago

185.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift (github.com/harlanhaskins)

7 points

10 years ago

186.

Coral – A gradually-typed, optimizing mini-Python compiler written in OCaml (github.com/ja3067)

6 points

7 years ago

187.

Numbat: A statically typed programming language for scientific computations with (github.com/sharkdp)

6 points

a year ago

188.

Statically Typed Vector Algebra Using Type Families (github.com/leonidas)

6 points

14 years ago

189.

Wase – WebAssembly made easy. Strongly typed infered low-level language for WASM (github.com/area9innovation)

6 points

4 years ago

190.

Grenade: Dependently typed, practical neural network library in Haskell (github.com/HuwCampbell)

6 points

10 years ago

191.

We want strict narrowly typed JSX (github.com/poteat)

5 points

4 months ago

192.

Typed State Machine for Java (github.com/weilueluo)

5 points

2 years ago

193.

Gengen: A generator for typed source code from generic source code in Go (github.com/joeshaw)

5 points

12 years ago

194.

Show HN: I built Kumi – a typed, array-oriented dataflow compiler in Ruby (kumi-play-web.fly.dev)

5 points

7 months ago

195.

Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes (github.com/hyperweb-io)

5 points

a year ago

196.

Kind: Costless visibly typed identifiers in Rust (github.com/wingbackapp)

5 points

2 years ago

197.

An opinionated toolchain with a single typed configuration file (github.com/pkg-tools)

5 points

2 years ago

198.

Felix: Statically typed, performant scripting language with native C++ embedding (github.com/felix-lang)

5 points

2 years ago

199.

Show HN: Get structured and typed JSON outputs via GPT-3.5/4 functions (github.com/dzhng)

5 points

3 years ago

200.

Finally, dynamically typed programming in Haskell made easy (github.com/chrisdone)

5 points

7 years ago

201.

Titan: a new statically-typed and AOT programming language targetting Lua (github.com/titan-lang)

5 points

9 years ago

202.

Show HN: Quaint – a statically typed language with seamless resumable functions (github.com/bbu)

4 points

10 years ago

203.

Kitten - high-performance statically typed concatenative programming language (github.com/evincarofautumn)

4 points

13 years ago

204.

Show HN: Handwritten.js – convert typed text to realistic handwriting (github.com/alias-rahil)

4 points

6 years ago

205.

Show HN: FunctionScript – Turn JavaScript (Node) Functions into Typed HTTP APIs (github.com/FunctionScript)

4 points

7 years ago

206.

Dyon: A rusty dynamically typed scripting language (github.com/PistonDevelopers)

4 points

7 years ago

207.

Skill-kit – TypeScript SDK for building agent skills as typed state machines (github.com/contentful)

4 points

a month ago

208.

Cascade – Typed CSS AST, Parser, Pretty-Printer, and Optimiser for OCaml (github.com/samoht)

4 points

2 months ago

209.

Show HN: Dotenv-gad – typed, validated .env with CLI and grouping (github.com/kasimlyee)

4 points

4 months ago

210.

Show HN: Go-async – typed Tasks with async/await like APIs (github.com/unkn0wn-root)

4 points

7 months ago