Hacker GitHub

← All repos

uwplse/Cassius

View on GitHub ↗ ★ 102 Racket

A CSS specification and reasoning engine

4 mentions on Hacker News by 1 person: 0 stories, 4 comments · first 2022-09-12 · latest 2023-09-12

Mentions per year 4 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …Racket you can take a look at to get a flavor, though it isn't receiving further development. [1]: https://github.com/uwplse/cassius [2]: https://pavpanchekha.com/blog/css-floats.html
    comment by tannhaeuser · 2023-09-12 · in The Rules of Margin Collapse
  2. …be a major source of confusion for generations to come, and will not be looked at favorably. [1]: https://github.com/uwplse/cassius [2]: https://github.com/lmeyerov/sc
    comment by tannhaeuser · 2022-11-07 · in Is there too much CSS now?
  3. …the web out of the dark ages and give W3C's CSS WG an idea what we expect from them will. [1]: https://github.com/uwplse/cassius
    comment by tannhaeuser · 2022-11-04 · in Verifying GCC optimizations using an SMT solver
  4. …ie dead projects: [1]: https://lmeyerov.github.io/projects/pbrowser/pubfiles/paper.... [2]: https://github.com/uwplse/cassius (not counting the 1990s constraint CSS effort). The first was merely part of a parallel compiler project and also…
    comment by tannhaeuser · 2022-09-12 · in Ladybird: A new cross-platform browser project