Search: github.com/statico | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

241.

Prusti: Static Analyzer for Rust

github.com/viperproject

4 years ago

285 points

242.

Big list of HTTP static server one-liners

gist.github.com

5 years ago

282 points

243.

Publii: Open-source local WYSIWYG static site CMS

github.com/GetPublii

4 years ago

268 points

244.

Gixy: Nginx Configuration Static Analyzer

github.com/yandex

9 years ago

265 points

245.

Show HN: Bolt – A super-fast, statically-typed scripting language written in C

github.com/Beariish

10 months ago

261 points

246.

Carp – A statically typed Lisp, without a GC, for real-time applications

github.com/carp-lang

5 years ago

259 points

247.

Tao: A statically-typed functional language

github.com/zesterer

4 years ago

257 points

248.

Oasis: a small statically-linked Linux system

github.com/oasislinux

6 years ago

252 points

249.

A statically typed scripting language that transpiles to Posix sh

github.com/cotowali

4 years ago

251 points

250.

Time Station Emulator

github.com/kangtastic

5 months ago

241 points

251.

Show HN: I built an open-source web hosting platform for static sites

github.com/symkat

4 years ago

217 points

252.

Pyright: Static type checker for Python

github.com/Microsoft

7 years ago

214 points

253.

Show HN: A free, lightweight static page to get stock quotes using the IEX API

github.com/toddwschneider

8 years ago

207 points

254.

Gluon – A static, type-inferred and embeddable language written in Rust

github.com/gluon-lang

8 years ago

203 points

255.

Carp: A statically typed Lisp, without a GC, for real-time applications

github.com/carp-lang

8 years ago

202 points

256.

Semgrep: Lightweight static analysis for many languages

github.com/returntocorp

6 years ago

202 points

257.

Carp: a statically typed lisp, without a GC, for high performance applications

github.com/eriksvedang

10 years ago

196 points

258.

Show HN: The static, static site generator

github.com/xeoncross

12 years ago

187 points

259.

Nrsc5: Receive NRSC-5 digital radio stations using an RTL-SDR dongle

github.com/theori-io

3 years ago

185 points

260.

PureScript: a statically typed language which compiles to JavaScript

github.com/purescript

12 years ago

175 points

261.

Gixy: Nginx Configuration Static Analyzer

github.com/dvershinin

a year ago

174 points

262.

Elsa: Emacs Lisp Static Analyzer

github.com/emacs-elsa

7 years ago

173 points

263.

Erg: a statically typed language that is Python compatible

github.com/erg-lang

4 years ago

167 points

264.

GoKart: A static analysis tool for securing Go code

github.com/praetorian-inc

5 years ago

166 points

265.

Ivy: a minimalist static site generator in Python

github.com/dmulholland

9 years ago

164 points

266.

Pylyzer – A fast static code analyzer and language server for Python

github.com/mtshiba

2 years ago

155 points

267.

Pyright: Static Type Checker for Python

github.com/microsoft

3 years ago

152 points

268.

Show HN: IPFS-Deploy – Zero-Config CLI to Deploy Static Websites to IPFS

github.com/agentofuser

7 years ago

150 points

269.

Aura – Python source code auditing and static analysis on a large scale (2022)

github.com/SourceCode-AI

3 years ago

148 points

270.

Show HN: Makesite – A static site generator in 125 lines of Python

github.com/sunainapai

8 years ago

146 points