Track Awesome listModify

2024-12-26 09:51:50

1. Awesome Coq

Resources / Books

• Computer Arithmetic and Formal Proofs - Book that describes how to formally specify and verify floating-point algorithms in Coq using the Flocq library.

2. Awesome Db Tools

GUI

• Antares SQL (⭐1.9k) - A modern, fast and productivity driven SQL client with a focus in UX. Available for Mac, Linux and Windows.

SQL / Formatters

• SQL Online - A Free Tool to format your SQL Queries followed by content for Analysts.

Papers / Compare

• Grokking Relational Database Design - A friendly illustrated guide to designing and implementing your first database.

3. Awesome Neovim

Snippet / Diagnostics

• echasnovski/mini.nvim#mini.snippets (⭐5.6k) - Module of mini.nvim to manage and expand snippets. Supports LSP snippet syntax, flexible loaders, fuzzy prefix matching, interactive selection, snippet session with rich visualization, and more.

Utility / Diagnostics

• cxwx/lazyUrlUpdate.nvim (⭐2) - Update plugin under cursor by lazy.nvim.

4. Awesome Angular

HTTP / Google Developer Experts

• ngs-request-tracker (⭐1) - A library for tracking, storing, and displaying statistics on all HTTP requests.

Internationalization / Google Developer Experts

• ngs-plural (⭐1) - A lightweight Angular library for handling pluralization in different languages using a pipe and a service. It simplifies the process of generating grammatically correct plural forms based on a numeric count and supports custom language rules.

Misc Components / Google Developer Experts

• ngs-json-utils (⭐1) - A lightweight utility library for Angular applications that provides easy-to-use functions for working with JSON objects. It includes methods for deep cloning, serialization, and deserialization of JSON data, designed specifically for Angular projects with TypeScript support.

5. Awesome Cpp

Miscellaneous

• libpopcnt (⭐335) - Fast C/C++ bit population count library. [BSD-2-Clause]

2024-12-25 09:51:07

1. Free Programming Books (English, By Subjects)

Software Architecture

• Architectural Metapatterns: The Pattern Language of Software Architecture (⭐254) - Denys Poltorak (PDF, EPUB, DOCX) (CC BY)

2. Magictools

Engines and Frameworks / Voxel Editors

• 💸 GameMaker - GameMaker accommodates the creation of cross-platform video games using drag and drop or a scripting language known as Game Maker Language, which can be used to develop more advanced games that could not be created just by using the drag and drop features.

Blogs and Portals / Voxel Editors

• GameIdea

General Game Development / Voxel Editors

• 💸 Chris Courses: Complete courses for an assortment of 2D games

3. Awesome Mac

Utilities / Productivity

• RightMenu Master - An excellent Finder right-click menu enhancement tool to make your right-click menu more powerful.

4. Awesome Integration

Projects / API Management

• Gravitee.io API Management (⭐209) (⭐207) - A flexible, lightweight, and open-source API management solution that provides comprehensive API management capabilities and helps you manage your APIs with ease.

• WSO2 API Manager (⭐864) (⭐863) - A fully open-source API management platform that provides comprehensive API management capabilities and allows you to manage APIs with ease.

Projects / API Design

• OpenAPI Diff (⭐848) (⭐844) - Compare OpenAPI specs with version control and visualize the differences in HTML or Markdown format.

• OpenAPI Style Validator (⭐213) (⭐214) - Ensure that your OpenAPI specs meet your organization's standards with this flexible and customizable style validator.

Projects / API Documentation

• DapperDox (⭐411) (⭐410) - An open-source API documentation generator and server for OpenAPI/Swagger specifications, with customizable documentation, automated updates, and easy sharing.

• Zudoku (⭐116) (⭐116) - An open-source, OpenAPI powered, highly customizable API documentation framework for building quality developer experiences.

Projects / Data Mapping Solution

• JSLT (⭐643) (⭐641) - A complete query and transformation language for JSON that is inspired by jq, XPath, and XQuery. With JSLT, software engineers can quickly and easily transform JSON data to meet their needs.

Projects / ESB

