Search: github.com/lanl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Rustc: Add do yeet expressions to allow experimentation in nightly (github.com/rust-lang)

78 points

4 years ago

212.

JavaScript is the most popular language on GitHub (github.com/languages)

78 points

15 years ago

213.

NJVL: Nim's New Intermediate Representation (github.com/nim-lang)

78 points

7 months ago

214.

The compiler for Teal, a typed dialect of Lua (github.com/teal-language)

77 points

5 years ago

215.

Veryl: A Modern Hardware Description Language (github.com/veryl-lang)

76 points

2 years ago

216.

Show HN: A Lisp compiler and environment in Go (github.com/gsp-lang)

76 points

11 years ago

217.

Net-glimpse: A little tool for network traffic visualization (github.com/kristian-lange)

69 points

9 years ago

218.

LAN Mouse: Mouse and keyboard sharing software (github.com/feschber)

68 points

2 years ago

219.

Beyond inductive datatypes: exploring Self types (github.com/kind-lang)

68 points

5 years ago

220.

Pallene: A statically compiled companion language for Lua (github.com/pallene-lang)

66 points

2 years ago

221.

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars (github.com/phel-lang)

65 points

a month ago

222.

Dafny: Verification-Aware Programming Language (github.com/dafny-lang)

64 points

6 years ago

223.

Lans.py: capture usernames, passwords, messages and inject arbitrary HTML (github.com/DanMcInerney)

64 points

13 years ago

224.

Programming language Dino and its implementation (github.com/dino-lang)

64 points

a year ago

225.

LangGraph Engineer (github.com/hwchase17)

63 points

2 years ago

226.

Futures Is Stable on Rust 1.36 (github.com/rust-lang)

63 points

7 years ago

227.

RZK: Experimental proof assistant for synthetic ∞-categories (github.com/rzk-lang)

61 points

3 years ago

228.

Replace the “among us” reference with “here” (github.com/rust-lang)

60 points

5 years ago

229.

Automate deep learning training with Kubernetes GPU-cluster (github.com/Langhalsdino)

57 points

9 years ago

230.

Apple Macintosh System Software 7.1 source (m68k and basic PPC) (github.com/laniku)

56 points

2 years ago

231.

Copatterns in Idris (github.com/idris-lang)

56 points

12 years ago

232.

RFC: Rust Has Provenance (github.com/rust-lang)

55 points

2 years ago

233.

Lanyon, a Markdown web server in Go (github.com/mkaz)

54 points

12 years ago

234.

The Wa Programming Language (github.com/wa-lang)

52 points

4 years ago

235.

The Mercury logic programming system (github.com/Mercury-Language)

52 points

7 years ago

236.

Lang: Python module for enforcing programming language constraints (github.com/amitassaraf)

52 points

10 years ago

237.

Callisto: Reverse polish notation programming language inspired by YSL-C3, Forth (github.com/callisto-lang)

52 points

2 years ago

238.

Wasp – A programming language that understands what a web app is (github.com/wasp-lang)

49 points

5 years ago

239.

LAN-port-scan forbidder, browser addon to protect private network (github.com/garywill)

48 points

4 years ago

240.

AVR support merged into Rust nightly (github.com/rust-lang)

48 points

6 years ago