Search: github.com/lra | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

481.

Coq-of-rust: Formal verification tool for Rust

github.com/formal-land

a year ago

159 points

482.

Use the WiFi Chip on RaspberryPi/Broadcom as Software-Defined Radio (SDR)

github.com/seemoo-lab

5 years ago

159 points

483.

Show HN: Language Evolution Simulation

github.com/fatiherikli

10 years ago

159 points

484.

Show HN: A Go Library for Better Access Control

9 years ago

158 points

485.

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

github.com/dhall-lang

9 years ago

157 points

486.

Rust RFC 2094: non-lexical lifetimes

github.com/rust-lang

9 years ago

156 points

487.

Changelog for Elixir v1.11

github.com/elixir-lang

6 years ago

153 points

488.

Show HN: Laboratory, a Python port of GitHub's Scientist library for refactoring

github.com/joealcorn

10 years ago

153 points

489.

Rust stabilizes generic associated types

github.com/rust-lang

4 years ago

152 points

490.

Janet – A dynamic language and bytecode VM

github.com/janet-lang

7 years ago

152 points

491.

github.com/derwiki

3 years ago

150 points

492.

Add variables to Python traceback

github.com/andy-landy

6 years ago

149 points

493.

Lahja – A generic event bus implementation written in Python

github.com/ethereum

7 years ago

148 points

494.

Show HN: Laudspeaker – open-source customer journey automation

github.com/laudspeaker

3 years ago

148 points

495.

An HN style social news site written in Ruby/Sinatra/Redis/JQuery by Antirez

github.com/antirez

15 years ago

145 points

496.

Toybox: All-in-one Linux command line

github.com/landley

5 years ago

144 points

497.

Show HN: Tiny, fast, and free API to geolocate IP addresses

github.com/Risk3sixty-Labs

7 years ago

144 points

498.

Melody – a language that compiles to regular expressions

github.com/yoav-lavi

4 years ago

143 points

499.

Golang landmines

gist.github.com

10 years ago

141 points

500.

Show HN: Lunatic – Actor System for Rust/WebAssembly

github.com/lunatic-lang

6 years ago

141 points

501.

Show HN: Lady Deirdre 2 – Rust Framework for Compilers and LSP Servers

github.com/Eliah-Lakhin

2 years ago

141 points

502.

Reddit Terminal Viewer development is shutting down

github.com/michael-lazar

7 years ago

140 points

503.

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

github.com/buzz-language

4 years ago

140 points

504.

TensorFlow Tutorials with YouTube Videos

github.com/Hvass-Labs

8 years ago

139 points

505.

Show HN: Software for Remote GPU-over-IP

github.com/Juice-Labs

4 years ago

138 points

506.

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

github.com/jncraton

3 years ago

138 points

507.

Recreated sources for the book “UNIX Text Processing,” published in 1987

github.com/larrykollar

4 years ago

rdpintqogeogsaa

138 points

508.

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

github.com/rust-lang

6 years ago

138 points

509.

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

github.com/langchain-ai

3 years ago

137 points

510.

Dethrace: Reverse engineering the 1997 game Carmageddon

github.com/dethrace-labs

3 years ago

137 points