Search: github.com/kframework | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Semantics of C in K Framework

github.com/kframework

6 years ago

48 points

2.

KJS: A Complete Formal Semantics of JavaScript

github.com/kframework

7 months ago

18 points

3.

K Semantics of the Ethereum Virtual Machine (EVM)

github.com/kframework

9 years ago

2 points

4.

Unity3D Full-Stack Framework， Including ExcelEngine/LuaEngine/ResourceEngine

github.com/mr-kelly

6 years ago

1 points

5.

Jazzy – Productive, Developer-Friendly Web Framework for Nim

github.com/canermastan

a day ago

3 points

6.

Show HN: Talos – Open-source WASM interpreter for Lean

github.com/cajal-technologies

4 days ago

105 points

7.

LazyOwn RedTeam Framework

github.com/grisuno

9 days ago

2 points

8.

Show HN: Flox 1.0 – Open-source dev env as code with Nix

github.com/flox

2 years ago

382 points

9.

Show HN: Persona.js – a vanilla-JS agent UI library with native WebMCP (MIT)

persona-chat.dev

2 days ago

12 points

10.

Show HN: Quikdown – 17 KB bidirectional Markdown parser and rich-fence editor

github.com/deftio

a day ago

4 points

11.

Show HN: Wirewright, an experimental symbolic physics environment

github.com/wirewright

15 hours ago

3 points

12.

Show HN: Pure Effect – Reproduce production bugs on your laptop without a DB

pure-effect.org

a day ago

2 points