Search: github.com/koush | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

ChrysaLisp (github.com/vygr)

153 points

3 years ago

62.

Coq to Rust Program Extraction (github.com/pirapira)

99 points

10 years ago

63.

ChrysaLisp (github.com/vygr)

99 points

5 years ago

64.

Show HN: Bangle.dev – Collection of tools for building rich text editors (github.com/bangle-io)

95 points

5 years ago

65.

Show HN: FiddleCube – Generate Q&A to test your LLM (github.com/fiddlecube)

78 points

2 years ago

66.

Authenticated Data Structures Generically (github.com/adjoint-io)

73 points

8 years ago

67.

A Coq development of a theory of lightweight cryptographic ledgers (github.com/billlwhite)

67 points

11 years ago

68.

The Architecture of a Cryptocurrency (github.com/ConsensusResearch)

51 points

11 years ago

69.

Show HN: FLP Impossibility Theorem Proof in Coq (github.com/ConsensusResearch)

38 points

11 years ago

70.

Show HN: A Cryptocurrency in 4K Lines of Scala Code (github.com/ConsensusResearch)

37 points

11 years ago

71.

Show HN: Okapi – a metrics engine based on open data formats (github.com/okapi-core)

14 points

9 months ago

72.

Show HN: Compliant-LLM: Audit AI Agents for Compliance with NIST AI RMF (github.com/fiddlecube)

11 points

a year ago

73.

Show HN: Compliant LLM toolkit for ensuring compliance & security of AI systems (github.com/fiddlecube)

7 points

a year ago

74.

Curated List of Awesome Ambient Noises for Listening While Programming (github.com/jamb0ss)

7 points

11 years ago

75.

Show HN: Idly-Gl When OpenStreetMap Met Mapbox-GL (github.com/kepta)

6 points

8 years ago

76.

Modular Cryptocurrency, Part 1: Generic Block Structure (github.com/ConsensusResearch)

6 points

11 years ago

77.

Compile-Time Checked Typed Actors for Scala and Akka (github.com/knutwalker)

6 points

11 years ago

78.

Show HN: I center aligned Paul Graham's website and published a Chrome extension (github.com/ktkaushik)

5 points

a year ago

79.

Show HN: Upskill – skill to find skills for your AI agents (github.com/Autoloops)

4 points

a month ago

80.

The Amazing World of Diagrams [pdf] (github.com/yk-liu)

4 points

6 years ago

81.

Tiny C Compiler (github.com/TinyCC)

4 points

24 days ago

82.

Awesome Ethereum Resources (github.com/btomashvili)

4 points

9 years ago

83.

Khronus – A Reactive Time Series Database (github.com/Searchlight)

4 points

11 years ago

84.

An Almost Full Scala Commodore 64 Emulator (github.com/abbruzze)

3 points

11 years ago

85.

Show HN: stagDB – Free and Open-Source database manager with instant branching (github.com/arbit-tech)

3 points

10 months ago

86.

Show HN: Open-Source Live Location, Google Map, State Management in Flutter (github.com/canopas)

3 points

2 years ago

87.

Bitclout is now fully open-source (github.com)

3 points

5 years ago

88.

Free Monads Are Expendable (github.com/TomasMikula)

3 points

10 years ago

89.

XPIR: Private Information Retrieval for Everyone (github.com/XPIR-team)

3 points

10 years ago

90.

60 Artisanal Compiler Crashes (github.com/regehr)

3 points

10 years ago