agda-life
Conway's Game of Life in Agda. (by fzipp)
learn-go-with-tests
Learn Go with test-driven development (by quii)
Our great sponsors
| agda-life | learn-go-with-tests | |
|---|---|---|
| 1 | 30 | |
| 0 | 21,257 | |
| - | - | |
| 0.0 | 7.8 | |
| over 2 years ago | 3 days ago | |
| Agda | Go | |
| BSD 3-clause "New" or "Revised" License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
agda-life
Posts with mentions or reviews of agda-life.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-03-11.
-
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.
learn-go-with-tests
Posts with mentions or reviews of learn-go-with-tests.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-03-02.
-
[Go, Book Review] Learn Go with Tests by Chris James
There are not particularly bad parts. Overall the book is well written and organized. Moreover, Since it is also an open-source material, many readers have contributed to the contents of the book(including a few of mine :)). I hope there are more books like this for other languages such as Rust or Python.
- quii/learn-go-with-tests: Learn Go with test-driven development
-
Poke 2 Color and Tab Mini C
i.e using this free open source book Learn Gol with Tests
- Offline Resources for Learning Go
-
Please share programming/CS books and articles that use Go as examples(but not strictly about Go)
I really like Learn Go with tests. Not only is it a neat resource for learning Go, but it's great for getting a feeling for TDD.
-
Learn Go with Tests: Scaling acceptance tests (with a light intro to gRPC)
You can try viewing it on github instead https://github.com/quii/learn-go-with-tests/blob/main/scaling-acceptance-tests.md
- Consiglio letture e/o corsi sul TDD
-
From being confident to being professional
If you already know php and want to get professional in go, i suggest you take a look at https://github.com/quii/learn-go-with-tests
-
I’ve studied golang by solving algorithms, what do I have to learn next to land a job?
Learn some TDD: https://github.com/quii/learn-go-with-tests
-
Learn Go with Tests
Hi, author here.
The project is open-source (https://github.com/quii/learn-go-with-tests) so there's a few options available to you.
In releases, you'll find PDFs and epubs, I'm pretty sure most epub readers will let you use a dark mode. Or you can just read the markdown files on GitHub, which also supports it.