PPDP18

Code from the paper / Declarative GUIs: Simple, Consistent, and Verified (by stephanadelsb)

PPDP18 Alternatives

Similar projects and alternatives to PPDP18

  • yew

    201 PPDP18 VS yew

    Rust / Wasm framework for creating reliable and efficient web applications

  • GeometricFlux.jl

    Geometric Deep Learning for Flux

  • InfluxDB

    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.

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

PPDP18 reviews and mentions

Posts with mentions or reviews of PPDP18. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-01-27.
  • OO in Python is mostly pointless
    3 projects | news.ycombinator.com | 27 Jan 2021
    > For example, GUI development. Surely nobody would want to do without having a Textbox, Button, inherit from a general Widget, and have all the methods like .enable(), .click(), and properties like enabled, events like on_click, etc.?

    Oh, god, I'd kill for a GUI toolkit that did away with that. It's all a hot mess, and a miracle that any GUIs actually work.

    That said, I'm not super inclined to learn Agda...[1][2]

    [1]: https://github.com/stephanadelsb/PPDP18

Stats

Basic PPDP18 repo stats
1
4
0.0
almost 6 years ago

The primary programming language of PPDP18 is HTML.


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