Agda-life Alternatives
Similar projects and alternatives to agda-life
-
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.
-
-
-
Cellular-Automatons
This repository focuses on studying and showcasing interesting patterns emerging from simple rules random motion algorithms. It contains a Conway's Game of life made in Python and a second algorithm for an animation of random walk algorithms on a 2D plane.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
agda-life reviews and mentions
-
Learn Go by writing tests – Hello, world (2018)
https://github.com/fzipp/agda-life/blob/18dda7f45541d2e8f47c...
Sure, they are validated at compile time because they are propositions as types, but in the end they are still basically test cases: expected output for given input, and the compiler is the test runner.
I don't know how to encode the full "Game of Life" property as dependent types, I am still an Agda newbie.
Stats
fzipp/agda-life is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.
The primary programming language of agda-life is Agda.
Popular Comparisons
Sponsored