Search: github.com/lann | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

152.

Show HN: Language Evolution Simulation

github.com/fatiherikli

10 years ago

159 points

153.

Dhall: a programmable configuration language that is not Turing-complete

github.com/dhall-lang

9 years ago

157 points

154.

Rust RFC 2094: non-lexical lifetimes

github.com/rust-lang

9 years ago

156 points

155.

Changelog for Elixir v1.11

github.com/elixir-lang

6 years ago

153 points

156.

Rust stabilizes generic associated types

github.com/rust-lang

4 years ago

152 points

157.

Janet – A dynamic language and bytecode VM

github.com/janet-lang

7 years ago

152 points

158.

Add variables to Python traceback

github.com/andy-landy

6 years ago

149 points

159.

Toybox: All-in-one Linux command line

github.com/landley

5 years ago

144 points

160.

Show HN: Lunatic – Actor System for Rust/WebAssembly

github.com/lunatic-lang

6 years ago

141 points

161.

Show HN: Buzz, strongly typed scripting language written in Zig

github.com/buzz-language

4 years ago

140 points

162.

Show HN: Explore large language models with 512MB of RAM

github.com/jncraton

3 years ago

138 points

163.

Rust core team promotes Linux on 64-bit Arm to Tier-1 supported platform status

github.com/rust-lang

6 years ago

138 points

164.

New: LangChain templates – fastest way to build a production-ready LLM app

github.com/langchain-ai

3 years ago

137 points

165.

Carp – a statically typed, non-GC Lisp language

github.com/carp-lang

4 years ago

135 points

166.

Lurk – Language for Recursive ZK-SNARKs Inspired by Common Lisp and Scheme

4 years ago

135 points

167.

Elixir 1.0.5 released

github.com/elixir-lang

11 years ago

133 points

168.

Rust GCC back end was officially accepted into the compiler

github.com/rust-lang

5 years ago

133 points

169.

Forest, a multi-syntax functional language that compiles to WebAssembly

github.com/forest-lang

8 years ago

132 points

170.

Clio: A functional, distributed programming language that compiles to JavaScript

github.com/clio-lang

5 years ago

131 points

171.

Show HN: Purely Functional Scripting

github.com/topshell-language

7 years ago

131 points

172.

PlsExplain: A small dynamic programming language where every value is explained

github.com/langjam

5 years ago

128 points

173.

github.com/carp-lang

7 years ago

127 points

174.

LangManus: An Open-Source Manus Agent with LangChain + LangGraph

github.com/langmanus

a year ago

127 points

175.

‘~’ is being removed from Rust

github.com/rust-lang

12 years ago

126 points

176.

Nim compiler — Pascal source code

github.com/nim-lang

6 years ago

123 points

177.

Langcraft: Compile LLVM IR to Minecraft data packs

github.com/SuperTails

6 years ago

123 points

178.

Rooby: a Ruby-like object oriented language written in Go

github.com/rooby-lang

9 years ago

122 points

179.

Mirth – a type-safe concatenative purely functional programming language

github.com/mirth-lang

7 years ago

119 points

180.

Goby: A new Ruby-inspired language written in Go

github.com/goby-lang

9 years ago

119 points