Search: github.com/vcr | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

901.

Godit - A very religious text editor written in Go

13 years ago

66 points

902.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

903.

Chip 2.0: High Level C to Verilog with Python Bindings

github.com/dawsonjon

8 years ago

63 points

904.

Show HN: Yopp – A very quick way to transfer a file from phone to computer

github.com/josephernest

9 years ago

62 points

905.

Grab – simple but very fast grep

github.com/stealth

12 years ago

62 points

906.

Show HN: Formally verified FPGA watchdog for AM broadcast in unmanned tunnels

github.com/Park07

4 months ago

anonymoosestdnt

62 points

907.

Jubilee, a new Rack server for JRuby based on the high-performance Vert.x

github.com/isaiah

12 years ago

62 points

908.

Show HN: OhMyPocket – Open-source version of getpocket.com

github.com/zhy0216

11 years ago

62 points

909.

Why Semantic Versioning Isn't (2015)

gist.github.com

7 years ago

61 points

910.

Why Semantic Versioning Isn't

gist.github.com

12 years ago

60 points

911.

Show HN: Using 3D Convolutional Neural Networks for Speaker Verification

github.com/astorfi

9 years ago

59 points

912.

Show HN: Proof-of-concept HTML5 version of Starcraft 2

github.com/emnh

11 years ago

58 points

913.

DoesItAgeVerify: The age verification status of Open Source Operating Systems

github.com/BryanLunduke

3 months ago

57 points

914.

Tor Browser and Tails Version Fingerprint

github.com/jonaslejon

10 years ago

57 points

915.

GPT-5-Codex-Mini – A more compact and cost-efficient version of GPT-5-Codex

github.com/openai

8 months ago

56 points

916.

Ksharp – k version 3 Language Interpreter in C#

github.com/ERufian

a month ago

55 points

917.

Show HN: Socks Protocol Version 5 Library in Go

github.com/txthinking

6 years ago

54 points

918.

Par2cmdline is a PAR 2.0 compatible file verification and repair tool

github.com/Parchive

5 years ago

53 points

919.

CakeML: A verified implementation of ML

github.com/CakeML

10 years ago

53 points

920.

Verifiable science on modified PCR machine

github.com/ClemHeyd

a year ago

53 points

921.

Open Space Toolkit – collection of versatile libraries for aerospace engineering

github.com/open-space-collective

3 years ago

53 points

922.

Show HN: Formal Verification for Machine Learning Models Using Lean 4

github.com/fraware

a year ago

52 points

923.

Geohot/twitchcore: A RISC-V core, first in Python, then in Verilog, then on FPGA

github.com/geohot

5 years ago

51 points

924.

uBlock Origin Lite beta version for Safari

github.com/uBlockOrigin

a year ago

50 points

925.

Nymph: A slightly different version of C

github.com/roecrew

9 years ago

49 points

926.

Show HN: Captain Stack – a parody version GitHub Copilot

github.com/hieunc229

5 years ago

49 points

927.

Moq – Privacy issues with SponsorLink, starting from version 4.20

3 years ago

49 points

928.

Show HN: Go version of HighwayHash with optimized assembly implementations

github.com/minio

8 years ago

48 points

929.

Show HN: Spaik Lisp Version 0.3

github.com/snyball

3 years ago

48 points

930.

Ending Dependency Chaos: A Proposal for Comprehensive Function Versioning

github.com/davidbullado

3 years ago

47 points