Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Strongly Typed Markup Language

github.com/OzzyOsbourne

15 years ago

1 points

92.

Write Typed CSS in Next.js

github.com/forthedamn

7 years ago

1 points

93.

Show HN: Typedregexp – Match regexps into structs in Go

github.com/zach-klippenstein

10 years ago

4 points

94.

Data-structure-typed – TreeMap, Heap, Graph and more for TypeScript

github.com/zrwusa

4 months ago

2 points

95.

Data-structure-typed – TreeMap, Heap, Graph and more for TypeScript

github.com/zrwusa

4 months ago

1 points

96.

Rock, Paper, Scissors in Clojure using core.typed and core.async

github.com/clojure

12 years ago

1 points

97.

Typed Programming Analysis without Encodings (2024) [pdf]

github.com/barry-jay-personal

a year ago

1 points

98.

Show HN: Flow Typedef – Get Flow built-in type definition files

github.com/ryota-murakami

8 years ago

1 points

99.

An optional type system for Clojure

github.com/clojure

9 years ago

1 points

100.

Show HN: Hibana – An Affine MPST Runtime for Rust

hibanaworks.dev

5 months ago

18 points

101.

Tapir: Typed API Descriptions

github.com/softwaremill

8 years ago

1 points

102.

Launch HN: Patterns (YC S21) – A much faster way to build and deploy data apps

4 years ago

149 points

103.

Show HN: A Node.js Framework that runs in the browser

7 years ago

2 points

104.

Show HN: GYML – YAML syntax, JSON semantics, zero runtime dependencies

github.com/janbjorge

4 months ago

1 points

105.

Suffuse: Immutable, Typed, Recoverable Filesystem

github.com/suffuse

11 years ago

2 points

106.

Borgo is a statically typed language that compiles to Go

github.com/borgo-lang

2 years ago

666 points

107.

Show HN: A dependently-typed programming language with static memory management

github.com/u2zv1wx

6 years ago

456 points

108.

Amazon open-sources Ion – a binary and text interchangable, typed JSON-superset

github.com/amznlabs

10 years ago

359 points

109.

Whenever: Typed and DST-safe datetimes for Python

github.com/ariebovenberg

a year ago

286 points

110.

Show HN: Bolt – A super-fast, statically-typed scripting language written in C

github.com/Beariish

10 months ago

261 points

111.

Carp – A statically typed Lisp, without a GC, for real-time applications

github.com/carp-lang

5 years ago

259 points

112.

Tao: A statically-typed functional language

github.com/zesterer

4 years ago

257 points

113.

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

github.com/alias-rahil

6 years ago

255 points

114.

A statically typed scripting language that transpiles to Posix sh

github.com/cotowali

4 years ago

251 points

115.

Show HN: Fructose – LLM calls as strongly typed functions

github.com/bananaml

2 years ago

218 points

116.

Mochi – Dynamically-typed language for functional and actor-style programming

12 years ago

205 points

117.

Carp: A statically typed Lisp, without a GC, for real-time applications

github.com/carp-lang

8 years ago

202 points

118.

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

github.com/eriksvedang

10 years ago

196 points

119.

Bog – small, strongly typed, embeddable language

github.com/Vexu

3 years ago

189 points

120.

PureScript: a statically typed language which compiles to JavaScript

github.com/purescript

12 years ago

175 points