Search: github.com/lann | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

Unfuck: A utility for deobfuscating Python 2.7 bytecode

github.com/landaire

5 years ago

82 points

212.

C2nim: A tool to translate ANSI C code to Nim

github.com/nim-lang

5 years ago

81 points

213.

Show HN: Language games – simple games made with word vectors

github.com/Hellisotherpeople

6 years ago

81 points

214.

Candy – a minimalistic functional programming language

github.com/candy-lang

2 years ago

79 points

215.

Rustc: Add do yeet expressions to allow experimentation in nightly

github.com/rust-lang

4 years ago

78 points

216.

JavaScript is the most popular language on GitHub

github.com/languages

16 years ago

78 points

217.

NJVL: Nim's New Intermediate Representation

github.com/nim-lang

8 months ago

78 points

218.

The compiler for Teal, a typed dialect of Lua

github.com/teal-language

5 years ago

77 points

219.

Veryl: A Modern Hardware Description Language

github.com/veryl-lang

2 years ago

76 points

220.

Show HN: A Lisp compiler and environment in Go

github.com/gsp-lang

11 years ago

76 points

221.

Net-glimpse: A little tool for network traffic visualization

github.com/kristian-lange

9 years ago

69 points

222.

LAN Mouse: Mouse and keyboard sharing software

github.com/feschber

2 years ago

68 points

223.

Beyond inductive datatypes: exploring Self types

github.com/kind-lang

5 years ago

68 points

224.

Pallene: A statically compiled companion language for Lua

github.com/pallene-lang

2 years ago

66 points

225.

Phel v0.36.0 – Lisp on PHP, now with numeric tower and first-class Vars

github.com/phel-lang

2 months ago

65 points

226.

Dafny: Verification-Aware Programming Language

github.com/dafny-lang

6 years ago

64 points

227.

Lans.py: capture usernames, passwords, messages and inject arbitrary HTML

github.com/DanMcInerney

13 years ago

64 points

228.

Programming language Dino and its implementation

github.com/dino-lang

a year ago

64 points

229.

LangGraph Engineer

github.com/hwchase17

2 years ago

63 points

230.

Futures Is Stable on Rust 1.36

github.com/rust-lang

7 years ago

63 points

231.

RZK: Experimental proof assistant for synthetic ∞-categories

github.com/rzk-lang

3 years ago

61 points

232.

Replace the “among us” reference with “here”

github.com/rust-lang

5 years ago

60 points

233.

Automate deep learning training with Kubernetes GPU-cluster

github.com/Langhalsdino

9 years ago

57 points

234.

Apple Macintosh System Software 7.1 source (m68k and basic PPC)

github.com/laniku

2 years ago

56 points

235.

Copatterns in Idris

github.com/idris-lang

12 years ago

56 points

236.

RFC: Rust Has Provenance

github.com/rust-lang

2 years ago

55 points

237.

Lanyon, a Markdown web server in Go

github.com/mkaz

12 years ago

54 points

238.

The Wa Programming Language

github.com/wa-lang

4 years ago

52 points

239.

The Mercury logic programming system

github.com/Mercury-Language

7 years ago

52 points

240.

Lang: Python module for enforcing programming language constraints

github.com/amitassaraf

10 years ago

52 points