Search: yang.github.io | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Introducing Idyll: Interactive Document Language

idyll-lang.github.io

9 years ago

6 points

62.

The Gosu Programming Language

gosu-lang.github.io

7 years ago

5 points

63.

Cognate: Readable and Concise Concatenative Programming

cognate-lang.github.io

2 years ago

5 points

64.

Koka: A functional language with effect types and handlers

koka-lang.github.io

6 years ago

5 points

65.

The Koka Programming Language

koka-lang.github.io

5 years ago

4 points

66.

An Introduction to the Koka Programming Language

koka-lang.github.io

9 years ago

4 points

67.

Pluck: Probabilistic Programming With Lazy Inference

pluck-lang.github.io

7 days ago

4 points

68.

Show HN: I Made a Language to Be JavaScript's Nanny

chicory-lang.github.io

a year ago

4 points

69.

Motivation for a New Oberon Version

oberon-lang.github.io

a year ago

4 points

70.

Ring: Simple and flexible programming language for applications development

ring-lang.github.io

2 years ago

4 points

71.

Gosu: A simple and pragmatic JVM language

gosu-lang.github.io

4 years ago

4 points

72.

The Oberon+ Programming Language

oberon-lang.github.io

5 years ago

4 points

73.

Soufflé, a logic programming language inspired by Datalog

souffle-lang.github.io

5 years ago

4 points

74.

Fletch: Dart for Raspberry Pi

dart-lang.github.io

11 years ago

4 points

75.

Borgo is a programming language that compiles to Go

borgo-lang.github.io

2 years ago

3 points

76.

Arend: A theorem prover based on Homotopy Type Theory

arend-lang.github.io

7 months ago

3 points

77.

Using Coalton to Implement a Quantum Compiler

coalton-lang.github.io

3 years ago

3 points

78.

Ring: Simple and flexible programming language for applications development

ring-lang.github.io

a year ago

3 points

79.

Rust's Unsafe Code Guidelines Reference

rust-lang.github.io

2 years ago

3 points

80.

Rust RFC: Syntax for embedding cargo-script manifests

rust-lang.github.io

2 years ago

3 points

81.

Ring: Simple and flexible programming language for applications development

ring-lang.github.io

2 years ago

3 points

82.

Updated Oberon+ Concurrency proposal, request for comments

github.com/oberon-lang

2 years ago

3 points

83.

The Koka Programming Language

koka-lang.github.io

3 years ago

3 points

84.

The Neat Language (pre alpha)

neat-lang.github.io

4 years ago

3 points

85.

Dino Dynamic Language

dino-lang.github.io

6 years ago

3 points

86.

The Despacito Programming Language

despacito-lang.github.io

7 years ago

3 points

87.

Pikelet: A small dependently typed language

pikelet-lang.github.io

7 years ago

3 points

88.

Koka: A fast functional programming language with algebraic effects

koka-lang.github.io

3 years ago

2 points

89.

cognate-lang.github.io

4 months ago

2 points

90.

The Koka Programming Language

koka-lang.github.io

a year ago

2 points