Search: github.com/kframework | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Semantics of C in K Framework (github.com/kframework)

48 points

5 years ago

2.

KJS: A Complete Formal Semantics of JavaScript (github.com/kframework)

18 points

6 months ago

3.

K Semantics of the Ethereum Virtual Machine (EVM) (github.com/kframework)

2 points

9 years ago

4.

Unity3D Full-Stack Framework， Including ExcelEngine/LuaEngine/ResourceEngine (github.com/mr-kelly)

1 point

6 years ago

5.

Alloy: Code/SDK Generation Framework (github.com/alloy-framework)

1 point

17 days ago

6.

Nim-Presto – REST API Framework for Nim Language (2024) (github.com/status-im)

56 points

19 days ago

7.

Skybridge – the MCP Apps framework released v1.0 (github.com/alpic-ai)

6 points

17 days ago

8.

Show HN: A framework for building hackable applications (github.com/zenbu-labs)

3 points

16 days ago

9.

AgentVoy – The create-react-app for AI agents (7 frameworks, deploy anywhere) (github.com/agentvoy)

3 points

17 days ago

10.

Vanilla FP: The no-framework framework for building component-based UIs (github.com/abuseofnotation)

2 points

17 days ago

11.

More Than Skills, Frameworks (github.com/mattpocock)

1 point

17 days ago

12.

Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks (github.com/antoinezambelli)

265 points

17 days ago

13.

Show HN: Full Python GUI apps in the browser – no JavaScript, no server (github.com/pthom)

29 points

a month ago

14.

Show HN: Claude Soul – cross-session learning engine for Claude Code

10 points

17 days ago

15.

Show HN: Korveo – a local firewall for AI agents (github.com/zistica)

1 point

16 days ago

16.

Show HN: FastBack end – schema-first back end runtime with OpenAPI output (github.com/darula-hpp)

1 point

16 days ago