Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Lean theorem prover mathlib (github.com/leanprover-community)

83 points

6 months ago

242.

TPM provides zero practical security (gist.github.com)

76 points

3 years ago

243.

GitHub and BitBucket's SSL Provider's Cert has expired (github.com)

72 points

12 years ago

244.

Show HN: C From Scratch – Learn safety-critical C with prove-first methodology (github.com/SpeyTech)

72 points

4 months ago

245.

Poi: Pragmatic point-free theorem prover assistant in Rust (github.com/advancedresearch)

71 points

6 years ago

246.

Holbert: An Interactive Theorem Prover (github.com/liamoc)

68 points

4 years ago

247.

Show HN: Signal-Android – A fork of Signal that provides SMS support (github.com/ryukoposting)

65 points

3 years ago

248.

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

63 points

5 years ago

249.

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

62 points

4 years ago

250.

Devcards aims to provide a visual REPL experience for ClojureScript (github.com/bhauman)

59 points

8 years ago

251.

Kubernetes Config Connector: Provision GCP Infrastructure Using Kubernetes (github.com/GoogleCloudPlatform)

55 points

7 years ago

252.

RFC: Rust Has Provenance (github.com/rust-lang)

55 points

2 years ago

253.

Propositional logic exercises with the lean theorem prover (github.com/ImperialCollegeLondon)

54 points

5 years ago

254.

Show HN: Cant – Library written in Rust that provides PyTorch-like functionality (github.com/TuckerBMorgan)

50 points

10 months ago

255.

Detect up to 1327 disposable email providers with MailChecker (github.com/FGRibreau)

44 points

11 years ago

256.

tcpulse: A TCP/UDP load generator that provides fine-grained, flow-level control (github.com/yuuki)

43 points

a year ago

257.

Comparison of different C libraries providing generic containers capabilities (github.com/P-p-H-d)

43 points

10 months ago

258.

Harmonikit: A Clojure library designed to provide an additive synth for overtone (github.com/richhickey)

40 points

4 years ago

259.

Libdns: Core interfaces for universal DNS record manipulation across providers (github.com/libdns)

39 points

3 years ago

260.

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

36 points

7 months ago

261.

Change of Name: Coq –> The Rocq Prover (github.com/coq)

35 points

2 years ago

262.

The Z3 Theorem Prover (github.com/Z3Prover)

35 points

6 months ago

263.

Show HN: Linux CLI tool to provide mutex locks for long running bash ops (github.com/bigattichouse)

34 points

a year ago

264.

Proving that 1 and 1 = 2 in Rust (gist.github.com)

31 points

6 years ago

265.

Smudge: Go lib providing consul like features using SWIM epidemic protocol (github.com/clockworksoul)

31 points

9 years ago

266.

Basecamp neglected integration partners by not providing an API for Basecamp v3 (github.com/basecamp)

28 points

10 years ago

267.

Git your instant Tweet Convo Wall, supporting 36 Photo Providers (github.com/lsemel)

27 points

15 years ago

268.

Recreation of the 1956 IPL-I version of the Logic Theorist theorem prover (github.com/dmoews)

26 points

24 days ago

269.

Rothgar/awesome-tuis: List of projects that provide terminal user interfaces (github.com/rothgar)

23 points

2 years ago

270.

Show HN: Nango, a Django extension providing SPA-like features (github.com/nicois)

20 points

4 years ago