Search: github.com/typedb | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Python utility to provide interoperability between JSON Typedef and Protobuf (github.com/IBM)

2 points

prashantgupta24

4 years ago

332.

Show HN: Strongly typed background jobs with FastAPI and CloudTasks (github.com/Adori)

2 points

4 years ago

333.

Traits: Observable typed attributes for Python classes (github.com/enthought)

2 points

4 years ago

334.

A new optionally-typed general purpose programming language (github.com/StanzaOrg)

2 points

4 years ago

335.

Chaos: Strongly typed, dynamic, compilable, zero cyclomatic complexity language (github.com/chaos-lang)

2 points

4 years ago

336.

Vein, high-level strictly-typed language with planned quantum computing support (github.com/vein-lang)

2 points

4 years ago

337.

Angular Strictly Typed Forms RFC (github.com/angular)

2 points

4 years ago

338.

Coalton: statically typed Common Lisp (github.com/coalton-lang)

2 points

5 years ago

339.

Aya: a dependently-typed programming language (github.com/aya-prover)

2 points

5 years ago

340.

Flask with typed auto-documentation, inspired by FastAPI (github.com/ironslob)

2 points

5 years ago

341.

Haf, fully typed, cross-platform, persistent config solution for Node.js (github.com/BatuhanW)

2 points

5 years ago

342.

Typed Racket adaptation of Push-model SQL interpreter (gist.github.com)

2 points

5 years ago

343.

Cumin: Structured Typed Configuration Language Written in Rust (github.com/cympfh)

2 points

5 years ago

344.

Pikelet is a small, functional, dependently typed programming language (github.com/pikelet-lang)

2 points

6 years ago

345.

Typed, Declarative, Data-Driven Routing for Node.js (Express.js Alternative) (github.com/kreteshq)

2 points

6 years ago

346.

Umka: A statically typed embeddable scripting language (github.com/vtereshkov)

2 points

6 years ago

347.

React tidy is a collection of atomic, typed, tested and documented hooks (github.com/webNeat)

2 points

6 years ago

348.

A typed event emitter for TypeScript (gist.github.com)

2 points

6 years ago

349.

Show HN: Dry-Python/returns 0.13 – typed Reader and IOResult monads (github.com/dry-python)

2 points

6 years ago

350.

Gleam – A Statically Typed Functional Programming Language for the Erlang VM (github.com/gleam-lang)

2 points

6 years ago

351.

Redux-like TypeScript typed store easy to use with React (github.com/streamich)

2 points

7 years ago

352.

Show HN: Owlet – Typed Spreadsheet UI Library for Scala.js, Now in 3D (github.com/jcouyang)

2 points

7 years ago

353.

Show HN: Strongly-typed UserDefaults (github.com/sindresorhus)

2 points

8 years ago

354.

Show HN: Typed event emitters for TypeScript (github.com/aleclarson)

2 points

8 years ago

355.

Cixl – a minimal, decently typed scripting language (github.com/basic-gongfu)

2 points

8 years ago

356.

Show HN: Cixl – a minimal, decently typed scripting language (github.com/basic-gongfu)

2 points

8 years ago

357.

Zafiro is a strongly typed and lightweight web framework for Node.js apps (github.com/remojansen)

2 points

9 years ago

358.

Statically-typed classes in JavaScript with defend.js (github.com/AshleyScirra)

2 points

9 years ago

359.

Silt – a fast, dependently typed language written in Swift (github.com/silt-lang)

2 points

9 years ago

360.

Blodwen – a dependently typed core language implemented in Idris (github.com/edwinb)

2 points

9 years ago