• WSO2 Enterprise Integrator (⭐378) (⭐376) - An API-centric, cloud-native, and distributed integration platform designed to provide a robust solution for software engineers.

Projects / Workflow engine

• Apache Airflow (⭐38k) (⭐38k) - A platform that allows you to create, schedule, and monitor workflows programmatically, making it easier to manage and automate complex data pipelines.

• Bonita (⭐156) (⭐155) - An open-source BPMN engine that comes with a designer and optional development environment, making it easier to build and automate complex business processes.

Resources / Data Formats

• NDJSON (⭐695) (⭐690) - A standard for delimiting JSON objects in stream protocols. It allows for efficient processing of large JSON datasets and is widely used in big data processing.

• YAML (⭐355) (⭐353) - A human-friendly and easy-to-read data serialization format that is widely used for configuration files and data exchange. It supports rich data types and is compatible with most programming languages.

Resources / Structure and Validation

• JSON Schema (⭐3.9k) (⭐3.9k) - A powerful tool for validating the structure of JSON data. JSON Schema enables developers to ensure that JSON data conforms to a specific structure, making it easier to process and manipulate.

5. Awesome Github Wiki

Useful Stack Overflow questions & answers

• How can I make a pull request for a Wiki page on GitHub?

6. Topics

List of public profiles of Selvakumaran Krishnan

• Selvakumaran Krishnan with Notion Profile

List of important bookmarks

• Bio link profile Selvakumaran.

7. Awesome Agi Cocosci

Communications / Pragmatics

• Predicting Pragmatic Reasoning in Language Games - Science, 2012. [All Versions]. [Preprint]. One of the most astonishing features of human language is its capacity to convey information efficiently in context. Many theories provide informal accounts of communicative inference, yet there have been few successes in making precise, quantitative predictions about pragmatic reasoning. This work examined judgments about simple referential communication games, modeling behavior in these games by assuming that speakers attempt to be informative and that listeners use Bayesian inference to recover speakers’ intended referents. The model provides a close, parameter-free fit to human judgments, suggesting that the use of information-theoretic tools to predict pragmatic reasoning may lead to more effective formal models of communication.

8. Awesome Angular

Drag and Drop / Google Developer Experts

• ng-keyboard-sort (⭐2) - Library to add keyboard commands for elements that also use CDK drag and drop sorting.

Form Controls / Google Developer Experts

• ng-select2 (⭐57) - This Angular CLI module is a fork of select2-component (⭐23).

9. Awesome Selfhosted

Software / File Transfer - Single-click & Drag-n-drop Upload

• Enclosed - A minimalistic web application designed for sending private and secure notes. (Demo, Source Code (⭐1.1k)) Apache-2.0 Docker/Nodejs

Software / Money, Budgeting & Management

• YAFFA - Personal finance web application, that can be used to keep track of your money, expenses, budgets, and investments. It also helps with long-term financial planning. (Demo, Source Code (⭐3)) MIT PHP

10. Awesome Cpp

Miscellaneous

• rain (⭐121) - The fastest 128-bit and 256-bit non-crypto hash, passes all tests, and under 140 source lines of code. [Apache-2.0]

2024-12-24 09:52:57

1. Awesome Gbdev

Tools / Music drivers and trackers

• DevSoundX (⭐11) - Sound driver embeddable in homebrews which supports pulse width manipulation, arpeggios, and multiple waveforms.

2. Awesome Python Typing

Tools / Helper tools to add annotations to existing code

• RightTyper (⭐154) - A tool that generates types for your function arguments and return values. RightTyper lets your code run at nearly full speed with almost no memory overhead.

3. Awesome Quant

Python / Data Sources

• datamule-python (⭐101) - A package to work with SEC data. Incorporates datamule endpoints.

Reproducing Works, Training & Books / Data Visualization

• AFML (⭐639) - All the answers for exercises from Advances in Financial Machine Learning by Dr Marco Lopez de Parodo.

4. Awesome Windows

Application Launchers

• kunkun (⭐11) - Raycast/Alfred-like launcher with sandboxed extensions

• Wox - Launches apps with web search integration.

Chat Clients

