Search: github.com/pryv | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Proving Ground: Tools for Automated Mathematics; HoTT

github.com/siddhartha-gadgil

4 years ago

2 points

92.

Let's Prove Leftpad

github.com/hwayne

5 years ago

2 points

93.

Terraform Jsonnet Provider

github.com/alxrem

6 years ago

2 points

94.

Cool Terraform Provider for Looker

github.com/billtrust

7 years ago

2 points

95.

First logic theorem prover written in TypeScript

github.com/kkty

7 years ago

2 points

96.

Automated theorem prover for first-order predicate logic written in TypeScript

github.com/kkty

7 years ago

2 points

97.

Terraform Plugin to write directly to Git

github.com/fourplusone

7 years ago

2 points

98.

Show HN: Manage Jira Using Terraform

github.com/fourplusone

7 years ago

2 points

99.

Arkane – create blockchain applications with UX in mind

github.com/ArkaneNetwork

7 years ago

2 points

100.

Show HN: Terraform provider for Serverless OpenFaaS

github.com/ewilde

8 years ago

2 points

101.

Email providers as an npm module

github.com/derhuerst

9 years ago

2 points

102.

Redux Provider Middleware – Redux middleware that provides ng-like providers

github.com/reduxible

10 years ago

2 points

103.

Terraform Provider for Twitter

github.com/sebastianmarines

4 years ago

marinesebastian

1 points

104.

Support for Applied Intelligence: Incident Workflows

github.com/newrelic

4 years ago

1 points

105.

Show HN: Behat provider to inject random values in features

github.com/MKCG

7 years ago

1 points

106.

Show HN: Is it possible to secure AI Agents? We need you

github.com/SentinelOps-CI

10 months ago

1 points

107.

Support for fallback to Azure CLI subscription ID

github.com/hashicorp

a year ago

1 points

108.

Show HN: Gitconfig Provider- CLI that applies configuration for Git remotes

github.com/PrashamTrivedi

5 years ago

1 points

109.

Let’s Prove Leftpad (Comparing proof tools)

github.com/hwayne

5 years ago

1 points

110.

A Terraform plugin for using files encrypted with Mozilla sops

github.com/carlpett

5 years ago

1 points

111.

Show HN: Terraform SecretHub Provider, Secret Management for Terraform

github.com/secrethub

7 years ago

1 points

112.

Show HN: Terraform Provider for Sentry

github.com/jianyuan

8 years ago

1 points

113.

Show HN: Ansible provisioner for terraform

github.com/radekg

8 years ago

1 points

114.

Show HN: Terraform provider for Dropbox API

github.com/callensm

8 years ago

1 points

115.

Terraform Helm provider that uses its CLI

github.com/djhaskin987

8 years ago

1 points

116.

CommandProvider is a lightweight high performance commander for Go

github.com/donutloop

10 years ago

1 points

117.

State Provider: Experimental Use of ES6 Proxies for Easy Undo/Redo

github.com/scottfr

11 years ago

1 points

118.

Cloudlflare builds OAuth with Claude and publishes all the prompts

github.com/cloudflare

a year ago

889 points

119.

Show HN: Open-source real time data framework for LLM applications

2 years ago

92 points

120.

Blogging platform: Wordpress or Webby?

18 years ago

4 points