Search: github.com/typedb | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

331.

Coalton: A statically typed functional programming language for Common Lisp

github.com/coalton-lang

4 years ago

2 points

332.

Erg is a statically typed language that is Python compatible

github.com/erg-lang

4 years ago

2 points

333.

Turning Redis streams into typed Go channels in just a few lines

github.com/dranikpg

4 years ago

2 points

334.

Python utility to provide interoperability between JSON Typedef and Protobuf

4 years ago

prashantgupta24

2 points

335.

Python utility to provide interoperability between JSON Typedef and Protobuf

4 years ago

prashantgupta24

2 points

336.

Show HN: Strongly typed background jobs with FastAPI and CloudTasks

github.com/Adori

4 years ago

2 points

337.

Traits: Observable typed attributes for Python classes

github.com/enthought

4 years ago

2 points

338.

A new optionally-typed general purpose programming language

github.com/StanzaOrg

4 years ago

2 points

339.

Chaos: Strongly typed, dynamic, compilable, zero cyclomatic complexity language

github.com/chaos-lang

5 years ago

2 points

340.

Vein, high-level strictly-typed language with planned quantum computing support

github.com/vein-lang

5 years ago

2 points

341.

Angular Strictly Typed Forms RFC

github.com/angular

5 years ago

2 points

342.

Coalton: statically typed Common Lisp

github.com/coalton-lang

5 years ago

2 points

343.

Aya: a dependently-typed programming language

github.com/aya-prover

5 years ago

2 points

344.

Flask with typed auto-documentation, inspired by FastAPI

github.com/ironslob

5 years ago

2 points

345.

Haf, fully typed, cross-platform, persistent config solution for Node.js

github.com/BatuhanW

5 years ago

2 points

346.

Typed Racket adaptation of Push-model SQL interpreter

gist.github.com

5 years ago

2 points

347.

Cumin: Structured Typed Configuration Language Written in Rust

github.com/cympfh

5 years ago

2 points

348.

Pikelet is a small, functional, dependently typed programming language

github.com/pikelet-lang

6 years ago

2 points

349.

Typed, Declarative, Data-Driven Routing for Node.js (Express.js Alternative)

github.com/kreteshq

6 years ago

2 points

350.

Umka: A statically typed embeddable scripting language

github.com/vtereshkov

6 years ago

2 points

351.

React tidy is a collection of atomic, typed, tested and documented hooks

github.com/webNeat

6 years ago

2 points

352.

A typed event emitter for TypeScript

gist.github.com

6 years ago

2 points

353.

Show HN: Dry-Python/returns 0.13 – typed Reader and IOResult monads

github.com/dry-python

6 years ago

2 points

354.

Gleam – A Statically Typed Functional Programming Language for the Erlang VM

github.com/gleam-lang

7 years ago

2 points

355.

Redux-like TypeScript typed store easy to use with React

github.com/streamich

7 years ago

2 points

356.

Show HN: Owlet – Typed Spreadsheet UI Library for Scala.js, Now in 3D

github.com/jcouyang

7 years ago

2 points

357.

Show HN: Strongly-typed UserDefaults

github.com/sindresorhus

8 years ago

2 points

358.

Show HN: Typed event emitters for TypeScript

github.com/aleclarson

8 years ago

2 points

359.

Cixl – a minimal, decently typed scripting language

github.com/basic-gongfu

8 years ago

2 points

360.

Show HN: Cixl – a minimal, decently typed scripting language

github.com/basic-gongfu

8 years ago

2 points