HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
541.
▲
Show HN: Generate cli code in Go using static analysis
github.com/buchanae
1 comment
8 years ago
buchanae
4 points
542.
▲
Mypy: Optional static typing for Python
github.com/python
1 comment
10 years ago
ryannevius
4 points
543.
▲
Ravi: Lua with Static Typing and LLVM/libgccjit JIT
github.com/dibyendumajumdar
1 comment
10 years ago
vmorgulis
4 points
544.
▲
Show HN: Kamber - Static Blog Server on Crystal Language and Kemal Web Framework
github.com/f
1 comment
11 years ago
fka
4 points
545.
▲
CodeChecker: a static analysis infrastructure built on Clang Static Analyzer
github.com/Ericsson
discuss
11 years ago
ingve
4 points
546.
▲
Show HN: Flux for react with static app links checker
github.com/hackhat
discuss
11 years ago
hackhat
4 points
547.
▲
JSPrime: A Javascript static security analysis tool
github.com/dpnishant
discuss
13 years ago
raldu
4 points
548.
▲
Show HN: A native port of Skate 3 for Windows & Linux via static recompilation
github.com/mchughalex
discuss
20 days ago
turingfeel
4 points
549.
▲
Show HN: Static-allocation MLP inference in ANSI C using a 2-slot ring buffer
github.com/GiorgosXou
discuss
a month ago
xou
4 points
550.
▲
Show HN: DD Photos – static photo albums, now with Docker and 1-command deploy
ddphotos.donohoe.info
discuss
2 months ago
dougdonohoe
4 points
551.
▲
Zensical: A modern static site generator by the Material for MkDocs team
github.com/zensical
discuss
6 months ago
saikatsg
4 points
552.
▲
Show HN: Soffio – a Rust blog/CMS with static pages and an admin UI
github.com/xfyyzy
discuss
7 months ago
xfyyzy
4 points
553.
▲
A Rails-based static site generator
github.com/Rails-Designer
discuss
8 months ago
railsdesigner
4 points
554.
▲
Spent an hour or so working with Claude to write a static web server in COBOL
github.com/jmsdnns
discuss
9 months ago
jmsdnns
4 points
555.
▲
Nimalyzer – Static code analyzer for Nim
github.com/thindil
discuss
10 months ago
TheWiggles
4 points
556.
▲
Show HN: Publican – an HTML-first static site generator for Node.js
publican.dev
discuss
a year ago
ceeb
4 points
557.
▲
Show HN: Skylos. Yet another static code analyzer
github.com/duriantaco
discuss
a year ago
duriantaco
4 points
558.
▲
Neva: Dataflow programming language with static types and implicit parallelism
github.com/nevalang
discuss
2 years ago
donatzsky
4 points
559.
▲
I've been working on a borrow checker for C (also statically makes sure `fre
gist.github.com
discuss
2 years ago
todsacerdoti
4 points
560.
▲
Poor Man's Package Manager (Only Statically Linked Binaries)
github.com/xplshn
discuss
2 years ago
todsacerdoti
4 points
561.
▲
Show HN: Hatsu – Self-Hosted ActivityPub Bridge for Static Sites
github.com/importantimport
discuss
2 years ago
kwaa
4 points
562.
▲
Httpd2: A Static File Webserver
github.com/cbiffle
discuss
2 years ago
PaulHoule
4 points
563.
▲
Formal specifications and static checking of interfaces in Julia
github.com/Keno
discuss
3 years ago
amkkma
4 points
564.
▲
Statically link Swift runtime libraries by default on supported platforms
github.com/apple
discuss
3 years ago
dcgudeman
4 points
565.
▲
Coalton: Statically typed functional language that supercharges Common Lisp
github.com/coalton-lang
discuss
3 years ago
dunefox
4 points
566.
▲
An Xcode project template for statically-linked iOS Frameworks
github.com/kstenerud
discuss
15 years ago
fpotter
4 points
567.
▲
Finally a build system with a statically typed language
github.com/rochus-keller
discuss
4 years ago
hollimolli
4 points
568.
▲
Decompiler Explorer – Compare tools on the forefront of static analysis
github.com/decompiler-explorer
discuss
4 years ago
mmmmkay
4 points
569.
▲
Statically Checked SQL for F#
github.com/fsprojects
discuss
4 years ago
pkilgore
4 points
570.
▲
Show HN: Kawipiko – fast static HTTP server
github.com/volution
discuss
5 years ago
ciprian_craciun
4 points
More