HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
61.
▲
Postguard: Statically validate PG SQL queries and derive schemas
github.com/andywer
1 comment
2 years ago
surprisetalk
2 points
62.
▲
Coalton is an efficient, statically typed functional programming language
github.com/coalton-lang
1 comment
4 years ago
michaelwm
2 points
63.
▲
Jo is a statically typed language that enables compile-time sandboxing
github.com/typescope
discuss
11 days ago
rickcarlino
2 points
64.
▲
Geblang 1.15 – the ergonomic, statically typed language
github.com/dwgebler
discuss
13 days ago
dwgebler
2 points
65.
▲
Show HN: Lumina – a statically typed web-native language for JavaScript and WASM
github.com/nyigoro
discuss
3 months ago
light_ideas
2 points
66.
▲
Loft – a statically typed language where null propagates instead of crashes
github.com/jjstwerff
discuss
3 months ago
jjstwerff
2 points
67.
▲
Borgo: A statically typed language that compiles to Go
github.com/borgo-lang
discuss
7 months ago
thunderbong
2 points
68.
▲
SATySFi: A statically-typed, functional typesetting system
github.com/gfngfn
discuss
a year ago
Bogdanp
2 points
69.
▲
Show HN: I built a library to host your Next.js app statically on S3/CloudFront
github.com/zdenham
discuss
2 years ago
zdenham
2 points
70.
▲
Static-PHP-CLI: Tool to Compile a Statically Linked PHP Binary
github.com/crazywhalecc
discuss
3 years ago
donatj
2 points
71.
▲
Statically recompiling CHIP8 using LLVM
github.com/ioncodes
discuss
5 years ago
azhenley
2 points
72.
▲
Staticpython: Statically linked Python by making it one big C file
github.com/pts
discuss
6 years ago
pcr910303
2 points
73.
▲
Gleam – A Statically Typed Functional Programming Language for the Erlang VM
github.com/gleam-lang
discuss
7 years ago
pcr910303
2 points
74.
▲
Show HN: Statically parse dependency trees of JavaScript and TypeScript projects
github.com/jviotti
discuss
8 years ago
jviotti
2 points
75.
▲
Statically-typed classes in JavaScript with defend.js
github.com/AshleyScirra
discuss
9 years ago
AshleysBrain
2 points
76.
▲
Bun single, statically-linked musl binary
github.com/oven-sh
1 comment
a month ago
1vuio0pswjnm7
1 points
77.
▲
Interactive art in a new statically typed, gc-less lisp dialect called xtlang
vimeo.com
discuss
13 years ago
jbanon
1 points
78.
▲
Coalton: Efficient, statically typed functional programming language
github.com/coalton-lang
discuss
4 months ago
tosh
1 points
79.
▲
El-init – A statically compiled Emacs init PID1 patchset and service supervisor
github.com/emacs-os
discuss
4 months ago
telecommuter
1 points
80.
▲
Foreign-dlopen: load dynamic libraries into a statically-linked executable
github.com/pfalcon
discuss
7 months ago
fanf2
1 points
81.
▲
Statically typed, coroutine based, algebraic effects in Python
github.com/suned
discuss
8 months ago
sunedd
1 points
82.
▲
Mochi is a small, statically typed programming language
github.com/mochilang
discuss
a year ago
mooreds
1 points
83.
▲
A statically typed functional programming language that supercharges Common Lisp
github.com/coalton-lang
discuss
4 years ago
dunefox
1 points
84.
▲
SR: Project to statically recompile DOS and Windows games
github.com/M-HT
discuss
4 years ago
retro_guy
1 points
85.
▲
Run native, statically-compiled apps on any embedded platform, using WebAssembly
github.com/vshymanskyy
discuss
5 years ago
nopakos
1 points
86.
▲
Application execution environment for statically-linked RISC-V ELF binaries
github.com/riscv
discuss
7 years ago
eatonphil
1 points
87.
▲
Grit: Markdown editor for statically generated blogs
github.com/kahlil
discuss
7 years ago
ingve
1 points
88.
▲
Matchkin: Statically checked exhaustive matching for TypeScript
github.com/jviide
discuss
8 years ago
posthoctorate
1 points
89.
▲
A statically typed lisp, without a GC, for real-time applications
github.com/carp-lang
discuss
8 years ago
tosh
1 points
90.
▲
Next.js: Framework for server-rendered or statically-exported React apps
github.com/zeit
discuss
8 years ago
tekromancr
1 points
More