Search: github.com/suan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor)

241 points

5 years ago

32.

Biomni: A General-Purpose Biomedical AI Agent (github.com/snap-stanford)

222 points

a year ago

33.

Resources about programming practices for writing safety-critical software (github.com/stanislaw)

208 points

9 years ago

34.

Stanford CS248: Implement an SVG Rasterizer (github.com/stanford-cs248)

208 points

6 years ago

35.

Standard JS: npm install funding (github.com/standard)

168 points

7 years ago

36.

Firefox will consider a Rust implementation of JPEG-XL (github.com/mozilla)

154 points

2 years ago

37.

Downgrade User Agent Client Hints to 'harmful' (github.com/mozilla)

150 points

5 years ago

38.

Standard Webhooks: open-source tools and guidelines for sending webhooks (github.com/standard-webhooks)

149 points

2 years ago

39.

DSPy: Framework for programming with foundation models (github.com/stanfordnlp)

141 points

3 years ago

40.

STOKE – a stochastic optimizer for x86_64 assembly (github.com/StanfordPL)

129 points

10 years ago

41.

Storm: LLM system that researches a topic and generates full-length wiki article (github.com/stanford-oval)

123 points

2 years ago

42.

Stanchion: Column-oriented tables in SQLite (github.com/dgllghr)

112 points

2 years ago

43.

x64asm: C++ Library with in-memory assembler, parser, and linker (github.com/StanfordPL)

89 points

9 years ago

44.

Stanford CS240h, Functional Systems in Haskell (github.com/bos)

81 points

14 years ago

45.

Hobbes – A Language and an Embedded JIT Compiler (github.com/Morgan-Stanley)

74 points

6 years ago

46.

RetinaFace: Single-stage Dense Face Localisation, implemented in TensorFlow 2.0 (github.com/StanislasBertrand)

62 points

6 years ago

47.

An usable and maximally efficient C standard library (github.com/gregoryc)

48 points

3 years ago

48.

Stanford Class2Go (github.com/Stanford-Online)

47 points

13 years ago

49.

Earthquake detection pipeline via efficient time series similarity search (github.com/stanford-futuredata)

39 points

8 years ago

50.

Mozilla concludes that JPEG-XL is not for them (github.com/mozilla)

36 points

3 years ago

51.

Proposed JavaScript Standard Style (github.com/feross)

29 points

10 years ago

52.

(Golang-standards/project-layout) is not a standard Go project layout (github.com/golang-standards)

26 points

5 years ago

53.

FossFLOW: Make beautiful isometric infrastructure diagrams (github.com/stan-smith)

24 points

a year ago

54.

Paserk: Platform Agnostic SERialized Keys (github.com/paseto-standard)

21 points

5 years ago

55.

Object tree diagrams for Scala objects (github.com/stanch)

20 points

10 years ago

56.

Show HN: muffon – Desktop music streaming browser (github.com/staniel359)

14 points

4 years ago

57.

JetBrains is openly supporting Ukraine (github.com/vshymanskyy)

14 points

4 years ago

58.

Firefox will consider a Rust implementation of JPEG-XL (github.com/mozilla)

13 points

2 years ago

59.

Standups for Hackers (github.com/Wootech)

9 points

10 years ago

60.

JavaScript Standard Style: One Style to Rule Them All (github.com/feross)

8 points

11 years ago