Search: github.com/statico | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Prusti: Static Analyzer for Rust (github.com/viperproject)

285 points

4 years ago

242.

Big list of HTTP static server one-liners (gist.github.com)

282 points

5 years ago

243.

Publii: Open-source local WYSIWYG static site CMS (github.com/GetPublii)

268 points

4 years ago

244.

Gixy: Nginx Configuration Static Analyzer (github.com/yandex)

265 points

9 years ago

245.

Show HN: Bolt – A super-fast, statically-typed scripting language written in C (github.com/Beariish)

261 points

10 months ago

246.

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

259 points

5 years ago

247.

Tao: A statically-typed functional language (github.com/zesterer)

257 points

4 years ago

248.

Oasis: a small statically-linked Linux system (github.com/oasislinux)

252 points

6 years ago

249.

A statically typed scripting language that transpiles to Posix sh (github.com/cotowali)

251 points

4 years ago

250.

Time Station Emulator (github.com/kangtastic)

241 points

4 months ago

251.

Show HN: I built an open-source web hosting platform for static sites (github.com/symkat)

217 points

4 years ago

252.

Pyright: Static type checker for Python (github.com/Microsoft)

214 points

7 years ago

253.

Show HN: A free, lightweight static page to get stock quotes using the IEX API (github.com/toddwschneider)

207 points

8 years ago

254.

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

203 points

8 years ago

255.

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

202 points

8 years ago

256.

Semgrep: Lightweight static analysis for many languages (github.com/returntocorp)

202 points

6 years ago

257.

Carp: a statically typed lisp, without a GC, for high performance applications (github.com/eriksvedang)

196 points

10 years ago

258.

Show HN: The static, static site generator (github.com/xeoncross)

187 points

12 years ago

259.

Nrsc5: Receive NRSC-5 digital radio stations using an RTL-SDR dongle (github.com/theori-io)

185 points

3 years ago

260.

PureScript: a statically typed language which compiles to JavaScript (github.com/purescript)

175 points

12 years ago

261.

Gixy: Nginx Configuration Static Analyzer (github.com/dvershinin)

174 points

a year ago

262.

Elsa: Emacs Lisp Static Analyzer (github.com/emacs-elsa)

173 points

7 years ago

263.

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

167 points

4 years ago

264.

GoKart: A static analysis tool for securing Go code (github.com/praetorian-inc)

166 points

5 years ago

265.

Ivy: a minimalist static site generator in Python (github.com/dmulholland)

164 points

9 years ago

266.

Pylyzer – A fast static code analyzer and language server for Python (github.com/mtshiba)

155 points

2 years ago

267.

Pyright: Static Type Checker for Python (github.com/microsoft)

152 points

3 years ago

268.

Show HN: IPFS-Deploy – Zero-Config CLI to Deploy Static Websites to IPFS (github.com/agentofuser)

150 points

7 years ago

269.

Aura – Python source code auditing and static analysis on a large scale (2022) (github.com/SourceCode-AI)

148 points

3 years ago

270.

Show HN: Makesite – A static site generator in 125 lines of Python (github.com/sunainapai)

146 points

8 years ago