Cassius

A CSS specification and reasoning engine (by uwplse)

Cassius Alternatives

Similar projects and alternatives to Cassius

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Cassius alternative or higher similarity.

Cassius reviews and mentions

Posts with mentions or reviews of Cassius. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-09-12.
  • The Rules of Margin Collapse
    2 projects | news.ycombinator.com | 12 Sep 2023
    FWIW, while there are unfortunately only very few attempts at formalizing CSS, there's at least an unofficial, unreviewed (?), partial formal semantics for (CSS 2-era) float layout based on z3 SMT and 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

  • W3C’s transfer from MIT to non-profit going poorly
    6 projects | /r/programming | 19 Dec 2022
    Do we need W3C anymore? The HTML 5 specification has been created by WHATWG for many years now, with W3C only rubber-stamping historic WHATWG versions until 2017 or so. SVG2 is going nowhere, and so isn't MathML, leaving the CSS working group as W3C's remaining point of influence over the Web. CSS is regarded as so poor and overdone a specification that the only two external projects for a formal specification have failed or remained woefully incomplete (1, 2).
  • Is There Too Much CSS Now?
    4 projects | news.ycombinator.com | 7 Nov 2022
    1. CSS should've been split into app-y styles and doc-y styles a looong time ago; meaning that when you need JavaScript to make use of a feature anyway, there's no point in using CSS and it's better to set styles, layout using JavaScript rather than bloat CSS. The Houdini API was on the right track years ago.

    2. The CSS WG at W3C must deliver formal specification rather than the prose they're writing up now. For an idea how a (partial) formal spec for CSS rendering looks like, see eg. [1], [2] (with limitations).

    The one way complexity that both W3C and WHATWG have delivered over the past 15 years with complete lack of mental discipline due to financial dependency/job security will be a major source of confusion for generations to cone, and will not be looked at favorably.

    [1]: https://github.com/uwplse/cassius

    [2]: https://github.com/lmeyerov/sc

  • Verifying GCC optimizations using an SMT solver
    2 projects | news.ycombinator.com | 4 Nov 2022
    There's this cool project using z3 (and racket) for formalizing CSS rendering [1] I never came around to lift for anything. Maybe someone else interested in leading 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

  • Ladybird: A new cross-platform browser project
    19 projects | news.ycombinator.com | 12 Sep 2022
    FWIW, I know two (partial, kinda) formal specifications of CSS normal flow and float layout, both of which are finished 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 covers table layout, whereas the second is a Racket (Scheme) program to formulate the HTML doc and CSS rules as a theory for submitting to z3 SMT to solve all kinds of decision problems (it can also produce a rendering).

    Not sure that's very helpful; it would be cool if W3C can invest some time into better specs (not just prose).

  • A note from our sponsor - InfluxDB
    www.influxdata.com | 28 Mar 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Stats

Basic Cassius repo stats
5
90
0.0
about 1 year ago

uwplse/Cassius is an open source project licensed under MIT License which is an OSI approved license.

The primary programming language of Cassius is Racket.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com