Search: github.com/lanl | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

121.

Rust gets a faster sort implementation (github.com/rust-lang)

224 points

9 years ago

122.

Miri: Interpreter for Rust's mid-level intermediate representation (github.com/rust-lang)

218 points

7 years ago

123.

Alpaca – Functional programming inspired by ML for the Erlang VM (github.com/alpaca-lang)

217 points

9 years ago

124.

Dhall – A Distributed, Safe Configuration Language (github.com/dhall-lang)

217 points

8 years ago

125.

Elixir Release v1.0.0 (github.com/elixir-lang)

214 points

12 years ago

126.

Experimental Rust Feature: Safer Interoperable ABI (github.com/rust-lang)

210 points

3 years ago

127.

Narrowing the notion of a runtime in Rust (github.com/rust-lang)

208 points

11 years ago

128.

Gluon – A static, type-inferred and embeddable language written in Rust (github.com/gluon-lang)

203 points

8 years ago

129.

Carp: A statically typed Lisp, without a GC, for real-time applications (github.com/carp-lang)

202 points

8 years ago

130.

Gleam OTP – Fault Tolerant Multicore Programs with Actors (github.com/gleam-lang)

197 points

8 months ago

131.

A standalone zero-dependency Lisp for Linux (github.com/lone-lang)

191 points

3 years ago

132.

NIR: Nim Intermediate Representation (github.com/nim-lang)

188 points

michaelsbradley

3 years ago

133.

30% Faster Rust Build Times using Cranelift instead of the LLVM (github.com/rust-lang)

188 points

6 years ago

134.

Show HN: NimForum – A lightweight alternative to Discourse (github.com/nim-lang)

186 points

8 years ago

135.

Dify, a visual workflow to build/test LLM applications (github.com/langgenius)

185 points

2 years ago

136.

Rust 2021 Roadmap (github.com/rust-lang)

178 points

5 years ago

137.

Langcc: A Next-Generation Compiler Compiler (github.com/jzimmerman)

177 points

4 years ago

138.

Rust gets working asmjs and wasm targets (github.com/rust-lang)

177 points

10 years ago

139.

Nimforum: Lightweight alternative to Discourse written in Nim (github.com/nim-lang)

172 points

5 years ago

140.

Erg: a statically typed language that is Python compatible (github.com/erg-lang)

167 points

4 years ago

141.

Gleam v1.12 (github.com/gleam-lang)

166 points

10 months ago

142.

LangExtract: Python library for extracting structured data from language models (github.com/google)

166 points

10 months ago

143.

Show HN: C# 6.0 Functional Language Extensions (github.com/louthy)

164 points

12 years ago

144.

New JavaScript code generator in Idris 2 (github.com/idris-lang)

164 points

6 years ago

145.

Show HN: Open SaaS – An open-source alternative to paid boilerplate starters (github.com/wasp-lang)

163 points

2 years ago

146.

Operating System Development in Rust (github.com/rust-lang)

160 points

11 years ago

147.

Coq-of-rust: Formal verification tool for Rust (github.com/formal-land)

159 points

a year ago

148.

Show HN: Language Evolution Simulation (github.com/fatiherikli)

159 points

10 years ago

149.

Dhall: a programmable configuration language that is not Turing-complete (github.com/dhall-lang)

157 points

9 years ago

150.

Rust RFC 2094: non-lexical lifetimes (github.com/rust-lang)

156 points

9 years ago