gopter
diem
Our great sponsors
| gopter | diem | |
|---|---|---|
| 3 | 15 | |
| 584 | 16,704 | |
| 0.9% | 0.1% | |
| 2.7 | 4.3 | |
| 26 days ago | 4 days ago | |
| Go | Rust | |
| MIT License | Apache License 2.0 |
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.
gopter
-
Property-Based Testing In Go
But others have found more ways to use this paradigm. If you want to learn more about property-based testing, then gopter, the GOlang Property TestER, is worth taking a look at. Amir Saeid, who’s good at this technique, recommends this book full of examples, and this blog.
I think gopter is more useful, for property-based testing.
-
Add experimental fuzz test support for Go 1.17
Does anyone have experience with Gopter, a Golang Property Based testing library? https://github.com/leanovate/gopter
diem
- Diem – Facebook open source Cryptocurrency written in Rust
- Zig, the Small Language
-
Fuzzcheck (a structure-aware Rust fuzzer)
I implemented this for proptest + cargo fuzz a while ago as well: https://github.com/diem/diem/blob/main/testsuite/diem-fuzzer/src/lib.rs
-
Are there any big projects written in Rust without any use of unsafe code?
I believe diem has over 250kLOC and no unsafe code
-
Crowdloans on Kusama continue. Important news!
Pontem is an experimental network for the Diem coin (previously the project had the designation LIBRA and has been under development for several years). The project site is diem.com.
- the diem coin will be built on a native Facenook Blockchain or is the hypothesis that it can be based on Algorand well founded and has a minimum of sense?
-
Async Rust: history strikes back
This is a common confusion for newcomers, as the keyword has a different (yet somewhat related) meaning depending on the context. Libra actually had a soundness bug because of confusion about this in combination with unsafe.
What are some alternatives?
go-fuzz - Randomized testing for Go
hyperspace - Metaverse Hyperspace Chain, Hybrid PoW/PoS consensus full node with EVM compatible VM and smart tokens(FT/NFT).
go - The Go programming language
go-concise-encoding - Golang implementation of Concise Binary and Text Encoding
csvquote
cardano-serialization-lib - This is a library, written in Rust, for serialization & deserialization of data structures used in Cardano's Haskell implementation of Alonzo along with useful utility functions.
trophy-case - 🏆 Collection of bugs uncovered by fuzzing Rust code
Demo
abstreet - Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit
cl-test-grid - Collaborative testing of Common Lisp libraries