Search: github.com/cheusov | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

github.com/cheusov

10 months ago

2 points

2.

List of most useful Terraform open-source tools

4 years ago

22 points

3.

Show HN: Serverless online chess (no accounts)

5 months ago

2 points

4.

Show HN: Chessophone – Listen to Chess Games

chessophone.netlify.app

a year ago

2 points

5.

Show HN: Chessophone – Generate music from chess games

chessophone.com

a year ago

1 points

6.

Creusot helps you prove your Rust code is correct

github.com/creusot-rs

25 days ago

66 points

7.

Show HN: I developed a fast general purpose sorting algorithm

github.com/hackware1993

4 years ago

56 points

8.

github.com/cheptsov

12 years ago

4 points

9.

Creusot, a deductive verifier for Rust code

github.com/creusot-rs

2 years ago

3 points

10.

Creusot: A deductive verifier for Rust code

github.com/creusot-rs

2 years ago

3 points

11.

Release Creusot 0.1 · creusot-rs/creusot

github.com/creusot-rs

2 years ago

2 points

12.

Creusot, a deductive verifier for Rust code

github.com/creusot-rs

2 years ago

2 points

13.

Checkov: Prevent cloud misconfigurations during build time

github.com/bridgecrewio

6 years ago

2 points

14.

Show HN: Store and reuse your Claude Code plans

github.com/ChernovAndrey

3 months ago

1 points

15.

Cheovim – Neovim Configuration Switcher

github.com/NTBBloodbath

4 years ago

1 points

16.

Creusot: Deductive Verification of Rust

github.com/xldenis

4 years ago

1 points

17.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot

github.com/sarsko

4 years ago

315 points

18.

Launch HN: Slauth (YC S22) – auto-generate secure IAM policies for AWS and GCP

3 years ago

122 points

19.

Show HN: Python SDK – forecasting with foundation time-series and tabular models

github.com/S-FM

6 months ago

43 points

20.

Show HN: Just raised $17M for a no BS application security platform

2 years ago

15 points

21.

Show HN: YAML Validator –A simple Docker-based YAML checker

7 months ago

5 points

22.

Show HN: Securing the Ralph Wiggum Loop – DevSecOps for Autonomous Coding Agents

github.com/agairola

5 months ago

4 points

23.

Show HN: JavaScript SDK for zero-shot time-series forecasting (Chronos2, TiRex)

github.com/S-FM

7 months ago

2 points

24.

Show HN: MCP Server for Time-Series Forecasting

github.com/S-FM

7 months ago

1 points

25.

Show HN: Serverless platform for inference of time-series foundation models

8 months ago

1 points

26.

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

github.com/dstackai

4 years ago

5 points

27.

Show HN: Running LLM As Chatbot in your cloud with a single command

github.com/dstackai

3 years ago

5 points

28.

Jasmine: BDD for your JavaScript

pivotal.github.com

14 years ago

5 points

29.

A Network Spoofer apk

github.com/w-shackleton

10 years ago

3 points

30.

Kotlin Coroutines

github.com/Kotlin

10 years ago

andrey_cheptsov

3 points