HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Verdant: Storage, sync and realtime for local-first web apps
github.com/a-type
discuss
2 years ago
meiraleal
1 points
2.
▲
Show HN: open source framework for building nanoservices
discuss
a year ago
DGrechko
4 points
3.
▲
Show HN: Tsynamo – Type-friendly DynamoDB query builder for TypeScript
github.com/woltsu
discuss
2 years ago
woltsuu
1 points
4.
▲
Show HN: Advanced Chunking in JavaScript/TypeScript with Chonkie
6 comments
a year ago
snyy
10 points
5.
▲
Show HN: Srcbook – A TypeScript notebook for rapid prototyping
github.com/srcbookdev
50 comments
2 years ago
nichochar
267 points
6.
▲
Sparks: A typeface for creating sparklines in text without code
github.com/aftertheflood
32 comments
6 years ago
boredgamer2
203 points
7.
▲
Vapor: a type-safe web framework for Swift
github.com/tannernelson
70 comments
10 years ago
elithrar
200 points
8.
▲
Hack – A typeface designed for source code
github.com/source-foundry
132 comments
9 years ago
0x4542
174 points
9.
▲
Daktilo: Turn Your Keyboard into a Typewriter
github.com/orhun
60 comments
3 years ago
orhunp
155 points
10.
▲
APL compiler targeting a typed array intermediate language
github.com/melsman
29 comments
10 years ago
Athas
123 points
11.
▲
Mirth – a type-safe concatenative purely functional programming language
github.com/mirth-lang
73 comments
7 years ago
agentofuser
119 points
12.
▲
Show HN: Ezno, a TypeScript checker written in Rust, is now open source
github.com/kaleidawave
24 comments
3 years ago
kaleidawave
113 points
13.
▲
What I Want from a Type System (2016)
gist.github.com
103 comments
7 years ago
grzm
106 points
14.
▲
Eqwalizer: A Type-Checker for Erlang
github.com/WhatsApp
11 comments
4 years ago
hasheddan
86 points
15.
▲
Show HN: Rhine – A typed Elixir-inspired language on LLVM
github.com/artagnon
16 comments
10 years ago
artagnon
81 points
16.
▲
Ripple – A TypeScript UI framework that takes the best of React, Solid, Svelte
github.com/trueadm
68 comments
10 months ago
ermeen
80 points
17.
▲
The compiler for Teal, a typed dialect of Lua
github.com/teal-language
22 comments
5 years ago
harporoeder
77 points
18.
▲
Show HN: Pickaxe – A TypeScript library for building AI agents
github.com/hatchet-dev
26 comments
a year ago
abelanger
70 points
19.
▲
Hamlet: A type-safe Haml template engine for Go
github.com/stackus
40 comments
2 years ago
stackus
58 points
20.
▲
Sparks – A typeface for creating sparklines in text without code
github.com/aftertheflood
28 comments
a year ago
OuterVale
55 points
21.
▲
MiniLang: A type-safe C successor that compiles directly to x86_64 assembly
github.com/NICUP14
56 comments
3 years ago
NICUP14
53 points
22.
▲
Let's make a "type the code listings" book for kids.
github.com/napcs
33 comments
16 years ago
bphogan
39 points
23.
▲
A type-safe, intuitive Go SDK for building MCP servers with ease and confidence
github.com/ktr0731
9 comments
a year ago
ktr0731
38 points
24.
▲
Sqlpp11 – A type safe SQL template library for C++
github.com/rbock
10 comments
12 years ago
paulkoer
28 points
25.
▲
bolt-ts: A TypeScript Compiler Implemented in Rust
github.com/bvanjoi
5 comments
8 months ago
bpierre
16 points
26.
▲
DocNode: A TypeScript OT library for local-first apps
github.com/docnode
10 comments
7 months ago
GermanJablo
12 points
27.
▲
Show HN: Selectric Mode – Make Emacs sound like a typewriter
github.com/rbanffy
3 comments
11 years ago
rbanffy
10 points
28.
▲
Show HN: Scaledger, a double-entry accounting database with a typed GraphQL API
github.com/affiga
discuss
6 years ago
joshuakelly
10 points
29.
▲
Show HN: ts-prune – Find unused exports in a TypeScript project
github.com/nadeesha
2 comments
7 years ago
lunarcave
8 points
30.
▲
I built a type-safe .NET casting library powered by AI
github.com/Zorokee
1 comment
a year ago
zorokee
8 points
More