Search: github.com/pravins | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Introducing Previs, Travis locally

github.com/PaulRosset

8 years ago

2 points

32.

Show HN: Simvyn – open-source Universal mobile devtool

github.com/pranshuchittora

4 months ago

pranshuchittora

1 points

33.

Sprockets ported to .NET

github.com/prabirshrestha

14 years ago

1 points

34.

A free text-to-speech client with an installation package of only 4M

github.com/ElmTran

2 years ago

1 points

35.

Nexmo SMS gateway PHP example library

github.com/prawnsalad

15 years ago

1 points

36.

github.com/PrinsFrank

5 years ago

1 points

37.

Show HN: Provision and automate cloud hosts in Go

github.com/inlets

5 years ago

1 points

38.

Show HN: git praise

github.com/sigvef

9 years ago

6 points

39.

Show HN: Provision and automate cloud hosts with Go

github.com/inlets

6 years ago

4 points

40.

github.com/ansman

14 years ago

3 points

41.

Show HN: git praise, a nicer git blame

github.com/sigvef

9 years ago

3 points

42.

Proving Ground: Tools for Automated Mathematics; HoTT

github.com/siddhartha-gadgil

4 years ago

2 points

43.

Show HN: Ansible provisioner for terraform

github.com/radekg

8 years ago

1 points

44.

Show HN: Git praise, a nicer Git blame

github.com/sigvef

9 years ago

1 points

45.

Scripts to Automate the Provisioning of a Yubikey

github.com/santiago-mooser

4 years ago

26 points

46.

Return Ukrainian Translation – Ubuntu

github.com/canonical

3 years ago

14 points

47.

AWS-Rails-Provisioner: Deploy Rails on AWS Fargate, Aurora, VPC, Codepipeline

github.com/awslabs

7 years ago

3 points

48.

Want Git Preinstalled On The Next OS X?

github.com/blog

17 years ago

45 points

49.

System Provisioning with Vagrant

mlafeldt.github.com

14 years ago

2 points

50.

Ctrl-P for Vim: Pure Vimscript Command-T

github.com/kien

14 years ago

196 points

51.

Show HN: Agent Orchestrator, a local-first Harness Engineering control plane

3 months ago

15 points

52.

Show HN: Computer-Aided Software Design

7 years ago

2 points

53.

Show HN: Provision cloud hosts with user-data (Golang)

github.com/inlets

6 years ago

2 points

54.

Show HN: I built a 0.07ms Python firewall to stop AI hallucinations

3 months ago

4 points

55.

GitHub supports open source provisions in National Defense Authorization Act

github.com/blog

9 years ago

9 points

56.

Theorem proving VS testing (with a simple example)

github.com/MaiaVictor

8 years ago

1 points

57.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

58.

Show HN: enveil – hide your .env secrets from prAIng eyes

github.com/GreatScott

4 months ago

201 points

59.

Warewulf is a stateless and diskless container OS provisioning system

github.com/warewulf

a year ago

147 points

60.

Tensorflow Deepmath: Experiments towards neural network theorem proving

github.com/tensorflow

10 years ago

142 points