• LegCord - Discord client with Vencord and shelter integration.

• Equicord (⭐328) - Fork of Vencord with additional plugins and features.

Cloud Storage

• Dropbox - Syncs files across devices with version history.

• Google Drive - Enables real-time collaboration on Google Docs, Sheets and Slides.

• OneDrive - Integrates with Microsoft Office for document collaboration.

• Proton Drive - End-to-end encrypted cloud storage from Proton.

Databases Clients

• Another Redis Desktop Manager (⭐31k) - Fast and stable Redis GUI client with cluster, sentinel, SSH support.

Email

• ProtonMail - Encrypted email service with end-to-end encryption.

File Management

• Spacedrive - Cross-platform file manager with cloud integration.

IDEs

• CLion - Debugs and profiles C/C++ code with memory analysis.

• Cursor - AI-powered code editor with codebase understanding and natural language editing.

• DataGrip - Manages multiple databases with query optimization.

• DataSpell - Handles Jupyter notebooks and data visualization.

• GoLand - Specializes in Go debugging and testing.

• IntelliJ IDEA - Focuses on Java enterprise development.

• PearAI - Open source AI code editor with curated integrations of multiple AI tools.

• PhpStorm - Integrates PHP frameworks and debugging tools.

• PyCharm - Provides scientific tools for Python development.

• Rider - Debugs Unity games and .NET applications.

• RubyMine - Tests and profiles Ruby applications.

• WebStorm - Debugs client-side and Node.js applications.

• Windsurf - Agentic IDE with AI flows, multi-file editing and deep contextual awareness.

Password Managers

• 1Password - Premium password manager with secure vault and team features.

• Proton Pass - Zero-knowledge encrypted password manager.

• Vaultwarden (⭐40k) - Lightweight Bitwarden server implementation.

Terminal

• Warp - AI-powered terminal with IDE-like features and team collaboration.

5. Awesome Neovim

Editing Support / Diagnostics

• zongben/capsoff.nvim (⭐1) - Turns off CapsLock when you leaving insert mode.

6. Awesome Agi Cocosci

Communications / Pragmatics

• Language as shaped by the environment: linguistic construal in a collaborative spatial task - Humanities and Social Sciences Communications, 2020. [All Versions]. [Code & Data]. [Dialogue Experimental Toolkit(DiET)]. The present study sets out to experimentally investigate how environmental factors come to shape the emergence of linguistic conventions. To this end, the authors adapt the classical Maze Game task to test the hypothesis that participants routinise different linguistic strategies to communicate positions in the maze contingent on particular environmental affordances (i.e. structure of the mazes). The results confirm that subtle environmental motivations drive the emergence of different communicative conventions in an otherwise identical task, suggesting that linguistic adaptations are highly sensitive to factors of the shared task environment.

7. Awesome Go

Standard CLI

• getopt (⭐3) - An accurate Go getopt, validated against the GNU libc implementation.

Configuration

• envyaml (⭐10) - Yaml with environment variables reader. it helps to have secrets as environment variable but load them configs as structured Yaml.

File Handling

• gulter (⭐60) - A simple HTTP middleware to automatically handle all your file upload needs

Generators

• go-enum-encoding (⭐14) - Code generation for enum encoding from code comments.

HTTP Clients

• azuretls-client (⭐187) - An easy-to-use HTTP client 100% in Go to spoof TLS/JA3 and HTTP2 fingerprint

• tls-client (⭐887) - net/http.Client like HTTP Client with options to select specific client TLS Fingerprints to use for requests.

Security

• entpassgen (⭐3) - Entropy Password Generator with extensive command line arguments to generate random strings securely including digits, passwords, and passwords built using obscure dictionary words mixed with symbols and digits.

Web Frameworks

• templui (⭐216) - Modern UI Components for Go & Templ.

Webhooks Server / Libraries for creating HTTP middlewares

• WebhookX (⭐111) - A webhooks gateway for message receiving, processing, and reliable delivering.

Other Software / Libraries for creating HTTP middlewares

• Chapar (⭐499) - Chapar is a a cross-platform Postman alternative built with go, aims to help developers to test their api endpoints. it support http and grpc protocols.

