HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: Type-safe RESTful framework for fullstack with zero dependency
github.com/withtyped
1 comment
4 years ago
pseudopuppet
1 points
2.
▲
Show HN: withtyped – write SQL-in-TS and get 4 tailored dev engines
github.com/withtyped
discuss
4 years ago
pseudopuppet
1 points
3.
▲
Hazel: A live functional programming environment with typed holes
github.com/hazelgrove
16 comments
a year ago
azhenley
73 points
4.
▲
HN Research Agent (Fenic and PydanticAI) with typed, citation-backed answers
github.com/typedef-ai
discuss
8 months ago
Stephen_Oladele
12 points
5.
▲
Ollama Holes: Haskell Source with Typed Holes
github.com/Tritlo
discuss
a year ago
mcbuilder
4 points
6.
▲
Show HN: An opinionated TS package build toolchain with typed configuration
github.com/pkg-tools
discuss
2 years ago
crowprose
4 points
7.
▲
Claude Code plugin for LLM research with typed claims and conflict detection
github.com/grainulation
discuss
2 months ago
volatilityfund
3 points
8.
▲
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
1 comment
5 months ago
rksart
2 points
9.
▲
Mnemos – Open-source memory layer with typed conflict resolution for AI agents
github.com/Sohamp2809
discuss
3 months ago
Soham2809
2 points
10.
▲
Flask with typed auto-documentation, inspired by FastAPI
github.com/ironslob
discuss
5 years ago
ironslob
2 points
11.
▲
Show HN: Synchrotron, a real-time DSP engine in pure Python
synchrotron.thatother.dev
5 comments
10 months ago
andromedaM31
82 points
12.
▲
Show HN: Comfy Nodekit – build/serialize ComfyUI workflows in Python
github.com/katalist-ai
4 comments
8 months ago
zkanda
11 points
13.
▲
Show HN: InsForge – A Postgres BaaS built for prompt-driven development
insforge.dev
discuss
7 months ago
tonychang430
7 points
14.
▲
Show HN: Memoriki – LLM Wiki+MemPalace for persistent personal knowledge bases
discuss
2 months ago
Aianback
5 points
15.
▲
Show HN: Agd – a content-addressed DAG for tracking what AI agents do
github.com/frontman-ai
2 comments
4 months ago
BlueHotDog2
4 points
16.
▲
Show HN: Colnade – Type-Safe DataFrames for Python
github.com/jwde
1 comment
4 months ago
jwde
3 points
17.
▲
Show HN: Astro MD Editor – Schema-aware editor for Astro content collections
github.com/bimsina
discuss
3 months ago
bimsina
2 points
18.
▲
Show HN: Simple – a bytecode VM and language stack I built with AI
github.com/JJLDonley
discuss
4 months ago
tangjiehao
2 points
19.
▲
Show HN: Vix.cpp v1.17.0 – Production-grade web back end examples in modern C++
discuss
6 months ago
gkirira
2 points
20.
▲
Show HN: Give LLMs TypeScript tools without writing MCP servers
github.com/jx-codes
discuss
9 months ago
jmcodes
2 points
21.
▲
Show HN: TypedFunc - Create Typed Arguments & Functions in JavaScript
github.com/christopherdebeer
discuss
14 years ago
iambot
2 points
22.
▲
OpenForgeAI – Production agentic architecture I used to build a SaaS alone
1 comment
4 months ago
openforgeai
1 points
23.
▲
Show HN: Hyperterse – a super fast runtime to connect your data to your agents
github.com/hyperterse
1 comment
5 months ago
samrith
1 points
24.
▲
Show HN: Claude Agent SDK for Laravel – Build AI Agents with Claude Code in PHP
github.com/mohamed-ashraf-elsaed
discuss
4 months ago
mohamedelsaed
1 points
25.
▲
Brain file format for AI agents – one file, any LLM, sub-millisecond queries
discuss
4 months ago
morshola
1 points
26.
▲
Show HN: Safe-fetch – fetch() without try/catch
github.com/Asouei
discuss
10 months ago
asouei
1 points
27.
▲
Launch HN: Lunatic (YC W21) – An Erlang Inspired WebAssembly Platform
39 comments
5 years ago
withtypes
162 points
28.
▲
Show HN: WireTyped – typed, error-first HTTP client for fetch
github.com/kasperrt
discuss
6 months ago
kasperrt
2 points