Search: github.com/vcr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

511.

Don't drink and fix issues at the same time

github.com/saintedlama

12 years ago

4 points

512.

The Hitchhiker’s Guide to Logical Verification [pdf]

github.com/blanchette

6 years ago

4 points

513.

A very brief intro to rust

github.com/ashleygwilliams

9 years ago

4 points

514.

Show HN: Verifying Rust implementation logic using Lean 4 as a fuzzing oracle

github.com/welltyped-systems

6 months ago

3 points

515.

Vertigo – an old 3D flight simulator for modern Linux

github.com/ricardo-ayres

5 years ago

3 points

516.

Show HN: Background Image Versioning with CarrierWave and Rails

github.com/IcaliaLabs

12 years ago

3 points

517.

Vim plugin for better vertical movement

github.com/bruno-

13 years ago

3 points

518.

Versions: The Node.js Content Delivery Network

github.com/3rd-eden

13 years ago

3 points

519.

Sentimental Versioning

github.com/dominictarr

6 months ago

3 points

520.

What is the game? Why are people forking this?

github.com/mmower

2 years ago

2 points

521.

Show HN: Multiple shell versions for testing portable shell scripts

github.com/alganet

2 years ago

2 points

522.

Show HN: GitHub Version Tags – Chrome extension to show a repo's current version

github.com/joeyespo

9 years ago

2 points

523.

Newly open-sourced: django-versatileimagefield

github.com/WGBH

12 years ago

2 points

524.

Show HN: 97% on SWE-bench Verified with subscription-token agents

github.com/kimjune01

a month ago

2 points

525.

AutoRocq: Agentic Theorem Prover for Verification

github.com/NUS-Program-Verification

3 months ago

2 points

526.

Show HN: I wrote a dictionary of the 185 verbs Claude shows while thinking

github.com/paolobozzola

4 months ago

2 points

527.

Show HN: Veriduct Prime – Format destruction framework for binary evasion

github.com/Bombadil-Systems

6 months ago

2 points

528.

Show HN: Veru – open-source AI citation auditor using OpenAlex

github.com/Yinghao-Guan

7 months ago

2 points

529.

Awesome Version Managers

github.com/bernardoduarte

7 months ago

2 points

530.

github.com/patlehmann1

8 months ago

2 points

531.

Verifiers: Environments for LLM Reinforcement Learning

github.com/PrimeIntellect-ai

9 months ago

2 points

532.

Glibc Version Header Generator

github.com/wheybags

a year ago

2 points

533.

Anvil: Building Formally Verified Kubernetes Controllers

github.com/vmware-research

2 years ago

2 points

534.

Nostr Verify: WordPress plugin for Nostr verification using NIP-05

github.com/jeherve

3 years ago

2 points

535.

Show HN: Convert VHDL to Verilog using GHDL (+ first evaluation)

github.com/stnolting

4 years ago

youre_the_voice

2 points

536.

Python releases adoption since 2016

github.com/JulienPalard

4 years ago

2 points

537.

Formal verification of the Algorand consensus protocol

github.com/runtimeverification

6 years ago

2 points

538.

Verifying a DKIM-Signature by Hand

github.com/kmille

6 years ago

2 points

539.

Vertex, a JSX Server Side View Engine

github.com/ahmad-moussawi

8 years ago

2 points

540.

JavaScript – Application Version Manager

github.com/asduser

9 years ago

2 points