Search: github.com/pravins | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

LLMs as Copilots for Theorem Proving in Lean

github.com/lean-dojo

3 years ago

3 points

92.

Pure Python Provisioning System

heynemann.github.com

14 years ago

3 points

93.

Open-source tool: provision dev containers & staging environments with IDEs

github.com/newsnowlabs

5 years ago

3 points

94.

Building docker image by packer with chef or puppet, ansible provisioning

github.com/tcnksm

12 years ago

3 points

95.

Cloudster - the fastest way to provision your AWS stack

github.com/emilsoman

13 years ago

3 points

96.

CP-SAT finite-state machine that provisions infrastructure without any LLM calls

circuitlm.vercel.app

3 months ago

3 points

97.

Show HN: BlockHost OS – Autonomous VM provisioning through smart contracts

github.com/mwaddip

4 months ago

3 points

98.

Supra Aeon Story with Agda Proof and Provisional Appendix

github.com/GoodRoyal

7 months ago

3 points

99.

Proving with Coq the 5th Busy Beaver number, BB(5)=47,176,870

github.com/ccz181078

2 years ago

3 points

100.

Show HN: An Automated Theorem Proving library inspired by a book by Harrison

github.com/aetilley

3 years ago

3 points

101.

Automate Bare-Metal Provisioning

7 years ago

3 points

102.

Show HN: Deep Learning Machine (Ansible Provisioning for ML Box)

github.com/arricor

7 years ago

3 points

103.

Ducky – lightweight docker containers provision tool

github.com/melezhik

9 years ago

3 points

104.

Bare metal self-hosted self-healing/provisioning mesh network Kubernetes cluster

github.com/kubermesh

9 years ago

3 points

105.

Show HN: Infera – agentic CLI for inferring and provisioning cloud infra

github.com/computer-reinvention

5 months ago

2 points

106.

Show HN: Mother MCP – Manage your Agent Skills like a boss-Auto provision skills

github.com/dmgrok

5 months ago

2 points

107.

A wireguard operator created to easily provision a VPN in a k8s cluster

github.com/jodevsa

4 years ago

2 points

108.

In praise of callbacks

gist.github.com

11 years ago

2 points

109.

Git prevision: Checkout a previous revision of a specific file

gist.github.com

11 years ago

2 points

110.

Generate a modern rails application and use ansible to provision+deploy it

github.com/nickjj

12 years ago

2 points

111.

Loom cluster provisioning system goes open source

github.com/continuuity

12 years ago

2 points

112.

Show HN: Hermzner – Provisioning an Hardened Hermes Agent on Hetzner VPS

github.com/scicco

4 days ago

2 points

113.

Show HN: Provision Stateless GPU Compute with Claude Code's Remote Control

github.com/theoddden

4 months ago

2 points

114.

Proving leftpad correct two-dozen different ways

github.com/hwayne

2 years ago

2 points

115.

ProInspector: Improving Node.js Inspection of Objects

github.com/Reiryoku-Technologies

4 years ago

2 points

116.

Show HN: Pull Dog: Provision Docker test environments for your pull requests

github.com/apps

6 years ago

2 points

117.

Pragmatic Provisioning Using Clojure

github.com/epiccastle

6 years ago

2 points

118.

Oh-my-laptop: fast provisioning of macOS with a collection of tools by ansible

github.com/xiaohanyu

6 years ago

2 points

119.

Spire – Pragmatic Provisioning Using Clojure

github.com/epiccastle

6 years ago

2 points

120.

Show HN: Inlets-operator 0.5.4 gains free exit-node with GCE provisioner

github.com/inlets

7 years ago

2 points