8. Awesome Cpp

Scripting

• Luau (⭐4.1k) - A fast, small, safe, gradually typed embeddable scripting language derived from Lua. [MIT] website

2024-12-23 09:54:49

1. Awesome Css Frameworks

Specialized

• System.css - Design system for building retro Apple interfaces.
  Repo (⭐2.4k) | #PostCSS

2. Awesome Generative Deep Art

Online Tools and Applications

• PageGen - An AI Page Generator with Claude AI, React and Shadcn UI. Generate web pages from text, screenshot and templates with one click.

Large Language Models (LLMs)

• comet-ml/opik (⭐2.6k): Evaluate, test, and ship LLM applications with a suite of observability tools to calibrate language model outputs across your dev and production lifecycle.

AI Engineering / Multi-agents

• Keywords AI: The enterprise-grade software to build, monitor, and improve your AI application. Keywords AI is a full-stack LLM engineering platform for developers and PMs.

3. Awesome Social Enterprise

Foundations / Articles

• CA RISE - A $25M California initiative providing capital ($100k-$500k grants) and technical assistance to employment social enterprises.

4. Awesome Vue

Components & Libraries / UI Components

• vue3-carousel (⭐757) - A highly customizable, lightweight Vue 3 carousel component for your next awesome project.

5. Awesome Neovim

AI / Diagnostics

• milanglacier/yarepl.nvim#aider-extensions (⭐106) - Integration with aider-chat, a TUI AI coding assistant.

Utility / Diagnostics

• MisanthropicBit/decipher.nvim (⭐34) - Encode and decode text using various codecs such as base64.

Motion / Diagnostics

• cxwx/specs.nvim (⭐3) - A fast and lightweight Neovim Lua plugin to keep an eye on where your cursor has jumped.

Keybinding / Diagnostics

• TheBlob42/houdini.nvim (⭐34) - Create shortcut to escape modes without delay.

Split and Window / Diagnostics

• MisanthropicBit/winmove.nvim (⭐6) - Easily move, swap, and resize windows.

6. Awesome Angular

Free / Google Developer Experts

• Angspire (⭐7) - Angular + .NET (monorepo) project template designed to simplify development with out-of-the-box features like (basic) user authentication and frontend themes, reducing setup time and providing a scalable, maintainable foundation for your applications.

QR Codes / Google Developer Experts

• ngx-kjua (⭐89) - Angular QR-Code generator component using kjua (⭐268).

7. Awesome Rust

Libraries / Computation

• fastnum (⭐68) fastnum - Fast exact precision decimal numbers implemented in pure Rust. Suitable for financial, crypto and any other fixed-precision calculations.

8. Awesome Cpp

Frameworks

• AUI (⭐91) - Declarative UI toolkit for C++20. [MPL2]

Miscellaneous

• libONVIF (⭐168) - Yet another ONVIF library. [GPL-3.0]

• simdzone (⭐121) - Fast and standards compliant DNS zone parser. [BSD-3-Clause]

2024-12-22 09:59:57

1. Awesome Developer First

Authentication & Identity

• PropelAuth - Team-based authentication.

• Stack Auth - Open-source Auth0 alternative.

Backend-as-a-Service

• Jamsocket - Backends for real-time apps.

• Supabase - Hosted and open-source managed Postgres DB like Firebase.

Code Quality

• Ellipsis - AI code reviews and bug fixes.

Databases & Spreadsheets

• Outerbase - AI-powered database UI.

Deployment Hosting

• Beam - Serverless cloud infrastructure.

• Propel - Serverless ClickHouse platform.

Documentation

• Speakeasy - API tooling for SDKs, API docs, Terraform providers, and end-to-end testing.

Environment & Secret Management

• KeyHippo - API Keys for Postgres RLS.

GEO

• AirPinpoint - API for Apple AirTags tracking.

Integrations

• OpenInt - Open-source embeddable product integrations.

Localization

• Replexica - AI localization infrastructure.

Misc

• Magic Patterns - Prototype product ideas with AI.

• Tempo Labs - Code-first Figma alternative.

