Search: yang.github.io | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

chenglin-yang.github.io

a year ago

11 points

2.

Reactive Coffee

13 years ago

1 points

3.

Show HN: Windows NFS Manager – A GUI for mounting and managing NFS drives

yani-.github.io

a year ago

6 points

4.

Show HN: BeforeAfter – Combine and compare screenshots in the browser

github.com/yani-

a year ago

1 points

5.

Show HN: Free e-book about WebGPU Programming

shi-yan.github.io

2 years ago

471 points

6.

WebGPU Code Samples

shi-yan.github.io

3 years ago

3 points

7.

AssortedWidgets, OpenGL GUI in WebAssembly

shi-yan.github.io

9 years ago

3 points

8.

How to Render a Single Gaussian Splat

shi-yan.github.io

2 years ago

2 points

9.

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

ruby-lang.github.io

13 years ago

4 points

10.

Show HN: Bithoven – A high-level, imperative language for Bitcoin Smart Contract

github.com/ChrisCho-H

6 months ago

27 points

11.

Show HN: Borgo – a Rusty language that compiles to Go

borgo-lang.github.io

3 years ago

18 points

12.

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

4 months ago

2 points

13.

Async-stripe 0.14, a rust client to accept payments

4 years ago

2 points

14.

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

tonywu6.github.io

a year ago

1 points

15.

MdBook – A command line tool to create books with Markdown

rust-lang.github.io

3 years ago

452 points

16.

The Borgo Programming Language

borgo-lang.github.io

2 years ago

361 points

17.

Next Iteration of “The Rust Programming Language” Book

rust-lang.github.io

9 years ago

346 points

18.

Arend: Theorem Prover Based on Homotopy Type Theory by JetBrains

arend-lang.github.io

7 years ago

309 points

19.

Berry is a ultra-lightweight dynamically typed embedded scripting language

berry-lang.github.io

3 years ago

266 points

20.

Asynchronous Programming in Rust book

rust-lang.github.io

7 years ago

222 points

21.

Koka: Strongly typed functional-style language with effect types and handlers

koka-lang.github.io

2 years ago

219 points

22.

Coalton is an efficient, statically typed Lisp with ideas from Haskell and OCaml

coalton-lang.github.io

a month ago

203 points

23.

Idyll: Interactive Document Language

idyll-lang.github.io

9 years ago

195 points

24.

MdBook – a command line tool to create books with Markdown

rust-lang.github.io

2 years ago

peter_d_sherman

184 points

25.

The Oberon+ Programming Language

oberon-lang.github.io

3 years ago

182 points

26.

A Specialized B-Tree for Concurrent Datalog Evaluation

souffle-lang.github.io

7 years ago

174 points

27.

Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp

coalton-lang.github.io

5 years ago

167 points

28.

Scallop: A Neurosymbolic Programming Language

scallop-lang.github.io

4 years ago

159 points

29.

Mine, an IDE for Coalton and Common Lisp

coalton-lang.github.io

2 months ago

138 points

30.

Show HN: SOUL Language 1.0 – A platform for writing and running audio code

soul-lang.github.io

5 years ago

119 points