Search: yang.github.io | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

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

6 points

9 years ago

62.

The Gosu Programming Language (gosu-lang.github.io)

5 points

7 years ago

63.

Cognate: Readable and Concise Concatenative Programming (cognate-lang.github.io)

5 points

2 years ago

64.

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

5 points

5 years ago

65.

The Koka Programming Language (koka-lang.github.io)

4 points

5 years ago

66.

An Introduction to the Koka Programming Language (koka-lang.github.io)

4 points

9 years ago

67.

Show HN: I Made a Language to Be JavaScript's Nanny (chicory-lang.github.io)

4 points

a year ago

68.

Motivation for a New Oberon Version (oberon-lang.github.io)

4 points

a year ago

69.

Ring: Simple and flexible programming language for applications development (ring-lang.github.io)

4 points

2 years ago

70.

Gosu: A simple and pragmatic JVM language (gosu-lang.github.io)

4 points

4 years ago

71.

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

4 points

5 years ago

72.

Soufflé, a logic programming language inspired by Datalog (souffle-lang.github.io)

4 points

5 years ago

73.

Fletch: Dart for Raspberry Pi (dart-lang.github.io)

4 points

11 years ago

74.

Borgo is a programming language that compiles to Go (borgo-lang.github.io)

3 points

2 years ago

75.

Arend: A theorem prover based on Homotopy Type Theory (arend-lang.github.io)

3 points

7 months ago

76.

Using Coalton to Implement a Quantum Compiler (coalton-lang.github.io)

3 points

3 years ago

77.

Ring: Simple and flexible programming language for applications development (ring-lang.github.io)

3 points

10 months ago

78.

Rust's Unsafe Code Guidelines Reference (rust-lang.github.io)

3 points

2 years ago

79.

Rust RFC: Syntax for embedding cargo-script manifests (rust-lang.github.io)

3 points

2 years ago

80.

Ring: Simple and flexible programming language for applications development (ring-lang.github.io)

3 points

2 years ago

81.

Updated Oberon+ Concurrency proposal, request for comments (github.com/oberon-lang)

3 points

2 years ago

82.

The Koka Programming Language (koka-lang.github.io)

3 points

3 years ago

83.

The Neat Language (pre alpha) (neat-lang.github.io)

3 points

4 years ago

84.

Dino Dynamic Language (dino-lang.github.io)

3 points

6 years ago

85.

The Despacito Programming Language (despacito-lang.github.io)

3 points

7 years ago

86.

Pikelet: A small dependently typed language (pikelet-lang.github.io)

3 points

7 years ago

87.

Koka: A fast functional programming language with algebraic effects (koka-lang.github.io)

2 points

3 years ago

88.

Cognate (cognate-lang.github.io)

2 points

4 months ago

89.

The Koka Programming Language (koka-lang.github.io)

2 points

a year ago

90.

Wa-Lang: Design for WebAssembly (wa-lang.github.io)

2 points

2 years ago