Awesome List Updates on Aug 10, 2021
8 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Corda
Tools
- Corda Lean State - Generate Corda Contract and Persistent states from a simplified interface.
2. Awesome Geek Podcasts
In Portuguese
- Hackers Brasil - Podcast about hacking and cybersecurity
3. Awesome Coq
Projects / Package and Build Management
- coq-community Templates (⭐13) - Templates for generating configuration files for Coq projects.
- Docker-Coq GitHub Action - GitHub container action that can be used with Docker-Coq or Docker-MathComp.
Projects / Tools
- Alectryon (⭐264) - Collection of tools for writing technical documents that mix Coq code and prose.
Projects / Verified Software
- Ceramist (⭐123) - Verified hash-based approximate membership structures such as Bloom filters.
Resources / Tutorials and Hints
- MathComp Tutorial Materials (⭐17) - Source code for Mathematical Components tutorials.
4. Awesome Transit
GTFS Validators / Rust
- Transit App's gtfs-fares-v2-validator (⭐6) - A Python tool that validators GTFS-Fares-v2 data based on the draft specification.
5. Awesome Keycloak
Community Extensions
6. Awesome R Learning Resources
Books / Uncategorized
- Forecasting: Principles and Practice - This textbook is intended to provide a comprehensive introduction to forecasting methods and to present enough information about each method for readers to be able to use them sensibly. Authors: Rob J Hyndman and George Athanasopoulos.
7. Awesome Tmux
Tools and session management
- tmex (⭐110) A minimalist tmux layout manager
8. Awesome Ros2
Packages / Ecosystem
- Foxglove Studio (⭐39) - Integrated visualization and diagnosis tool for robotics.
Working Groups / Robotics Capture the Flag (RCTF)
- Hardware Acceleration Working Group
- Prev: Aug 11, 2021
- Next: Aug 09, 2021