Search: github.com/CERN | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

A minimalistic blockchain consensus implemented and verified in Coq (github.com/certichain)

3 points

5 years ago

92.

Show HN: Lightweight artificial neural networks in Ruby (github.com/irfansharif)

3 points

10 years ago

93.

Cerebro: GitHub fork search tool (github.com/RochesterinNYC)

3 points

10 years ago

94.

Certigo: examine and validate x509 certificates (github.com/square)

3 points

10 years ago

95.

CertainTLS App (github.com)

2 points

6 years ago

96.

Certified Kubernetes Security Specialist Preparation Guide (github.com/ijelliti)

2 points

6 years ago

97.

Provides a framework for developing a server that complies with JSON API (github.com/cerebris)

2 points

11 years ago

98.

Show HN: Cereal, Rails serialization without the cruft (github.com/madebymany)

2 points

13 years ago

99.

Cryptographic Implementation of Exclusivity Agreements (github.com/CipherTrustee)

2 points

2 months ago

100.

The crt.sh web interface is implemented in SQL (github.com/crtsh)

2 points

4 months ago

101.

Cerebral.js (gorillatron.github.com)

2 points

14 years ago

102.

Antora LLM Generator (github.com/cerbos)

2 points

a year ago

103.

Mustiolo v0.5.0 is now available (github.com/Cereal84)

2 points

a year ago

104.

Yates – Prisma with Postgres RLS (github.com/cerebruminc)

2 points

2 years ago

105.

Yates – Use Prisma with Postgres RLS (github.com/cerebruminc)

2 points

2 years ago

106.

Cert-Manager (github.com/cert-manager)

2 points

2 years ago

107.

Yates – Use Postgres RLS in Prisma (github.com/cerebruminc)

2 points

3 years ago

108.

Cerbos – open-source authorization layer for implementing roles and permissions (github.com/cerbos)

2 points

3 years ago

109.

Certificate Ripper released – tool to extract server certificates (github.com/Hakky54)

2 points

4 years ago

110.

Lisp desktop app for web app (github.com/ceramic)

2 points

4 years ago

111.

The IEEE and Fortran schools of how to write numerical code (2017) (gist.github.com)

2 points

4 years ago

112.

Show HN: Load Any Beacon Object File Using Powershell (github.com/airbus-cert)

2 points

4 years ago

113.

A private certificate authority for secure automated certificate management (github.com/smallstep)

2 points

6 years ago

114.

Cert partners with GitHub for automated remediation of CVE-2020-8527 (securitylab.github.com)

2 points

6 years ago

115.

New DotNet Serializer Faster Than MessagePack and Protobuf (github.com/rikimaru0345)

2 points

7 years ago

116.

React wrapper for FullStory (github.com/cereallarceny)

2 points

8 years ago

117.

Show HN: Cerberus – Easily build secure gateways to your backend (github.com/VivekPanyam)

2 points

9 years ago

118.

Show HN: Cerial – JSON, XML, and X.690 (ASN1) parser in C (github.com/ryanbalsdon)

2 points

10 years ago

119.

SSL certificate chain resolver in Golang (github.com/zakjan)

2 points

11 years ago

120.

Show HN: Lingua Universale – session types and Lean 4 proofs for AI agents (github.com/rafapra3008)

1 point

3 months ago