Search: yang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

1.58-Bit Flux (chenglin-yang.github.io)

11 points

a year ago

2.

Reactive Coffee (yang.github.io)

1 point

13 years ago

3.

Show HN: Windows NFS Manager – A GUI for mounting and managing NFS drives (yani-.github.io)

6 points

a year ago

4.

Show HN: BeforeAfter – Combine and compare screenshots in the browser (github.com/yani-)

1 point

a year ago

5.

Show HN: Free e-book about WebGPU Programming (shi-yan.github.io)

471 points

2 years ago

6.

WebGPU Code Samples (shi-yan.github.io)

3 points

2 years ago

7.

AssortedWidgets, OpenGL GUI in WebAssembly (shi-yan.github.io)

3 points

9 years ago

8.

How to Render a Single Gaussian Splat (shi-yan.github.io)

2 points

2 years ago

9.

Http://ruby-lang.github.io/ (ruby-lang.github.io)

4 points

13 years ago

10.

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract (github.com/ChrisCho-H)

27 points

6 months ago

11.

Show HN: Borgo – a Rusty language that compiles to Go (borgo-lang.github.io)

18 points

3 years ago

12.

Show HN: OctoFlow v1.0.0 – GPU VM where the GPU runs autonomously, CPU is BIOS

2 points

3 months ago

13.

Async-stripe 0.14, a rust client to accept payments

2 points

4 years ago

14.

Show HN: Rustdoc-style linking in mdBook (with the help of Rust-analyzer) (tonywu6.github.io)

1 point

a year ago

15.

MdBook – A command line tool to create books with Markdown (rust-lang.github.io)

452 points

3 years ago

16.

The Borgo Programming Language (borgo-lang.github.io)

361 points

2 years ago

17.

Next Iteration of “The Rust Programming Language” Book (rust-lang.github.io)

346 points

9 years ago

18.

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains (arend-lang.github.io)

309 points

7 years ago

19.

Berry is a ultra-lightweight dynamically typed embedded scripting language (berry-lang.github.io)

266 points

3 years ago

20.

Asynchronous Programming in Rust book (rust-lang.github.io)

222 points

7 years ago

21.

Koka: Strongly typed functional-style language with effect types and handlers (koka-lang.github.io)

219 points

2 years ago

22.

Idyll: Interactive Document Language (idyll-lang.github.io)

195 points

9 years ago

23.

MdBook – a command line tool to create books with Markdown (rust-lang.github.io)

184 points

peter_d_sherman

2 years ago

24.

The Oberon+ Programming Language (oberon-lang.github.io)

182 points

3 years ago

25.

A Specialized B-Tree for Concurrent Datalog Evaluation (souffle-lang.github.io)

174 points

7 years ago

26.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp (coalton-lang.github.io)

167 points

5 years ago

27.

Scallop: A Neurosymbolic Programming Language (scallop-lang.github.io)

159 points

4 years ago

28.

Mine, an IDE for Coalton and Common Lisp (coalton-lang.github.io)

138 points

a month ago

29.

Show HN: SOUL Language 1.0 – A platform for writing and running audio code (soul-lang.github.io)

119 points

5 years ago

30.

Mine, a Coalton and Common Lisp IDE (coalton-lang.github.io)

112 points

a month ago