Search: github.com/typedb | Heykuki News

HK

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

8 years ago

indifferentalex

7 points

182.

Lux: Functional, statically typed, hosted Lisp

github.com/LuxLang

3 years ago

7 points

183.

Lux: A Functional, Statically-typed Lisp Inspired from Haskell, Clojure, and ML

github.com/LuxLang

7 years ago

7 points

184.

Show HN: K3sup ('ketchup') – strongly-typed Helm and bootstrap k3s

github.com/alexellis

7 years ago

7 points

185.

Trill: A typed, LLVM-backed compiler, inspired by (and written in) Swift

github.com/harlanhaskins

10 years ago

7 points

186.

Coral – A gradually-typed, optimizing mini-Python compiler written in OCaml

github.com/ja3067

7 years ago

6 points

187.

Numbat: A statically typed programming language for scientific computations with

github.com/sharkdp

a year ago

6 points

188.

Statically Typed Vector Algebra Using Type Families

github.com/leonidas

15 years ago

6 points

189.

Wase – WebAssembly made easy. Strongly typed infered low-level language for WASM

github.com/area9innovation

4 years ago

6 points

190.

Grenade: Dependently typed, practical neural network library in Haskell

github.com/HuwCampbell

10 years ago

6 points

191.

We want strict narrowly typed JSX

github.com/poteat

5 months ago

5 points

192.

Typed State Machine for Java

github.com/weilueluo

2 years ago

5 points

193.

Gengen: A generator for typed source code from generic source code in Go

github.com/joeshaw

12 years ago

5 points

194.

Show HN: Treenix. Typed runtime for humans and agents

github.com/treenix-io

8 days ago

5 points

195.

Show HN: I built Kumi – a typed, array-oriented dataflow compiler in Ruby

kumi-play-web.fly.dev

8 months ago

5 points

196.

Show HN: KubernetesJS – Fully-Typed, Zero-Dependency Client for Kubernetes

github.com/hyperweb-io

a year ago

5 points

197.

Kind: Costless visibly typed identifiers in Rust

github.com/wingbackapp

2 years ago

5 points

198.

An opinionated toolchain with a single typed configuration file

github.com/pkg-tools

2 years ago

5 points

199.

Felix: Statically typed, performant scripting language with native C++ embedding

github.com/felix-lang

2 years ago

5 points

200.

Show HN: Get structured and typed JSON outputs via GPT-3.5/4 functions

github.com/dzhng

3 years ago

5 points

201.

Finally, dynamically typed programming in Haskell made easy

github.com/chrisdone

7 years ago

5 points

202.

Titan: a new statically-typed and AOT programming language targetting Lua

github.com/titan-lang

9 years ago

5 points

203.

Show HN: Quaint – a statically typed language with seamless resumable functions

10 years ago

4 points

204.

Kitten - high-performance statically typed concatenative programming language

github.com/evincarofautumn

13 years ago

4 points

205.

Show HN: Handwritten.js – convert typed text to realistic handwriting

github.com/alias-rahil

6 years ago

4 points

206.

Show HN: FunctionScript – Turn JavaScript (Node) Functions into Typed HTTP APIs

github.com/FunctionScript

7 years ago

4 points

207.

Dyon: A rusty dynamically typed scripting language

github.com/PistonDevelopers

7 years ago

4 points

208.

Skill-kit – TypeScript SDK for building agent skills as typed state machines

github.com/contentful

a month ago

4 points

209.

Cascade – Typed CSS AST, Parser, Pretty-Printer, and Optimiser for OCaml

github.com/samoht

2 months ago

4 points

210.

Show HN: Dotenv-gad – typed, validated .env with CLI and grouping

github.com/kasimlyee

5 months ago

4 points