Search: github.com/Semantics3 | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Redefining for Loop Variable Semantics (github.com/golang)

4 points

4 years ago

32.

Haskell Distributed Stream Processing with Exactly-Once Semantics (github.com/hailstorm-hs)

3 points

12 years ago

33.

The Semantics of Testing. Also, Quads (github.com/mthom)

3 points

a year ago

34.

Semantics by GitHub on “Why Haskell” (github.com/github)

3 points

7 years ago

35.

Mercury Parser (an HTML semantics extractor) is now open-source (github.com/postlight)

3 points

7 years ago

36.

Dockerfile semantics for shell automation (github.com/ianmiell)

3 points

9 years ago

37.

ReactiveSocket: Reactive Stream semantics over asynchronous binary boundary (github.com/ReactiveSocket)

3 points

11 years ago

38.

Httplet: A simple JavaScript plugin-oriented HTTP server with clean semantics (github.com/krzykos)

2 points

7 months ago

39.

Show HN: I implemented Rust semantics in TypeScript (github.com/Hussseinkizz)

2 points

5 months ago

40.

May: Rust “stackful” coroutine library (goroutine-like semantics) (github.com/Xudong-Huang)

2 points

5 years ago

41.

Cpp.py: Implementing C++ Semantics in Python (github.com/tmr232)

2 points

5 years ago

42.

Show HN: Functional programing syntax and semantics in Python (github.com/Z-Shang)

2 points

5 years ago

43.

Show HN: A correct Scheme interpreter based on R5RS formal semantics (github.com/siraben)

2 points

6 years ago

44.

Show HN: libceque, a pool allocated C11 deque with value semantics (github.com/codr7)

2 points

6 years ago

45.

A Three-Year Conversation on Vector Transposition Semantics in Julia (github.com/JuliaLang)

2 points

7 years ago

46.

Show HN: Hop – An AMQP client wrapper that provides easy work queue semantics (github.com/mazingstudio)

2 points

8 years ago

47.

Go 101 – a book focusing on Go syntaxes and semantics (github.com/go101)

2 points

8 years ago

48.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com/JQCTeam)

1 point

10 months ago

49.

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

1 point

5 months ago

50.

Show HN: Axis – A semantics-first logic language co-designed with AI (github.com/axis-foundation)

1 point

6 months ago

51.

Webassembly AST semantics (github.com/WebAssembly)

1 point

11 years ago

52.

Show HN: GYML – YAML syntax, JSON semantics, zero runtime dependencies (github.com/janbjorge)

1 point

3 months ago

53.

Semantics, Operations, and Properties of P3109 Floating-Point Formats in Lean (github.com/rutgers-apl)

1 point

4 months ago

54.

Show HN: An async bulkhead for Java with explicit overload semantics (github.com/janbalangue)

1 point

5 months ago

55.

ECMAScript5: Semantics for Accessors (brownplt.github.com)

1 point

14 years ago

56.

Val: Mutable value semantics and generic programming for systems programming (github.com/val-lang)

1 point

4 years ago

57.

Conflict: A small esoteric language giving semantics to Git merge conflict (github.com/basile-henry)

1 point

5 years ago

58.

Show HN: VanillaView – easy to use views with vanilla JavaScript semantics (github.com/i5ik)

1 point

5 years ago

59.

JSON parser/emitter for embedded systems with printf/scanf semantics (github.com/cesanta)

1 point

10 years ago

60.

Show HN: InstantDB – A Modern Firebase (github.com/instantdb)

1145 points

2 years ago