Search: github.com/pravins | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Warewulf is a stateless and diskless container OS provisioning system

github.com/warewulf

a year ago

147 points

62.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points

63.

Proving false in Coq using an implementation bug

github.com/clarus

11 years ago

125 points

64.

Kubermesh: self-hosted/healing/provisioning, partial-mesh network K8s cluster

github.com/kubermesh

9 years ago

95 points

65.

Kubernetes Config Connector: Provision GCP Infrastructure Using Kubernetes

github.com/GoogleCloudPlatform

7 years ago

55 points

66.

Proving that 1 and 1 = 2 in Rust

gist.github.com

6 years ago

31 points

67.

Show HN: Serverless Components – Provision Infra with Serverless Framework

7 years ago

17 points

68.

Show HN: Coder – Remote development environments provisioned with Terraform

github.com/coder

4 years ago

15 points

69.

Show HN: Preevy – Preview Environments Provisioning CLI

github.com/livecycle

3 years ago

15 points

70.

Show HN: Buildfiles (as opposed to dotfiles) Provision your Debian with Ansible

github.com/cytopia

9 years ago

11 points

71.

Trival PHP string concatenation benchmarks, proving time better spent elsewhere.

github.com/magnetikonline

12 years ago

8 points

72.

Show HN: Spacelift Intent MCP – Cloud Infra Provisioning for Your AI Agent

github.com/spacelift-io

8 months ago

8 points

73.

Show HN: Quail – User friendly temporary EC2 instance provisioning

github.com/qube-rt

5 years ago

8 points

74.

Show HN: Provision AWS S3 buckets safely with least privilege using Terraform

github.com/k9securityio

6 years ago

7 points

75.

Sigh: You would rather spend your time building stuff than fighting provisioning

github.com/KrauseFx

12 years ago

6 points

76.

Show HN: Thand – open-source, distributed, JIT, PAM and provisioning platform

github.com/thand-io

7 months ago

6 points

77.

Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents

github.com/stanford-mast

7 months ago

6 points

78.

Show HN: Lapisla – A Theorem Proving Platform for Openness and Reusability

github.com/lapisla-prover

a year ago

6 points

79.

Show HN: Dstack – a command-line utility to provision infra for ML workflows

github.com/dstackai

4 years ago

5 points

80.

Show HN: An Ansible playbook that creates and provision a DigitalOcean droplet

github.com/jasonheecs

8 years ago

5 points

81.

A first look at provisioning with Puppet(on a Vagrant box)

samrat.github.com

14 years ago

5 points

82.

Show HN: Nuts – pip/NPM for Java with first-class workspaces, JDK provisioning

github.com/thevpc

12 days ago

4 points

83.

Show HN: Tenant Operator – Provision Kubernetes Tenants Directly from Your DB

docs.kubernetes-tenants.org

8 months ago

4 points

84.

Corehash Protocol – Decentralized hashrate liquidity provision with HashFi

5 years ago

4 points

85.

CDK (Cloud Development Kit) for Terraform – Python/TypeScript Based Provisioning

github.com/hashicorp

5 years ago

4 points

86.

Provision a Graph Database (neo4j) Server using Ansible in 5 mins

github.com/maxehmookau

12 years ago

4 points

87.

Show HN: A CLI to provision, share, manage local and cloud dev environments

github.com/raiyanyahya

4 years ago

4 points

88.

Programming and Proving in Agda [pdf]

github.com/jespercockx

4 years ago

4 points

89.

Provy is a provisioning system in python

github.com/heynemann

15 years ago

4 points

90.

Netbootd: DHCP, TFTP and HTTP server tailored OS provisioning or PXE booting

github.com/DSpeichert

5 years ago

4 points