Online Z3 Guide (microsoft.github.io) | HN Screenshots

YHacker Newsscreenshots

Screenshot of microsoft.github.io: Online Z3 Guide

First screen, captured 1 month ago.

Looks similar

Screenshot of kysely.dev: Show HN: Kysely, a type-safe SQL query builder for TypeScript

Show HN: Kysely, a type-safe SQL query builder for TypeScript (kysely.dev)

80 points by fernandohur 3 years ago | 41 comments

Screenshot of neutralino.js.org: Neutralinojs – Build lightweight cross-platform desktop apps with JavaScript

Neutralinojs – Build lightweight cross-platform desktop apps with JavaScript (neutralino.js.org)

106 points by thekode 3 years ago | 69 comments

Screenshot of learn.yjs.dev: Learn Yjs Interactively

Learn Yjs Interactively (learn.yjs.dev)

293 points by paulgb 1 year ago | 40 comments

Screenshot of atopile.io: Atopile – build electronic circuit boards from code

Atopile – build electronic circuit boards from code (atopile.io)

39 points by PaulHoule 2 years ago | 2 comments

Screenshot of snap.berkeley.edu: λ Snap – An inviting programming language for kids and adults for CS study

λ Snap – An inviting programming language for kids and adults for CS study (snap.berkeley.edu)

176 points by dr_kiszonka 1 month ago | 112 comments

Screenshot of llvm-mos.org: LLVM-MOS – Clang LLVM fork targeting the 6502

LLVM-MOS – Clang LLVM fork targeting the 6502 (llvm-mos.org)

132 points by jdmoreira 11 months ago | 59 comments