Litex: The First Formal Language Learnable in 1-2 Hours (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Litex: The First Formal Language Learnable in 1-2 Hours

First screen, captured 1 year ago.

Looks similar

Screenshot of github.com: Show HN: AGL a toy language that compiles to Go

Show HN: AGL a toy language that compiles to Go (github.com)

65 points by alain_gilbert 1 year ago | 12 comments

Screenshot of github.com: Show HN: Talos – Open-source WASM interpreter for Lean

Show HN: Talos – Open-source WASM interpreter for Lean (github.com)

78 points by mfornet 4 months ago | 20 comments

Screenshot of github.com: Lexy: A parser combinator library for C++17

Lexy: A parser combinator library for C++17 (github.com)

59 points by klaussilveira 1 year ago | 8 comments

Screenshot of github.com: Show HN: CodingFox – Open-Source AI Code Review Tool That Works Like Magic

Show HN: CodingFox – Open-Source AI Code Review Tool That Works Like Magic (github.com)

14 points by sunny-beast 1 year ago | 4 comments

Screenshot of github.com: Lumina – a statically typed web-native language for JavaScript and WASM

Lumina – a statically typed web-native language for JavaScript and WASM (github.com)

52 points by light_ideas 6 months ago | 20 comments

Screenshot of github.com: SDL-based Lua programming environment for kids similar to Codea

SDL-based Lua programming environment for kids similar to Codea (github.com)

109 points by kristianp 2 years ago | 36 comments