Tuesday, October 27, 2026 Today’s Paper
Log in Join free
Vol. I · No. 29 Texas Edition
Tuesday, Oct 27
Xultr
Texas first. Then the world.
Always free Updated 2 minutes ago
Read. React. Discuss.
Tech

A tiny Python library/DSL to construct Python formal models

Hacker News (Newest) By caotic123 0 views 0 comments
A tiny Python library/DSL to construct Python formal models
Image: Hacker News (Newest)

Article URL: https://github.com/caotic123/PyMagic/

Comments URL: https://news.ycombinator.com/item?id=50239960

Points: 1

# Comments: 1

Hacker News (Newest) Original story · github.com
Read the full story
How does this story make you feel?
👍 ❤️ 💡 😮 😂 😢 😠

Discussion (0)

No comments yet. Start the conversation!

More to read