Awesome List Updates on Apr 19, 2023
9 awesome lists updated today.
🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor
1. Awesome Go
Continuous Integration
- go-test-coverage (⭐78) - Tool and GitHub action which reports issues when test coverage is below set threshold.
Caches
- imcache (⭐119) - A generic in-memory cache Go library. It supports expiration, sliding expiration, max entries limit, eviction callbacks and sharding.
- theine (⭐249) - High performance, near optimal in-memory cache with proactive TTL expiration and generics.
2. Awesome Esolangs
Languages
- Electra (⭐76) - Code like an electrician.
3. Awesome Decentralized
Applications
- Nostr (⭐9.8k) - A decentralized social network with a chance of working. A simple, open protocol that enables a truly censorship-resistant and global social network (https://nostr.com/)
4. Awesome Datascience
Books / Visualization Tools
- Julia for Data Science - Early Access
5. Awesome Zig
Audio
- orhun/linuxwave (⭐505) - Generate music from the entropy of Linux.
6. 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 (⭐9), an online IDE for ACL2.
- ACL2-kernel (⭐4), a Jupyter Kernel for ACL2.
- ACL2 Sedan, an Eclipse plugin that provides a modern IDE for ACL2, used with students at universities.
Others / Third-party APIs
- cl-telegram-bot - Telegram bot API. MIT.
- cl-telegram-bot-auto-api (⭐6) - Alternative Telegram Bot API bindings, auto-generated from Telegram website. 3-clause BSD.
7. Awesome Web Archiving
Tools & Software / Utilities
- warcdedupe - WARC deduplication tool (and WARC library) written in Rust. (In Development)
8. Awesome React
React General Resources
React Tutorials
React Component Libraries
- material-ui (⭐91k) - Ready-to-use foundational React components
- fluentui (⭐18k) - Microsoft's Fluent UI
- framework7 (⭐18k) - Full featured HTML framework for building iOS & Android apps
- ariakit (⭐7.6k) - Toolkit for building accessible web apps with React
React State Management and Data Fetching
- swr (⭐29k) - React Hooks for Data Fetching
React Development Tools
- why-did-you-render (⭐11k) - Monkey patches React to notify you about avoidable re-renders
React Libraries
- loadable-components (⭐7.5k) - The recommended Code Splitting library for React
React Awesome Components
- react-complex-tree (⭐746) - Unopinionated Accessible Tree
9. Static Analysis
Programming Languages / Other
- ruff — Fast Python linter, written in Rust. 10-100x faster than existing linters. Compatible with Python 3.10. Supports file watcher.
- Prev: Apr 20, 2023
- Next: Apr 18, 2023