Awesome List Updates on Aug 10, 2021
11 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 Jax
Libraries
- Neural Network Libraries
- Flax - Centered on flexibility and clarity.
- Haiku - Focused on simplicity, created by the authors of Sonnet at DeepMind.
- Objax - Has an object oriented design similar to PyTorch.
- Elegy - A High Level API for Deep Learning in JAX. Supports Flax, Haiku, and Optax.
- Trax - "Batteries included" deep learning library focused on providing solutions for common workloads.
- Jraph - Lightweight graph neural network library.
- Neural Tangents - High-level API for specifying neural networks of both finite and infinite width.
- HuggingFace - Ecosystem of pretrained Transformers for a wide range of natural language tasks (Flax).
- Equinox - Callable PyTrees and filtered JIT/grad transformations => neural networks in JAX.
- Scenic - A Jax Library for Computer Vision Research and Beyond.
4. Awesome Coq
Projects / Package and Build Management
- coq-community Templates (⭐12) - 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 (⭐226) - Collection of tools for writing technical documents that mix Coq code and prose.
Projects / Verified Software
- Ceramist (⭐122) - Verified hash-based approximate membership structures such as Bloom filters.
Resources / Tutorials and Hints
- MathComp Tutorial Materials (⭐17) - Source code for Mathematical Components tutorials.
5. Public Apis
Cloud Storage & File Sharing
API: Web3 Storage
Description: File Sharing and Storage for Free with 1TB Space
Auth:
apiKey
HTTPS: Yes
CORS: Yes
Postman:
6. Awesome Transit
GTFS Validators / Ruby
- Transit App's gtfs-fares-v2-validator (⭐6) - A Python tool that validators GTFS-Fares-v2 data based on the draft specification.
7. Awesome Keycloak
Community Extensions
8. 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.
9. Awesome Rust
Applications
- MaidSafe - A decentralized platform.
Applications / Blockchain
- Bitcoin Satoshi's Vision (⭐61) [sv] - A library for working with Bitcoin SV.
- hdwallet (⭐33) [hdwallet] - BIP-32 HD wallet related key derivation utilities.
- infincia/bip39-rs (⭐54) [bip39] - Implementation of BIP39.
Applications / Database
- noria (⭐5k) [noria] - Dynamically changing, partially-stateful data-flow for web application backends
Applications / System tools
- buster/rrun (⭐113) - A command launcher for Linux, similar to gmrun
Applications / Text processing
- whitfin/bytelines (⭐59) [bytelines] - Read input lines as byte slices for high efficiency.
Libraries / Astronomy
- flosse/rust-sun (⭐46) [sun] - A rust port of the JS library suncalc
Libraries / Computation
- GSL
- GuillaumeGomez/rust-GSL (⭐189) - GSL bindings
Libraries / Database
Libraries / Distributed systems
- HDFS
- hyunsik/hdfs-rs (⭐33) [hdfs] - libhdfs bindings
Libraries / Encoding
- HAR
- mandrean/har-rs (⭐41) [har] - A HTTP Archive Format (HAR) serialization & deserialization library
- YAML
- chyh1990/yaml-rust (⭐601) - The missing YAML 1.2 implementation.
- dtolnay/serde-yaml (⭐950) [serde_yaml] - YAML support for Serde (⭐8.9k) framework
- vitiral/stfu8 (⭐26) [stfu8] - Sorta Text Format in UTF-8
Libraries / Network programming
- NNTP
- mattnenterprise/rust-nntp (⭐17) [nntp] - an NNTP client
- POP3
- mattnenterprise/rust-pop3 (⭐31) [pop3] - A POP3 client
Libraries / Parsing
- nrc/zero (⭐47) [zero] - zero-allocation parsing of binary data
Libraries / Platform specific
- FreeBSD
- fubarnetes/libjail-rs (⭐49) [jail] - FreeBSD jail library
Libraries / Scripting
- rhaiscript/rhai (⭐3.7k) - A tiny and fast embedded scripting language resembling a combination of JavaScript and Rust
- rune-rs/rune (⭐1.7k) - An embeddable dynamic programming language
Libraries / Text processing
- pwoolcoc/ngrams (⭐27) [ngrams] - Construct n-grams from arbitrary iterators
- yaa110/rake-rs (⭐33) [rake] - Multilingual implementation of RAKE algorithm for Rust
10. Awesome Tmux
Tools and session management
- tmex (⭐84) A minimalist tmux layout manager
11. Awesome Ros2
Packages / Ecosystem
- Foxglove Studio (⭐1.4k) - 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