Awesome List Updates on Aug 02, 2023

11 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Awesome Dotnet

Caching

• FastCache (⭐168) - 10X faster alternative to MemoryCache for .NET

2. Awesome Tmux

Tools and session management

• tmux-nav-master (⭐6) Easy cross-navigation between tmux and other terminal applications.

Plugins

• tmux-keylocker (⭐5) Lock away your tmux keybinds temporarely.

3. Awesome Pentest

Vulnerability Databases / Social Engineering Tools

• CISA Known Vulnerabilities Database (KEV) - Vulnerabilities in various systems already known to America's cyber defense agency, the Cybersecurity and Infrastructure Security Agency, to be actively exploited.

4. Awesome Vite

Templates / React

• vite-react-ssr-boost-template (⭐33) - Template for creating React 18 SSR/SPA apps with TypeScript, Mobx, React Router, Head Manager, Suspense, Streaming. Also included CI/CD, ESLint, Prettier, Stylelint, Husky, Semantic Release.

Libraries / Community

• vite-ssr-boost (⭐107) - Server side rendering library for create awesome app based on react-router.

5. Awesome Cl

Theorem provers

• ACL2 - a logic and programming language in which you can model computer systems, together with a tool to help you prove properties of those models.
  • used in the industry since the 1990s.
  • it supports a subset of the ANSI standard Common Lisp programming language.
  • "Companies that have used ACL2 regularly include AMD, Centaur Technology, IBM, Intel, Kestrel Institute, Motorola/Freescale, Oracle and Rockwell Collins." (source)
  • Proofpad (⭐11), an online IDE for ACL2.
  • ACL2-kernel (⭐5), a Jupyter Kernel for ACL2.
  • ACL2 Sedan, an Eclipse plugin that provides a modern IDE for ACL2, used with students at universities.
    • paper: Using ACL2 to teach students about software testing.

6. Awesome Keycloak

Talks

• 2022 Secure digital transformation via keycloak's FAPI - DevConf.cz Mini | June 2022

Example Projects

• FAPI demo from DevConf.cz Mini: Secure digital transformation via keycloak's FAPI (⭐4)

7. Awesome Jupyter

Hosted Notebook Solutions

• qBraid Lab - JupyterLab deployment providing curated software tools and integrations for quantum computing.

8. Awesome Flame

App Releases / Educational

• Mathonaut - Android, iOS - A platform game in which you play around math. By Skyost

9. Awesome Polars

Blog posts / Miscellaneous

• Pandas vs Polars: A database speed test. Who wins? - A blog post that compares the run-time of reading a database into a dataframe using Pandas versus using Polars by Thomas Reid.

10. Awesome React Components

Miscellaneous

• react-mrz-scanner (⭐5) - A React component to scan MRZ on passports, visa cards, etc. It is based on Dynamsoft Label Recognizer.

11. Awesome Agi Cocosci

SIT / Commonsense Knowledgebase

• Mark Ho - Department of Computer Science, Stevens Institute of Technology (SIT), Computation and Decision-Making Lab - SIT.

• Prev: Aug 03, 2023
• Next: Aug 01, 2023