Search: github.com/pryv | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Spec-provider: Infer Clojure specs from sample data (github.com/stathissideris)

43 points

9 years ago

62.

Programmers' Proverbs (I'd love some input) (github.com/AntJanus)

36 points

12 years ago

63.

Show HN: TPI – Terraform provider for ML and self-recovering spot-instances (github.com/iterative)

12 points

4 years ago

64.

Flyte Provider for Apache Airflow (github.com/flyteorg)

8 points

4 years ago

65.

AWS_security_group egress rules are not removed (github.com/hashicorp)

7 points

4 years ago

66.

Programmer's Proverbs (github.com/AntJanus)

6 points

12 years ago

67.

DevPod Provider for Hetzner (github.com/mrsimonemms)

4 points

3 years ago

68.

Databricks Terraform Provider has reached 8M downloads (github.com/databricks)

4 points

3 years ago

69.

Terraform Provider for Machine Learning (github.com/iterative)

4 points

4 years ago

70.

terraform-provider-dominos: The Terraform plugin for the Dominos Pizza provider (github.com/ndmckinley)

4 points

4 years ago

71.

Show HN: Provision and automate cloud hosts with Go (github.com/inlets)

4 points

6 years ago

72.

Infer Clojure specs from sample data. Inspired by F#'s type providers (github.com/stathissideris)

4 points

9 years ago

73.

Terraform registry bug takes down all Terraform versions, causing pandemonium (github.com/hashicorp)

3 points

a year ago

74.

Terraform Provider for Apache Kafka (github.com/FirePing32)

3 points

prakhargurunani

3 years ago

75.

Show HN: Terraform Provider for Azure DevOps (github.com/microsoft)

3 points

7 years ago

76.

Run DevPod on Hetzner (github.com/mrsimonemms)

3 points

a year ago

77.

We Benchmark All Kafka API Compatible Streaming System Together (github.com/AutoMQ)

3 points

2 years ago

78.

Terraform-Provider-Anomalo: Manage your Anomalo resources in bulk (github.com/square)

3 points

3 years ago

79.

Terraform plugin for machine learning workloads (github.com/iterative)

3 points

4 years ago

80.

Show HN: Use Terraform to manage to your TrueNAS apps (github.com/deevus)

2 points

5 months ago

81.

An airflow provider for anomaly detection (github.com/andrewm4894)

2 points

3 years ago

82.

Let's Prove Leftpad (github.com/hwayne)

2 points

8 months ago

83.

Programmers proverbs (github.com/AntJanus)

2 points

12 years ago

84.

An Automated Theorem Prover in Python (github.com/boyers)

2 points

12 years ago

85.

OAuth 1.0 implementation using MongoDB and DotNetOpenAuth (github.com/Glipho)

2 points

13 years ago

86.

A Neuro-Symbolic engine that autonomously verified the GCT barrier in Lean 4 (github.com/MyceliaCognition)

2 points

a month ago

87.

Show HN: A vibe-coded low-level PKCS#11 Terraform provider (github.com/blechschmidt)

2 points

4 months ago

88.

Proving leftpad correct two-dozen different ways (github.com/hwayne)

2 points

2 years ago

89.

Show HN: Terraform Provider for Fine-Grained Authorization (github.com/permitio)

2 points

2 years ago

90.

Proving Ground: Tools for Automated Mathematics; HoTT (github.com/siddhartha-gadgil)

2 points

4 years ago