Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

RediSQL – A Redis module that provides a functional SQL database

github.com/RedBeardLab

10 years ago

90 points

242.

Reverse Engineering Proves Journalist Security App Is Not Secure

gist.github.com

11 years ago

88 points

243.

Show HN: Run your own OAuth2 and OpenID Connect Provider

github.com/ory-am

10 years ago

88 points

244.

Elixir plugin for SublimeText 3 providing code completion and linting

github.com/vishnevskiy

11 years ago

83 points

245.

Lean theorem prover mathlib

github.com/leanprover-community

6 months ago

83 points

246.

TPM provides zero practical security

gist.github.com

3 years ago

76 points

247.

GitHub and BitBucket's SSL Provider's Cert has expired

12 years ago

72 points

248.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology

github.com/SpeyTech

5 months ago

72 points

249.

Poi: Pragmatic point-free theorem prover assistant in Rust

github.com/advancedresearch

6 years ago

71 points

250.

Holbert: An Interactive Theorem Prover

github.com/liamoc

4 years ago

68 points

251.

Creusot helps you prove your Rust code is correct

github.com/creusot-rs

a month ago

66 points

252.

Show HN: Signal-Android – A fork of Signal that provides SMS support

github.com/ryukoposting

3 years ago

65 points

253.

Launch HN: Spruce (YC W21) – OSS for User Owned and Provably Authentic Data

5 years ago

63 points

254.

Ask HN: Why don't file systems and OS's provide file system transactions?

4 years ago

62 points

255.

Devcards aims to provide a visual REPL experience for ClojureScript

github.com/bhauman

9 years ago

59 points

256.

Kubernetes Config Connector: Provision GCP Infrastructure Using Kubernetes

github.com/GoogleCloudPlatform

7 years ago

55 points

257.

RFC: Rust Has Provenance

github.com/rust-lang

2 years ago

55 points

258.

Propositional logic exercises with the lean theorem prover

github.com/ImperialCollegeLondon

5 years ago

54 points

259.

Show HN: Cant – Library written in Rust that provides PyTorch-like functionality

github.com/TuckerBMorgan

a year ago

50 points

260.

Detect up to 1327 disposable email providers with MailChecker

github.com/FGRibreau

11 years ago

44 points

261.

tcpulse: A TCP/UDP load generator that provides fine-grained, flow-level control

github.com/yuuki

a year ago

43 points

262.

Comparison of different C libraries providing generic containers capabilities

github.com/P-p-H-d

10 months ago

43 points

263.

Harmonikit: A Clojure library designed to provide an additive synth for overtone

github.com/richhickey

4 years ago

40 points

264.

Libdns: Core interfaces for universal DNS record manipulation across providers

github.com/libdns

3 years ago

39 points

265.

Ask HN: Cloud providers are losing in favor of bare-metal?

7 months ago

36 points

266.

Change of Name: Coq –> The Rocq Prover

2 years ago

35 points

267.

The Z3 Theorem Prover

github.com/Z3Prover

6 months ago

35 points

268.

Show HN: Linux CLI tool to provide mutex locks for long running bash ops

github.com/bigattichouse

a year ago

34 points

269.

Proving that 1 and 1 = 2 in Rust

gist.github.com

6 years ago

31 points

270.

Smudge: Go lib providing consul like features using SWIM epidemic protocol

github.com/clockworksoul

9 years ago

31 points