Awesome List Updates on Feb 17, 2023
11 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Theoretical Computer Science
Papers / Lecture Videos Playlist
- Harry Lewis. Ideas That Created the Future: Classic Papers of Computer Science - Classic papers by thinkers ranging from Aristotle and Leibniz to Norbert Wiener and Gordon Moore that chart the evolution of computer science.
2. Awesome Elixir
Algorithms and Data structures
- qcomplex (⭐6) - Elixir library implementing complex numbers and math operations for them.
- qrational (⭐9) - Elixir library implementing rational numbers and math operations for them.
3. Awesome Polars
Official documentation
- Documentation - Official user guide for Python, Rust and R.
- Github: Polars Github Organization - Official Polars Github repository.
- Blog posts from Polars - Official blogs posts from Polars.
Blog posts / Miscellaneous
- Using the Polars DataFrame Library - A blog post by Wei-Meng Lee to discover the basics of Polars and how it can be used in place of Pandas.
- Why Polars uses less memory than Pandas - A blog post by Itamar Turner-Trauring detailing some techniques to opptimize Pandas memory usage and see how Polars can provide an answer in some cases.
4. Awesome Fiber
📖 Articles / 🌱 Third Party
5. Awesome Decentralized
Applications
- Databag (⭐1.2k): Self-hosted lightweight federated messenger for the decentralized web. Lightweight, public-private key based identity, end-to-end encryption.
6. Static Analysis
Programming Languages / Other
- TrustInSoft Analyzer ©️ — Exhaustive detection of coding errors and their associated security vulnerabilities. This encompasses a sound undefined behavior detection (buffer overflows, out-of-bounds array accesses, null-pointer dereferences, use-after-free, divide-by-zeros, uninitialized memory accesses, signed overflows, invalid pointer arithmetic, etc.), data flow and control flow verification as well as full functional verification of formal specifications. All versions of C up to C18 and C++ up to C++20 are supported. TrustInSoft Analyzer will acquire ISO 26262 qualification in Q2'2023 (TCL3). A MISRA C checker is also bundled.
Multiple languages / Other
- CodeSee ©️ — CodeSee is mapping and automating your app's services, directories, file dependencies, and code changes. It's like Google Map, but for code.t
- StaticReviewer ©️ — Static Reviewer executes code checks according to the most relevant Secure Coding Standards, OWASP, CWE, CVE, CVSS, MISRA, CERT, for 40+ programming languages, using 1000+ built-in validation rules for Security, Deadcode & Best Practices Available a module for Software Composition Analysis (SCA) to find vulnerabilities in open source and third party libraries.
7. Progressive Enhancement Resources
Support Tables
- iOS PWA Compatibility - Support table for PWA features including service worker, manifest, background sync and push notifications (Unofficial, maintained by Maximiliano Firtman).
8. Awesome Iot
Software / Libraries and Tools
- ThingsOn MQTT Bench (⭐17) - ThingsOn MQTT Bench is a simple Cross-platform .NET Core benchmark tool for MQTT brokers. It measures the maximum number of messages that can be sent to the broker in a specified amount of time.
Software / Miscellaneous
- MQTT File Uploader (⭐7) - MQTT File Uploader is a simple Cross-platform .NET Core application that watches local directories for changes and uploads new or modified files to an MQTT broker.
9. Awesome Dotnet
Code Analysis and Metrics
- PVS-Studio - PVS-Studio is a static analyzer on guard of code quality, security (SAST), and code safety. [Free for OSS] [$]
10. Awesome Ada
Entry Point
- ada-lang-io - A community site for Ada.
11. Awesome Mac
Developer Tools / Network Analysis
- Sniffnet (⭐28k) - Application to comfortably monitor your network traffic.
- Prev: Feb 18, 2023
- Next: Feb 16, 2023