Linking pages
- February ’19 Update. It’s update-o-clock somewhere, and that… | by Olivier Biggs | GET Protocol | Medium https://medium.com/@olivier_GET/update-february-19-6652f95efac5 27 comments
- Fun with Categories. In the past years there’s been a lot of… | by Marco Perone | Statebox https://blog.statebox.org/fun-with-categories-70c64649b8e0 3 comments
- GitHub - statebox/awesome-applied-ct: ACT community resources https://github.com/statebox/awesome-applied-category-theory 2 comments
- GitHub - ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry https://github.com/ligurio/practical-fm 1 comment
- GitHub - statebox/cql: CQL: Categorical Query Language implementation in Haskell https://github.com/statebox/cql 0 comments
- DApp Survey Results 2019. Current state and the future of DApps | by Evgeny Ponomarev | Fluence Labs | Medium https://medium.com/fluence-network/dapp-survey-results-2019-a04373db6452 0 comments