The Rules of Margin Collapse

• Cassius

  5 90 0.0 Racket

  A CSS specification and reasoning engine

  

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

• ardour

  171 3,623 9.9 C++

  Mirror of Ardour Source Code

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. 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.

  

Suggest a related project