Show HN: AutoLISP interpreter in Rust/WASM – a CAD workflow invented 33 yrs ago
(acadlisp.de)
40 points
19
Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines
(github.com)
35 points
5
Show HN: Twine – A tool to dynamically trace calls in production Elixir systems
(github.com)
2 points
0
Show HN: A small embeddable and hackable Lisp-2 interpreter in C
(github.com)
2 points
0
Show HN: Gaming Couch – a local multiplayer party game platform for 8 players
(gamingcouch.com)
361 points
106
Show HN: GeneGuessr – a daily biology web puzzle
(geneguessr.brinedew.bio)
72 points
15
Show HN: Witr – Explain why a process is running on your Linux system
(github.com)
3 points
1
Show HN: QBridge, a clean, modern iOS alternative to Cordova and Capacitor
(github.com)
2 points
2
Show HN: Web CLI – Browser-based terminal with multi-tab support
(github.com)
3 points
0
Show HN: Private blogging and journaling with a simulated audience
(tempblog-psi.vercel.app)
38 points
39
Load More Posts
From Intent to Proof: Dafny Verification for Web Apps
OP
by
namin
today at 3:45 PM
3 points
midspiral.com
Comments
Loading comments...