Search: github.com/mher | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

931.

Swap based Merge algorithm with O(n+m) performance and O(n)*usize memory penalty (github.com/gvelim)

1 point

4 years ago

932.

Git-extras: utility scripts for Git (repl, summary, merge-repo,...) (github.com/tj)

1 point

4 years ago

933.

Multicore OCaml has been merged (github.com/ocaml)

1 point

4 years ago

934.

Show HN: One-Click VS Code setup for markdown docs supporting PlantUML, Mermaid (github.com/logwolvy)

1 point

4 years ago

935.

Show HN: Victor Frankenstein – Merged monospaced fonts with cursive italics (github.com/jansim)

1 point

4 years ago

936.

Untwister: Seed Recovery Tool for Mersenne Twister and LCG PRNGs (github.com/altf4)

1 point

rdpintqogeogsaa

4 years ago

937.

Frozen Throne: GCP Cloud Run API for Merge Freezes on GitHub (github.com/TheJokersThief)

1 point

4 years ago

938.

React merged experimental support for custom elements (web components) (github.com/facebook)

1 point

4 years ago

939.

Sort pull requests by time of merge [GitHub]

1 point

5 years ago

940.

Vaultwarden Emergency Access Support Merged (github.com/dani-garcia)

1 point

5 years ago

941.

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

1 point

5 years ago

942.

Prune Remotely Merged Branches (github.com/logston)

1 point

5 years ago

943.

Merlin Finance Hack (github.com/OriginProtocol)

1 point

5 years ago

944.

Work in Progress: PHP support for F# (Fable) merged (github.com/fable-compiler)

1 point

5 years ago

945.

GitHub Dependabot soon drops support for auto-merging upgrade PRs (github.com/dependabot)

1 point

5 years ago

946.

GitHub still can't sort merged pull requests by merge date (github.com/isaacs)

1 point

5 years ago

947.

React Native: Introducing Timeline: A time-travel debugging tool (merged) (github.com/facebook)

1 point

5 years ago

948.

Show HN: I built a CLI tool in Go to bulk merge GitHub pull requests (github.com/Cian911)

1 point

5 years ago

949.

Git-imerge – incremental merge and rebase for Git (github.com/mhagger)

1 point

6 years ago

950.

Nanos just merged support for Firecracker (github.com/nanovms)

1 point

6 years ago

951.

Show HN: GitHub – Specify that a PR must be merged after another PR (github.com/marketplace)

1 point

6 years ago

952.

Kodiak: GitHub bot to automatically update and merge GitHub PRs (github.com/chdsbd)

1 point

6 years ago

953.

A PR is merged into slate.js closing so many issues that it broke GitHub (github.com/ianstormtaylor)

1 point

7 years ago

954.

New: Added giuliani taxonomy (will never be merged but kept for historical fun) (github.com/MISP)

1 point

DyslexicAtheist

7 years ago

955.

V Language Syntax Merged into GitHub (github.com/github)

1 point

7 years ago

956.

Show HN: M4b-tool 0.4.2 – merge, split and chapterize audiobooks(bugfix release) (github.com/sandreas)

1 point

7 years ago

957.

Script to help manage (merge, share) hosts changes (github.com/ghettonet)

1 point

16 years ago

958.

Floating Windows in TUI and Remote UI Merged (github.com/neovim)

1 point

7 years ago

959.

Show HN: M4b-tool 0.3.2 – a tool to merge, split and chapterize audiobooks (github.com/sandreas)

1 point

7 years ago

960.

Mersenne Twister PRNG for JavaScript (github.com/jawj)

1 point

7 years ago