Search: github.com/Semantics3 | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Redefining for Loop Variable Semantics

github.com/golang

4 years ago

4 points

32.

Redefining for Loop Variable Semantics

github.com/golang

4 years ago

4 points

33.

Haskell Distributed Stream Processing with Exactly-Once Semantics

github.com/hailstorm-hs

12 years ago

3 points

34.

The Semantics of Testing. Also, Quads

github.com/mthom

a year ago

3 points

35.

Semantics by GitHub on “Why Haskell”

github.com/github

7 years ago

3 points

36.

Mercury Parser (an HTML semantics extractor) is now open-source

github.com/postlight

7 years ago

3 points

37.

Dockerfile semantics for shell automation

github.com/ianmiell

9 years ago

3 points

38.

ReactiveSocket: Reactive Stream semantics over asynchronous binary boundary

github.com/ReactiveSocket

11 years ago

3 points

39.

Httplet: A simple JavaScript plugin-oriented HTTP server with clean semantics

github.com/krzykos

8 months ago

2 points

40.

Show HN: I implemented Rust semantics in TypeScript

github.com/Hussseinkizz

6 months ago

2 points

41.

May: Rust “stackful” coroutine library (goroutine-like semantics)

github.com/Xudong-Huang

5 years ago

2 points

42.

Cpp.py: Implementing C++ Semantics in Python

github.com/tmr232

5 years ago

2 points

43.

Show HN: Functional programing syntax and semantics in Python

github.com/Z-Shang

5 years ago

2 points

44.

Show HN: A correct Scheme interpreter based on R5RS formal semantics

github.com/siraben

6 years ago

2 points

45.

Show HN: libceque, a pool allocated C11 deque with value semantics

github.com/codr7

6 years ago

2 points

46.

A Three-Year Conversation on Vector Transposition Semantics in Julia

github.com/JuliaLang

7 years ago

2 points

47.

Show HN: Hop – An AMQP client wrapper that provides easy work queue semantics

github.com/mazingstudio

8 years ago

2 points

48.

Go 101 – a book focusing on Go syntaxes and semantics

github.com/go101

8 years ago

2 points

49.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics)

github.com/JQCTeam

a year ago

1 points

50.

Show HN: Async bulkhead for Java with explicit overload semantics (v0.3.0)

github.com/janbalangue

5 months ago

1 points

51.

Show HN: Axis – A semantics-first logic language co-designed with AI

github.com/axis-foundation

6 months ago

1 points

52.

Webassembly AST semantics

github.com/WebAssembly

11 years ago

1 points

53.

Show HN: GYML – YAML syntax, JSON semantics, zero runtime dependencies

github.com/janbjorge

3 months ago

1 points

54.

Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean

github.com/rutgers-apl

4 months ago

1 points

55.

Show HN: An async bulkhead for Java with explicit overload semantics

github.com/janbalangue

5 months ago

1 points

56.

ECMAScript5: Semantics for Accessors

brownplt.github.com

15 years ago

1 points

57.

Val: Mutable value semantics and generic programming for systems programming

github.com/val-lang

4 years ago

1 points

58.

Conflict: A small esoteric language giving semantics to Git merge conflict

github.com/basile-henry

5 years ago

1 points

59.

Show HN: VanillaView – easy to use views with vanilla JavaScript semantics

github.com/i5ik

5 years ago

1 points

60.

JSON parser/emitter for embedded systems with printf/scanf semantics

github.com/cesanta

10 years ago

1 points