Awesome List Updates on Aug 10, 2021

12 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 (⭐223) - 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. Free Programming Books (English, By Programming Language)

Go / Phoenix

• The Little Go Book (⭐2.1k) - Karl Seguin (PDF, ePUB)

Linux / TeX

• The Linux Kernel Module Programming Guide

8. Awesome Keycloak

Community Extensions

• Keycloak Kafka Module (⭐86)

9. 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.

10. Awesome Rust

Applications

• MaidSafe - A decentralized platform.

Applications / Blockchain

• Bitcoin Satoshi's Vision (⭐60) [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

• OGM [ogm]
  • Aragog [aragog] - A Lightweight ArangoDB Object document, relational and graph mapper

Libraries / Distributed systems

• HDFS
  • hyunsik/hdfs-rs (⭐33) [hdfs] - libhdfs bindings

Libraries / Encoding

• HAR
  • mandrean/har-rs (⭐40) [har] - A HTTP Archive Format (HAR) serialization & deserialization library

• YAML
  • chyh1990/yaml-rust (⭐598) - The missing YAML 1.2 implementation.
  • dtolnay/serde-yaml (⭐949) [serde_yaml] - YAML support for Serde (⭐8.8k) framework
  • vitiral/stfu8 (⭐25) [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.6k) - A tiny and fast embedded scripting language resembling a combination of JavaScript and Rust

• rune-rs/rune (⭐1.6k) - 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

11. Awesome Tmux

Tools and session management

• tmex (⭐80) A minimalist tmux layout manager

12. 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
  • Discourse threads tagged "wg-acceleration"

• Prev: Aug 11, 2021
• Next: Aug 09, 2021