Monitoring

• Laminar - Open-source platform for tracing, evaluating, and labeling LLM products.

• Pinecone - AI infrastructure for building accurate, secure, and scalable AI apps.

• Quivr - Open-source RAG framework to deploy and use AI agents.

Orchestration

• Camunda - Workflow engine that delivers scalable, on-demand process automation.

Testing

• Coval - Simulation and evals for AI agents.

• Fiberplane - Test and debug Hono APIs.

• Synth - Automated AI agent optimization.

2. Awesome V

Web

• rr-dl (⭐1) - Royal-Road Novel downloader.

Graphics

• vbmp (⭐1) - Read and write bitmap files.

3. Awesome Selfhosted

Software / Document Management - E-books

• BookLogr (⭐196) - Web app designed to help you manage your personal book library with ease. (Demo) Apache-2.0 Docker

Software / File Transfer - Peer-to-peer Filesharing

• slskd (⭐1.1k) ⚠ - A modern client-server application for the Soulseek file sharing network. AGPL-3.0 Docker/C#

Software / Games

• Scribble.rs (⭐471) - A web-based pictionary game. (Demo) BSD-3-Clause Go/Docker

Software / Recipe Management

• What To Cook? (⭐6) - Get a recipe to cook today, based on the ingredients you have at home. AGPL-3.0 Docker

Software / Task Management & To-do Lists

• Donetick - Task and chore management tool for personal and family use, with advanced scheduling, flexible assignment, and group sharing capabilities, detailed history, automation via API, simple and modern design. (Demo, Source Code (⭐197)) AGPL-3.0 Go/Docker

Software / Wikis

• W - Lightweight, mutli-user, flat-file-database Wiki engine. Create pages quickly and edit them in your Web browser using Mardown/HTML/CSS/JS. The main difference with other wiki is that you are encouraged to customize each page style individually. (Source Code (⭐22)) AGPL-3.0 PHP

2024-12-21 09:51:19

1. Awesome Acg

Image Generation

• AniDoc (⭐201) - Colorize a sequence of sketches based on a character design reference with high fidelity. [English]

2. Awesome Angular

Authentication / Google Developer Experts

• FusionAuth Angular SDK - FusionAuth SDK helps manage authentication state for your Angular app and provides functionality to login, register, and logout users. It also can be configured to automatically manage your refresh token.

Module Federation / Google Developer Experts

• @module-federation/core (⭐1.6k) - Module Federation is a concept that allows developers to share code and resources across multiple JavaScript applications.

• webpack-module-federation-with-angular (⭐20) - Guide to learn about Webpack Module Federation with several Angular code demos.

• vite-module-federation-angular-test (⭐1) - This repository tests the @module-federation/vite (⭐356) with Angular and AnalogJS, based on the work done in brandonroberts/angular-vite (⭐9). It also tests a host with AnalogJS to test SSR. But now the module federation plugin is not compatible with SSR.

• angular-microfrontend-demo (⭐2) - Module Federation Vite + Angular is now possible.

• mfe-crossframework (⭐1) - Module Federation project with Angular Host, Cross-framework remotes and without Nx.

• backbase-micro-frontends (⭐1) - Proof of concept showcasing how legacy apps (widgets) can work together with newer apps (journeys) via Module Federation.

Editor Components / Google Developer Experts

• formly-editor (⭐8) - A configurable editor for ngx-formly (⭐2.8k) forms.

3. Free for Dev

Artifact Repos

• RepoFlow - RepoFlow Simplifies package management with support for npm, PyPI, Docker, Go, Helm, and more. Try it for free with 10GB storage, 10GB bandwidth, 100 packages, and unlimited users in the cloud, or self-hosted for personal use only.

4. Awesome Selfhosted

Software / Miscellaneous

• iSponsorBlockTV (⭐2.6k) ⚠ - SponsorBlock for YouTube TV, allows skipping sponsors, muting and skipping ads. GPL-3.0 Docker/Python

5. Awesome Go

Caches

• sturdyc (⭐349) - A caching library with advanced concurrency features designed to make I/O heavy applications robust and highly performant.