From 2246e98d0b09da16fdc4068b4824a07297d021fd Mon Sep 17 00:00:00 2001 From: chenjiajia Date: Wed, 20 Sep 2023 21:07:57 +0000 Subject: [PATCH] Robot Updated at:20 Sep 2023 21:07:57 GMT --- docs/awesome/awesome-ada.md | 831 +++++++++--------- .../awesome-browser-extensions-for-github.md | 82 +- docs/awesome/awesome-cpp.md | 1 + docs/awesome/awesome-developer-first.md | 3 +- docs/awesome/awesome-game-engine-dev.md | 5 +- docs/awesome/awesome-go.md | 1 + docs/awesome/awesome-godot.md | 2 +- docs/awesome/awesome-integration.md | 36 +- docs/awesome/awesome-naming.md | 1 + docs/awesome/awesome-neovim.md | 7 +- docs/awesome/awesome-python-data-science.md | 63 +- docs/awesome/awesome-selfhosted.md | 2 +- docs/awesome/free-for-dev.md | 34 +- 13 files changed, 540 insertions(+), 528 deletions(-) diff --git a/docs/awesome/awesome-ada.md b/docs/awesome/awesome-ada.md index 87ff50032f..c8e97fbc8c 100644 --- a/docs/awesome/awesome-ada.md +++ b/docs/awesome/awesome-ada.md @@ -9,18 +9,18 @@

-> [Ada is powering satellites, aircrafts, ships, power plants, surgical robots](https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html)、无人机、数控系统、服务器、游戏和咖啡机. -> Ada 可以说是最{高性能∩能力∩精确∩可读∩成熟}的编程语言. -> 艾达还活着，而且还在踢！ +> [Ada is powering satellites, aircrafts, ships, power plants, surgical robots](https://www2.seas.gwu.edu/~mfeldman/ada-project-summary.html), drones, CNCs, servers, games and coffee makers. +> Ada is arguably the most { performant ∩ capable ∩ precise ∩ readable ∩ mature } programming language. +> Ada is alive and kicking! > -> 艾达/SPARK 万岁. +> Long live Ada/SPARK.

-与 Ada 和 SPARK 编程语言相关的精彩资源的精选列表. +A curated list of awesome resources related to the Ada and SPARK programming language.
-点击展开 +Click to expand
@@ -46,81 +46,76 @@ ## Education ### Entry Point -- [learn](https://learn.adacore.com/) - 交互式学习平台，旨在教授 Ada 和 SPARK 编程语言. -- [ada-lang-io](https://ada-lang.io) - Ada 的社区网站. -- [celebrating-ada](https://www.celebratingada.com/) - 艾达历史上的关键时刻. -- [ada-logo-editor](https://ada-lang-io.github.io/ada-logo-editor/) - “Ada Horizo​​n”标志制作者网站. +- [learn](https://learn.adacore.com/) - Interactive learning platform designed to teach the Ada and SPARK programming languages. +- [ada-lang-io](https://ada-lang.io) - A community site for Ada. +- [celebrating-ada](https://www.celebratingada.com/) - Ada history key moments. +- [ada-logo-editor](https://ada-lang-io.github.io/ada-logo-editor/) - The “Ada horizon” logo maker website. ### Tutorials -- [adacore-video-tutorials](https://www.youtube.com/playlist?list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o) - AdaCore 大学视频教程. -- [ada-crash-course](http://www.pchapin.org/Ada/AdaCrash.pdf) - 佛蒙特技术学院的 Ada 2012 速成课程，不足 50 页. -- [simple-games](https://drive.google.com/file/d/1hdLc9nZzTnBDcN9qJeDlJm1F9IL91Lvi/view) - 通过编写简单的游戏来学习 Ada 2012. -- [spark-by-example](https://github.com/tofgarion/spark-by-example) - SPARK 中经过验证的函数和数据类型的集合. +- [adacore-video-tutorials](https://www.youtube.com/playlist?list=PLkoa8uxigENkneyEEeDWVPgpMhPc9IJ7o) - AdaCore University Video Tutorials. +- [ada-crash-course](http://www.pchapin.org/Ada/AdaCrash.pdf) - Ada 2012 crash course under 50 pages from Vermont Technical College. +- [simple-games](https://drive.google.com/file/d/1hdLc9nZzTnBDcN9qJeDlJm1F9IL91Lvi/view) - Learning Ada 2012 by writing simple games. +- [spark-by-example](https://github.com/tofgarion/spark-by-example) - Collection of verified functions and data types in SPARK. ### Online Books -- [ada-wikibook](https://en.wikibooks.org/wiki/Ada_Programming) - 维基教科书上有一本编程书. -- [ada-distilled](https://www.adaic.org/wp-content/uploads/2010/05/Ada-Distilled-24-January-2011-Ada-2005-Version.pdf) - 为 Ada 2005 提炼的 Ada. -- [ada-craft](https://www.adaic.org/resources/add_content/docs/craft/html/contents.htm) - Ada 95：面向对象编程的技巧. -- [ada-cpp-java](https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/index.html) - 适用于 C++ 或 Java 开发人员的 Ada. -- [spark-guidance](https://www.adacore.com/books/implementation-guidance-spark) - 采用 SPARK 的实施指南. -- [ada-safe-secure](https://www.adacore.com/uploads/technical-papers/SafeSecureAdav2015.pdf) - 安全可靠的软件. 2012 年 Ada 邀请函. -- [ada-95-tutorial](https://perso.telecom-paristech.fr/pautet/Ada95/a95list.htm) - 一本从初学者到高级 Ada 95 概念的书，配有源文件. +- [ada-wikibook](https://en.wikibooks.org/wiki/Ada_Programming) - Ada Programming book at Wikibooks. +- [ada-distilled](https://www.adaic.org/wp-content/uploads/2010/05/Ada-Distilled-24-January-2011-Ada-2005-Version.pdf) - Ada Distilled for Ada 2005. +- [ada-craft](https://www.adaic.org/resources/add_content/docs/craft/html/contents.htm) - Ada 95: The Craft of Object-Oriented Programming. +- [ada-cpp-java](https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/index.html) - Ada for the C++ or Java Developer. +- [spark-guidance](https://www.adacore.com/books/implementation-guidance-spark) - Implementation Guidance for the Adoption of SPARK. +- [ada-safe-secure](https://www.adacore.com/uploads/technical-papers/SafeSecureAdav2015.pdf) - Safe and Secure Software. An invitation to Ada 2012. +- [ada-95-tutorial](https://perso.telecom-paristech.fr/pautet/Ada95/a95list.htm) - A book going from beginner to advanced concepts in Ada 95, complete with source files. ### Books -[Programming in Ada 2012 with a Preview of Ada 2022 (2nd ed.)](https://www.cambridge.org/core/books/programming-in-ada-2012-with-a-preview-of-ada-2022/AD30275F35CCECB97EAB80ABC32B019C#) - 综合的. -[Programming in Ada 2012](https://www.cambridge.org/core/books/programming-in-ada-2012/55B998B4E908A017E4D74A87364FF224#) - 综合的. -[Beginning Ada Programming: From Novice to Professional](https://www.amazon.com/Beginning-Ada-Programming-Novice-Professional/dp/1484254279) - 介绍. -[Ada 95: The Craft of Object-Oriented Programming](https://www.amazon.com/Ada-95-Craft-Object-Oriented-Programming/dp/0132303507) - 一般、中级. - [Ada Plus Data Structures: An Object Oriented Approach](https://www.amazon.com/Ada-Plus-Data-Structures-Oriented/dp/0763737941) - 数据结构. +[Programming in Ada 2012 with a Preview of Ada 2022 (2nd ed.)](https://www.cambridge.org/core/books/programming-in-ada-2012-with-a-preview-of-ada-2022/AD30275F35CCECB97EAB80ABC32B019C#) - Comprehensive. +[Programming in Ada 2012](https://www.cambridge.org/core/books/programming-in-ada-2012/55B998B4E908A017E4D74A87364FF224#) - Comprehensive. +[Beginning Ada Programming: From Novice to Professional](https://www.amazon.com/Beginning-Ada-Programming-Novice-Professional/dp/1484254279) - Introduction. +[Ada 95: The Craft of Object-Oriented Programming](https://www.amazon.com/Ada-95-Craft-Object-Oriented-Programming/dp/0132303507) - General, intermediate. + [Ada Plus Data Structures: An Object Oriented Approach](https://www.amazon.com/Ada-Plus-Data-Structures-Oriented/dp/0763737941) - Data Structures. [Ada for Software Engineers](https://link.springer.com/book/10.1007/978-1-84882-314-3) - Idioms, Architecture. -[Concurrent and Real-Time Programming in Ada](https://www.cambridge.org/core/books/concurrent-and-realtime-programming-in-ada/9DA4389E52005382D4CC1FC5D812DA71) - 并发、容器、调度. -[Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95](https://link.springer.com/book/10.1007/978-1-4612-1854-8) - 数据结构、算法. -[Building Parallel, Embedded, and Real-Time Applications with Ada](https://www.cambridge.org/core/books/building-parallel-embedded-and-real-time-applications-with-ada/9FC78A90F1B6A2228D69E32CE610A66C) - 并发、分布式. -[Analysable Real-Time Systems: Programmed in Ada](https://www.amazon.com/Analysable-Real-Time-Systems-Programmed-Ada/dp/1530265509/ref=sr_1_2?ie=UTF8&qid=1544540272&sr=8-2&keywords=ada+programming+language) - 日程安排. +[Concurrent and Real-Time Programming in Ada](https://www.cambridge.org/core/books/concurrent-and-realtime-programming-in-ada/9DA4389E52005382D4CC1FC5D812DA71) - Concurrency, Containers, Scheduling. +[Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95](https://link.springer.com/book/10.1007/978-1-4612-1854-8) - Data structures, Algorithms. +[Building Parallel, Embedded, and Real-Time Applications with Ada](https://www.cambridge.org/core/books/building-parallel-embedded-and-real-time-applications-with-ada/9FC78A90F1B6A2228D69E32CE610A66C) - Concurrency, Distributed. +[Analysable Real-Time Systems: Programmed in Ada](https://www.amazon.com/Analysable-Real-Time-Systems-Programmed-Ada/dp/1530265509/ref=sr_1_2?ie=UTF8&qid=1544540272&sr=8-2&keywords=ada+programming+language) - Scheduling. [Building High Integrity Applications with SPARK](https://www.cambridge.org/core/books/building-high-integrity-applications-with-spark/F213D9867D2E271F5FF3EDA765D48E95) - Formal verification. -[Ada and SPARK on ARM Cortex-M](https://www.lulu.com/shop/maciej-sobczak/ada-and-spark-on-arm-cortex-m/paperback/product-22614818.html) - 嵌入式. +[Ada and SPARK on ARM Cortex-M](https://www.lulu.com/shop/maciej-sobczak/ada-and-spark-on-arm-cortex-m/paperback/product-22614818.html) - Embedded. ### Specialties -- [gems](https://www.adacore.com/gems/) - 艾达宝石档案馆. -- [ada-composition](https://github.com/gerr135/ada_composition) - 一些漂亮的小演示/示例代码的集合，可以帮助更好地布局数据或结构项目. -- [ada-ic-learning](https://www.adaic.org/learn/materials/) - 有关其他学习资源，请参阅 AdaIC 学习部分. -- [ada-at-rosetta-code](https://rosettacode.org/wiki/Category:Ada) - Ada 中的编程任务及其示例解决方案的集合. +- [gems](https://www.adacore.com/gems/) - Ada Gem Archive. +- [ada-composition](https://github.com/gerr135/ada_composition) - A collections of small nifty demos/sample code that may help better layout data or structure project. +- [ada-ic-learning](https://www.adaic.org/learn/materials/) - For additional learning resources, see the AdaIC learning section. +- [ada-at-rosetta-code](https://rosettacode.org/wiki/Category:Ada) - A collection of programming tasks and their sample solutions in Ada. ### Reference -- [iso-standard](http://www.ada-auth.org/standards/ada12_w_tc1.html) - Ada 标准的 2012 年修订版，通常称为 Ada 2012. -- [adalib](https://github.com/reznikmm/adalib) - 参考手册中定义的标准 Ada 库规范. +- [iso-standard](http://www.ada-auth.org/standards/ada12_w_tc1.html) - The 2012 revision to the Ada Standard, usually known as Ada 2012. +- [adalib](https://github.com/reznikmm/adalib) - Standard Ada library specification as defined in Reference Manual. ## Community ### Questions and Answers -- [gitter-ada](https://gitter.im/ada-lang/Lobby) - Gitter 有一个频道. -- [comp-lang-ada](https://groups.google.com/forum/#!forum/comp.lang.ada) - Ada Usenet 新闻组/论坛. -- [stack-overflow-ada-tag](https://stackoverflow.com/questions/tagged/ada) - Stack Overflow 上的 Ada. -- [subreddit-ada](https://www.reddit.com/r/ada/) - Reddit 上的艾达. -- [subreddit-spark](https://www.reddit.com/r/spark/) - Reddit 上的 Spark. -- [telegram-ada](https://t.me/ada_lang) - Telegram 上有一个群组. -- [libera-chat-ada](https://libera.chat/) - IRC 的 Ada 频道. -- [matrix-ada](https://matrix.to/#/#ada-lang_Lobby:gitter.im) - Gitter via Matrix 有一间房间. +- [gitter-ada](https://gitter.im/ada-lang/Lobby) - Ada channel at Gitter. +- [comp-lang-ada](https://groups.google.com/forum/#!forum/comp.lang.ada) - Ada Usenet newsgroup/forum. +- [stack-overflow-ada-tag](https://stackoverflow.com/questions/tagged/ada) - Ada at Stack Overflow. +- [subreddit-ada](https://www.reddit.com/r/ada/) - Ada at Reddit. +- [subreddit-spark](https://www.reddit.com/r/spark/) - Spark at Reddit. +- [telegram-ada](https://t.me/ada_lang) - Ada group at Telegram. +- [libera-chat-ada](https://libera.chat/) - Ada channel at IRC. +- [matrix-ada](https://matrix.to/#/#ada-lang_Lobby:gitter.im) - Ada room at Gitter via Matrix. ### News and Resources -- [adacore-blog](https://blog.adacore.com/) - 深入了解 AdaCore 生态系统. -- [ada-europe](https://www.ada-europe.org/) - Ada-Europe 是一个国际组织，成立的目的是促进 Ada 的使用. -- [acm-sig-ada](https://www.sigada.org/) - Ada 特别兴趣小组. -- [ada-resource-association](https://www.adaic.org/community/) - 自 1990 年以来，Ada 资源协会的主要使命是“确保 Ada 用户持续成功并促进 Ada 在软件行业的使用”. -- [ada-information-clearinghouse](https://www.adaic.org/) - Ada 编程语言的新闻和资源. -- [ada-planet](https://www.laeran.pl/adaplanet/i/) - 来自 Ada 编程语言世界的新闻聚合器. （[通过 Matrix 的 RSS 提要][ada-planet-via-matrix]） +- [adacore-blog](https://blog.adacore.com/) - An insight into the AdaCore ecosystem. +- [ada-europe](https://www.ada-europe.org/) - Ada-Europe is an international organization, set up to promote the use of Ada. +- [acm-sig-ada](https://www.sigada.org/) - The Special Interest Group on Ada. +- [ada-resource-association](https://www.adaic.org/community/) - Since 1990 the Ada Resource Association's principal mission has been “To ensure continued success of Ada users and promote Ada use in the software industry”. +- [ada-information-clearinghouse](https://www.adaic.org/) - News and resources for the Ada programming language. +- [ada-planet](https://www.laeran.pl/adaplanet/i/) - News Aggregator from the Ada programming language world. ([RSS feed via Matrix][ada-planet-via-matrix]) [ada-planet-via-matrix]: https://matrix.to/#/#ada-lang:matrix.org ### Competition -
- - - -
- +
@@ -131,533 +126,533 @@ #### GPL (no linking exception) -- [gnat-ce](https://www.adacore.com/download) - GNAT 社区版. 面向自由软件开发人员、爱好者和学生的 AdaCore GNAT 版本. GNAT Community 提供的运行时库根据 GPLv3 获得许可，没有链接例外. 它仅支持 Ada 2012. +- [gnat-ce](https://www.adacore.com/download) - GNAT Community edition. A release of AdaCore GNAT for free software developers, hobbyists, and students. The run-time libraries provided with GNAT Community are licensed under GPLv3 without linking exception. It supports Ada 2012 only. #### GPL (with linking exception) -- [fsf-gnat](https://www.getadanow.com/) - 用于 Ada 编程语言的自由软件基金会编译器，它是 GNU 编译器集合的一部分. 它支持该语言的所有版本，即 Ada 2012、Ada 2005、Ada 95 和 Ada 83. +- [fsf-gnat](https://www.getadanow.com/) - Free Software Foundation compiler for the Ada programming language which forms part of the GNU Compiler Collection. It supports all versions of the language, i.e. Ada 2012, Ada 2005, Ada 95 and Ada 83. #### MIT -- [hac](https://github.com/zertovitch/hac) - HAC Ada 编译器 - 一个小型、快速的 Ada 编译器，完全采用 Ada 语言. -- [byron](https://github.com/OneWingedShark/Byron) - Byron 项目是一个社区驱动的 Ada 编译器、工具链和 IDE 系统. +- [hac](https://github.com/zertovitch/hac) - HAC Ada Compiler - a small, quick Ada compiler fully in Ada. +- [byron](https://github.com/OneWingedShark/Byron) - The Byron project is a community-driven Ada compiler, toolchain, and IDE-system. ### Commercial / Open source -- [gnat-pro](https://www.adacore.com/gnatpro) - GNAT Pro 产品线为 Ada、C 和 C++ 提供了全面的工具集（IDE、调试器、库、动态和静态分析工具）. +- [gnat-pro](https://www.adacore.com/gnatpro) - The GNAT Pro product line offers a comprehensive toolset (IDEs, debugger, librairies, dynamic and static analysis tools) for Ada, C and C++. ### Commercial / Closed source -- [janus-ada](http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm) - 支持 Ada 83、Ada 95、Ada 2005 和 Ada 2012 版本语言的所有主要功能的编译器. -- [object-ada](https://www.ptc.com/en/products/developer-tools/objectada) - PTC ObjectAda 是一个广泛的本机和交叉开发工具及运行时环境系列. -- [apex-ada](https://www.ptc.com/en/products/developer-tools/apexada) - PTC ApexAda 是业界最流行的 Ada 和混合 Ada/C/C++ 应用程序开发环境之一. -- [greenhills-ada](https://www.ghs.com/products/ada_optimizing_compilers.html) - Green Hills Software 提供业界第一个经过全面验证的 Ada 交叉编译器系列，用于实时目标. -- [xgc](https://www.xgc.com/) - XGC 提供基于 GCC 的裸机工具链，支持 Ada95，适用于 MIL1750、ERC32 和 LEON 等航空航天特定目标. 以及传统的 M68000 工具链. +- [janus-ada](http://www.rrsoftware.com/html/prodinf/janus95/j-ada95.htm) - Compiler supporting all the major features of the Ada 83, Ada 95, Ada 2005 and Ada 2012 versions of the language. +- [object-ada](https://www.ptc.com/en/products/developer-tools/objectada) - PTC ObjectAda is an extensive family of native and cross development tools and runtime environments. +- [apex-ada](https://www.ptc.com/en/products/developer-tools/apexada) - PTC ApexAda is one of the industry's most popular development environments for Ada and mixed Ada/C/C++ applications. +- [greenhills-ada](https://www.ghs.com/products/ada_optimizing_compilers.html) - Green Hills Software offers the industry's first, fully validated family of Ada Cross Compilers for real-time targets. +- [xgc](https://www.xgc.com/) - XGC provide GCC-based bare-metal toolchains with Ada95 support for aerospace-specific targets such as MIL1750, ERC32 and LEON. As well as a legacy M68000 toolchain. ### Online -- [tutorials-point-ada-compiler](https://www.tutorialspoint.com/compile_ada_online.php) - 基于 CodingGround 引擎构建的在线编译器. -- [jdoodle-ada-compiler](https://www.jdoodle.com/execute-ada-online) - 在线编译器，提供多个版本的 GNAT 进行测试. -- [compiler-explorer](https://godbolt.org/) - 从 Web 浏览器交互运行 GNAT FSF 编译器并与程序集交互. +- [tutorials-point-ada-compiler](https://www.tutorialspoint.com/compile_ada_online.php) - Online compiler built on the CodingGround engine. +- [jdoodle-ada-compiler](https://www.jdoodle.com/execute-ada-online) - Online compiler that provides multiple versions of GNAT to test with. +- [compiler-explorer](https://godbolt.org/) - Run GNAT FSF compilers interactively from your web browser and interact with the assembly. ## Edit ### Integrated Development Editors [The GNAT Programming Studio](https://raw.githubusercontent.com/AdaCore/gps) -- [ada-visual](https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda) - Visual Studio 2017 的 Ada 语言集成. +- [ada-visual](https://marketplace.visualstudio.com/items?itemName=AlexGamper.VisualAda) - Ada language integration for Visual Studio 2017. ### Editors -- [lea](https://github.com/zertovitch/lea) - LEA 是 Ada 的轻量级编辑器，旨在为开发任何规模和级别的 Ada 项目提供简单的、类似于脚本世界的“外观和感觉”，同时允许访问 GNAT 等全面的开发工具. LEA 包括 HAC，即 HAC Ada 编译器. +- [lea](https://github.com/zertovitch/lea) - LEA, a Lightweight Editor for Ada, aims to provide an easy, script-world-like, "look & feel" for developing Ada projects of any size and level, while enabling access to full-scale development tools like GNAT. LEA includes HAC, the HAC Ada Compiler. ### Text Modes -- [gnu-emacs-ada-mode](https://www.nongnu.org/ada-mode/) - 用于编辑 Ada 源代码的 Gnu Emacs 主模式. -- [vim-ada-bundle](https://github.com/thindil/Ada-Bundle) - 维护的 Ada Bundle：Vim/NeoVim 的完整 Ada 模式. -- [ada-tmbundle](https://github.com/textmate/ada.tmbundle) - TextMate 支持 Ada. -- [bbedit-ada-module](https://www.barebones.com/support/bbedit/plugin_library.html) - BBEdit 对 Ada 的支持. -- [ob-ada-spark](https://github.com/rocher/ob-ada-spark/) - Ada/SPARK 对 org-babel 的支持：使用 Gnu Emacs 和 org 文件评估源代码块. +- [gnu-emacs-ada-mode](https://www.nongnu.org/ada-mode/) - Gnu Emacs major-mode for editing Ada sources. +- [vim-ada-bundle](https://github.com/thindil/Ada-Bundle) - Maintained Ada Bundle : Complete Ada-Mode for Vim/NeoVim. +- [ada-tmbundle](https://github.com/textmate/ada.tmbundle) - TextMate support for Ada. +- [bbedit-ada-module](https://www.barebones.com/support/bbedit/plugin_library.html) - BBEdit support for Ada. +- [ob-ada-spark](https://github.com/rocher/ob-ada-spark/) - Ada/SPARK support for org-babel : Evaluate source code blocks with Gnu Emacs and org files. ### VSCode Extensions -- [adacore-ada](https://marketplace.visualstudio.com/items?itemName=AdaCore.ada) - Ada 的语言支持. 它包括 [Ada 语言服务器][ada-语言服务器]. -- [ada-vscode](https://github.com/Lucretia/ada-vscode) - Ada 和 GPR 的基本语法突出显示. -- [ada-utilities](https://github.com/Lucretia/ada-utilities) - VSCode 扩展 Ada 程序员，它提供了一些实用函数. +- [adacore-ada](https://marketplace.visualstudio.com/items?itemName=AdaCore.ada) - Language Support for Ada. It includes [Language Server for Ada][ada-language-server]. +- [ada-vscode](https://github.com/Lucretia/ada-vscode) - Basic syntax highlighting for Ada and GPR. +- [ada-utilities](https://github.com/Lucretia/ada-utilities) - VSCode extension Ada programmers which provides a few utility functions. ## Deployment ### Build and Package -- [alire](https://github.com/alire-project/alire) - 即用型 Ada 库的目录以及用于获取、编译它们并将其合并到您自己的项目中的命令行工具 (alr). 它的目标是发挥与 Rust 的 Cargo 或 OCaml 的 opam 类似的作用. -- [aura](https://github.com/annexi-strayline/AURA) - 集成的构建和源/包管理工具，具有更实用的版本控制方法. Alire 和 gprbuild 的替代品. 针对 CI/CD 管道进行了优化. -- [gprbuild](https://github.com/AdaCore/gprbuild) - Adacore 多语言软件构建工具. -- [ravenadm](https://github.com/jrmarino/ravenadm) - Ravenports 的管理工具 http://www.ravenports.com. -- [synth](https://github.com/jrmarino/synth) - 用于实时系统的下一个 D/Ports 构建工具（Portmaster 和 Portupgrade 工具的替代品）. -- [ada4cmake](https://github.com/mosteo/ada4cmake) - 用于简单 gnat 项目包含的 CMake 宏. -- [cmake-ada-offa](https://github.com/offa/cmake-ada) - CMake 的 Ada 语言支持. -- [cmake-ada-cho3](https://github.com/cho3/cmake-ada) - CMake 语言支持 Ada，[plplot] 跨平台支持代码的分支. +- [alire](https://github.com/alire-project/alire) - A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam. +- [aura](https://github.com/annexi-strayline/AURA) - An integrated build and source/package management tool with a more hands-on versioning approach. Alternative to alire and gprbuild. Optimized for CI/CD pipelines. +- [gprbuild](https://github.com/AdaCore/gprbuild) - Adacore multi-language software build tool. +- [ravenadm](https://github.com/jrmarino/ravenadm) - Administration tool for Ravenports http://www.ravenports.com. +- [synth](https://github.com/jrmarino/synth) - Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools). +- [ada4cmake](https://github.com/mosteo/ada4cmake) - CMake macros for simple gnat project inclusion. +- [cmake-ada-offa](https://github.com/offa/cmake-ada) - Ada language support for CMake. +- [cmake-ada-cho3](https://github.com/cho3/cmake-ada) - CMake language support for Ada, fork of [plplot]'s cross-platform support code. ### Continuous Integration -- [continuous-verification](https://github.com/jklmnn/continuous-verification) - 使用 Travis CI 自动进行 SPARK 形式验证. -- [ada-actions](https://github.com/ada-actions/toolchain) - 用于 GitHub Actions 的 Ada 工具链. +- [continuous-verification](https://github.com/jklmnn/continuous-verification) - SPARK formal verification automated with Travis CI. +- [ada-actions](https://github.com/ada-actions/toolchain) - Ada Toolchains for GitHub Actions. ## Runtimes -- [bb-runtimes](https://github.com/AdaCore/bb-runtimes) - GNAT 裸机板支持包 (BSP). -- [avr-ada](https://sourceforge.net/projects/avr-ada) - 用于 8 位 AVR 微控制器的 GNAT. -- [ada-runtime](https://github.com/Componolit/ada-runtime) - 精简的 Ada 运行时，可以适应不同的平台. -- [cortex-gnat-rts](https://github.com/simonjwright/cortex-gnat-rts) - 该软件包包括基于 FreeRTOS 的 GNAT Ada 运行时系统 (RTS)，针对具有 Cortex-M0、M3、-M4、-M4F MCU 的主板. -- [adawebpack](https://github.com/godunko/adawebpack) - 用于 WASM 的 GNAT RTL 和用于 Web API 的绑定. +- [bb-runtimes](https://github.com/AdaCore/bb-runtimes) - GNAT bare metal board support package (BSP). +- [avr-ada](https://sourceforge.net/projects/avr-ada) - GNAT for 8-bit AVR microcontrollers. +- [ada-runtime](https://github.com/Componolit/ada-runtime) - A downsized Ada runtime which can be adapted to different platforms. +- [cortex-gnat-rts](https://github.com/simonjwright/cortex-gnat-rts) - This package includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards with Cortex-M0, M3, -M4, -M4F MCUs. +- [adawebpack](https://github.com/godunko/adawebpack) - GNAT RTL for WASM and bindings for Web API. -[ada-runtime]：https://github.com/Componolit/ada-runtime -[adawebpack]：https://github.com/godunko/adawebpack +[ada-runtime]: https://github.com/Componolit/ada-runtime +[adawebpack]: https://github.com/godunko/adawebpack ## OS and Kernels -- [m2os](https://m2os.unican.es/) - RTOS 为小型微控制器提供简单的任务支持. -- [marte-os](https://marte.unican.es/) - MaRTE OS 是适用于嵌入式应用程序的硬实时操作系统，遵循最小实时 POSIX.13 子集. 它提供了一个易于使用和控制的环境来开发多线程实时应用程序. -- [muen](https://muen.codelabs.ch/) - 高保证的 x86/64 分离内核. -- [ewok](https://github.com/wookey-project/ewok-kernel) - EwoK 是一个针对微控制器和嵌入式系统的微内核. -- [bare-bones](https://github.com/Lucretia/bare_bones) - Ada 端口 [osdev.org](https://wiki.osdev.org/Ada_Bare_bones) 最小 32 位 x86 内核. -- [lovelace-os](https://sourceforge.net/projects/lovelaceos/) - Lovelace 致力于使用 Ada 2012 语言编写类 Unix 操作系统. -- [ada-kalinda-os](https://sourceforge.net/projects/sx-ada-kalinda/) - Ada KALINDA 是一种用 Ada95 编写的类似 Mac Plus 的操作系统. -- [cxos](https://github.com/ajxs/cxos) - Ada操作系统开发示例. -- [havk](https://github.com/RavSS/HAVK) - 使用 SPARK 创建 x86-64 注重安全的操作系统. -- [cubit](https://github.com/docandrew/CuBit) - CuBitOS 是一个多处理器、64 位、（部分）经过正式验证的通用操作系统，目前适用于 x86-64 架构. -- [ironclad](https://nongnu.org/ironclad) - 适用于多种架构的内核，致力于 POSIX 兼容性，用于多种发行版，例如 [Gloire](https://github.com/streaksu/Gloire). -- [hirtos](https://github.com/jgrivera67/HiRTOS) - 用 SPARK Ada 编写的高完整性 RTOS. +- [m2os](https://m2os.unican.es/) - RTOS with simple tasking support for small microcontrollers. +- [marte-os](https://marte.unican.es/) - MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications. +- [muen](https://muen.codelabs.ch/) - An x86/64 Separation Kernel for High Assurance. +- [ewok](https://github.com/wookey-project/ewok-kernel) - EwoK is a microkernel targeting micro-controllers and embedded systems. +- [bare-bones](https://github.com/Lucretia/bare_bones) - An Ada port of the [osdev.org](https://wiki.osdev.org/Ada_Bare_bones) minimal 32-bit x86 kernel. +- [lovelace-os](https://sourceforge.net/projects/lovelaceos/) - Lovelace is an effort to write a Unix like operating system using the Ada 2012 language. +- [ada-kalinda-os](https://sourceforge.net/projects/sx-ada-kalinda/) - Ada KALINDA is a sort of Mac Plus like OS written in Ada95. +- [cxos](https://github.com/ajxs/cxos) - Ada Operating System development example. +- [havk](https://github.com/RavSS/HAVK) - x86-64 security-focused OS being created with SPARK. +- [cubit](https://github.com/docandrew/CuBit) - CuBitOS is a multi-processor, 64-bit, (partially) formally-verified, general-purpose operating system, currently for the x86-64 architecture. +- [ironclad](https://nongnu.org/ironclad) - A kernel for several architectures striving for POSIX compatibility, used on several distributions like [Gloire](https://github.com/streaksu/Gloire). +- [hirtos](https://github.com/jgrivera67/HiRTOS) - A high-integrity RTOS written in SPARK Ada. ## Games -- [steamsky](https://www.laeran.pl/repositories/steamsky) - 蒸汽朋克风格的 Roguelike 天空游戏. -- [unity-ada-tetris](https://blog.adacore.com/unity-ada) - Ada 中的俄罗斯方块，用于 Unity 游戏引擎. -- [tictactoe](https://github.com/AdaCore/tictactoe) - 用 SPARK/Ada 编写和验证的井字棋游戏. -- [ada-gate](https://github.com/fastrgv/AdaGate) - AdaGate 是一款第一人称 3D 推箱子益智游戏，采用 Stargate/Portal 奇幻设置，适用于 Windows、OS-X 和 Linux. -- [rufas-cube](https://github.com/fastrgv/RufasCube) - RufasCube 是一款适用于 Windows、OS-X 和 GNU Linux 的益智游戏（它看起来像魔方，但它是一个滑块，而不是扭曲器）. -- [ada-venture](https://github.com/fastrgv/AdaVenture) - AdaVenture 是一款适合儿童的复古点击游戏，包含迷宫、龙、蝙蝠和蛇. -- [co-terminal-apps](https://github.com/fastrgv/CoTerminalApps) - 在任何平台的终端中运行的复古游戏. -- [world-cup-sokerban](https://github.com/fastrgv/WorldCupSokerban) - 这是一款以足球为主题的 3D 推箱子益智游戏，可在 Windows、Mac OS-X 和 GNU Linux 上运行. -- [pasta](http://pasta.phyrama.com/) - 意大利面条！ 是一款“三消”类型的游戏，在 [gnoga] 中实现. -- [buttons](https://github.com/andreacervetti/buttons) - 一个简单的[gtkada]按钮狂热游戏. -- [mine-detector](https://github.com/jrcarter/Mine_Detector) - 地雷探测器：一款无需猜测的探雷游戏. -- [play-2048](https://github.com/mgrojo/play_2048) - 玩2048！ 是流行的 2048 游戏的克隆，在 Ada 中实现，使用 [asfml] 进行图形处理，使用 [ada-toml] 保存状态. -- [bingada](https://github.com/jfuica/bingada) - [gtkada] 中的宾果应用程序. -- [civ-klon](https://github.com/HonkiTonk/Civ-Klon) - 文明风格的回合制策略游戏. 需要 [asfml]. +- [steamsky](https://www.laeran.pl/repositories/steamsky) - Roguelike in sky with a steampunk setting. +- [unity-ada-tetris](https://blog.adacore.com/unity-ada) - Tetris, in Ada, for the Unity game engine. +- [tictactoe](https://github.com/AdaCore/tictactoe) - A tictactoe game written and proven in SPARK/Ada. +- [ada-gate](https://github.com/fastrgv/AdaGate) - AdaGate is a first-person 3D sokoban puzzle game within a Stargate / Portal fantasy setting for Windows, OS-X and Linux. +- [rufas-cube](https://github.com/fastrgv/RufasCube) - RufasCube is a puzzle game for Windows, OS-X and GNU Linux (it looks like a rubic cube but it's a slider, not a twister). +- [ada-venture](https://github.com/fastrgv/AdaVenture) - AdaVenture is a kid-friendly retro point&click game with mazes, dragons, bats & snakes. +- [co-terminal-apps](https://github.com/fastrgv/CoTerminalApps) - Retro Games that run in a terminal on any platform. +- [world-cup-sokerban](https://github.com/fastrgv/WorldCupSokerban) - This is a soccer-themed, 3D sokoban puzzle game that runs on Windows, Mac OS-X and GNU Linux. +- [pasta](http://pasta.phyrama.com/) - Pasta! is a game of the "match-3" genre, implemented in [gnoga]. +- [buttons](https://github.com/andreacervetti/buttons) - A simple [gtkada] Button Mania game. +- [mine-detector](https://github.com/jrcarter/Mine_Detector) - Mine Detector: a mine-finding game that never requires guessing. +- [play-2048](https://github.com/mgrojo/play_2048) - Play 2048! is a clone of the popular 2048 game, implemented in Ada using [asfml] for graphics and [ada-toml] for saving state. +- [bingada](https://github.com/jfuica/bingada) - Bingo application in [gtkada]. +- [civ-klon](https://github.com/HonkiTonk/Civ-Klon) - Civilization-style turn-based strategy game. Requires [asfml]. ## Frameworks ### Components -- [simple-components](http://www.dmitry-kazakov.de/ada/components.htm) - ASN.1、MQTT 客户端和服务器/代理实现、B 树、多连接 TCP 服务器、切比雪夫系列、互斥体、密码学、对象和句柄、双向链接 Web 和列表、ODBC 绑定、黑板（无锁）、OpenSSL 绑定、ELV/eQ-3 MAX！ 客户端实现、解析器、事件（普通、脉冲、数组）、持久对象和句柄、GNUTLS 绑定、持久存储和句柄、图形（有向、加权、非循环、树）、池、HTTP 实现、集合和映射、FIFO（无锁）、SMTP 客户端实现、IEEE 754、SQLite 绑定、进程间通信、堆栈、Julia 语言接口、流、JSON、字符串编辑、LDAP、表（字符串映射）、MODBUS 客户端实现、无界数组. -- [ada-util](https://github.com/stcarrez/ada-util/) - 接近Java log4j框架的日志框架，对属性的支持，XML / JSON / CSV的序列化/反序列化框架，Ada beans框架，编码/解码框架（Base16，Base64，SHA，HMAC-SHA），组合流框架（原始，文件，缓冲区，管道，套接字），几个并发工具（引用计数器，计数器，池，fifos，数组），进程创建和管道，支持加载共享库（在Windows或Unix上），HTTP客户端CURL 或 AWS 之上的库. -- [gnatcoll-core](https://github.com/AdaCore/gnatcoll-core) - 这是 GNAT 组件集合的核心模块. -- [gnatcoll-bindings](https://github.com/AdaCore/gnatcoll-bindings) - 这是 GNAT 组件集合的绑定模块. -- [gnatcoll-db](https://github.com/AdaCore/gnatcoll-db) - 这是 GNAT 组件集合的数据库模块. -- [gnatcoll-json](https://github.com/persan/gnatcoll-json) - 这是一组用于编写 JSON 接口的帮助程序，它包含大多数 Ada 运行时组件的 JSON 解析. -- [gneiss](https://github.com/Componolit/gneiss) - Gneiss 是一个接口集合，可与基于组件的系统的应用程序一起使用. 它的目标是易于移植/独立于平台，并且与 [ada-runtime] 兼容. -- [lace](https://github.com/charlie5/lace) - 一组 Ada 组件，允许在 Ada 中进行 3D 模拟、游戏和 GUI. -- [asap](https://github.com/annexi-strayline/ASAP) - 一组通用库和厚绑定，用于 AURA 包管理/构建工具. 包括 TCP、TLS、HTTP、高性能 JSON 解析器/生成器和经过形式验证的 (SPARK) UTF-8 流解码器. +- [simple-components](http://www.dmitry-kazakov.de/ada/components.htm) - ASN.1, MQTT client and server/broker implementation, B-trees, Multiple connection TCP servers, Chebyshev series, Mutexes, Cryptography, Objects and handles to, Doubly-linked webs and lists, ODBC bindings, Blackboards (lock-free), OpenSSL bindings, ELV/eQ-3 MAX! client implementation, Parsers, Events (plain, pulse, array of), Persistent objects and handles to, GNUTLS bindings, Persistent storage and handles to, Graphs (directed, weighted, acyclic, trees), Pools, HTTP implementation, Sets and maps, FIFO (lock-free), SMTP client implementation, IEEE 754, SQLite bindings, Inter-process communication, Stacks, Interfacing Julia language, Streams, JSON, Strings editing, LDAP, Tables (maps of strings), MODBUS client implementation, Unbounded arrays. +- [ada-util](https://github.com/stcarrez/ada-util/) - A logging framework close to Java log4j framework, support for properties, serialization/deserialization framework for XML/JSON/CSV, Ada beans framework, encoding/decoding framework (Base16, Base64, SHA, HMAC-SHA), a composing stream framework (raw, files, buffers, pipes, sockets), several concurrency tools (reference counters, counters, pools, fifos, arrays), process creation and pipes, support for loading shared libraries (on Windows or Unix), HTTP client library on top of CURL or AWS. +- [gnatcoll-core](https://github.com/AdaCore/gnatcoll-core) - This is the core module of the GNAT Components Collection. +- [gnatcoll-bindings](https://github.com/AdaCore/gnatcoll-bindings) - This is the bindings module of the GNAT Components Collection. +- [gnatcoll-db](https://github.com/AdaCore/gnatcoll-db) - This is the DB module of the GNAT Components Collection. +- [gnatcoll-json](https://github.com/persan/gnatcoll-json) - This is a set of helpers for writing JSON-intefaces it contains JSON parses for most of the Ada runtime components. +- [gneiss](https://github.com/Componolit/gneiss) - Gneiss is an interface collection to be used with applications for component based systems. It aims to be easily portable/platform independent and is compatible with the [ada-runtime]. +- [lace](https://github.com/charlie5/lace) - A set of Ada components to allow 3D simulations, games and GUI's in Ada. +- [asap](https://github.com/annexi-strayline/ASAP) - A set of general libraries and thick bindings for use with the AURA package management/build tool. Includes TCP, TLS, HTTP, a high-performance JSON parser/generator, and a formally verified (SPARK) UTF-8 stream decoder. ### Distributed -- [poly-orb](https://github.com/AdaCore/PolyORB) - PolyORB 提供了一个统一的解决方案来构建依赖于中间件标准的分布式应用程序. +- [poly-orb](https://github.com/AdaCore/PolyORB) - PolyORB provides a uniform solution to build distributed applications relying either on middleware standards. ### Graphical User Interface -- [gnoga](https://sourceforge.net/projects/gnoga/) - Ada 的 GNU Omnificent GUI. -- [gwindows](https://github.com/zertovitch/gwindows) - GNU Ada 可视化界面. -- [claw](http://www.rrsoftware.com/html/prodinf/claw/claw.htm) - CLAW，适用于 Microsoft Windows 的高级、可移植、Ada 95 绑定. -- [gtkada](https://github.com/AdaCore/gtkada) - 基于Gtk3组件的Ada图形工具包. -- [qt-ada](https://r3fowwcolhrzycn2yzlzzw.on.drv.tw/AdaStudio/qt6ada/qt6ada.html) - Ada-2012 移植到 Qt 6 框架. -- [vtk-ada](https://r3fowwcolhrzycn2yzlzzw-on.drv.tw/AdaStudio/vtkada/vtkada.html) - Ada-2012 移植到 VTK 8.1（可视化工具包）. -- [fltk-ada](http://jedbarber.id.au/fltkada.xhtml) - Ada-2012 与 FLTK（快光工具包）的绑定. -- [ada-gui](https://github.com/jrcarter/Ada_GUI) - GUI 在其自己的任务上实现，因此不需要其客户端放弃控制线程. 源自[gnoga]. -- [adawebui](https://github.com/godunko/adawebui) - 基于 [adawebpack] 的 GUI. - -[gnoga]：https://sourceforge.net/projects/gnoga/ -[gtkada]：https://github.com/AdaCore/gtkada +- [gnoga](https://sourceforge.net/projects/gnoga/) - The GNU Omnificent GUI for Ada. +- [gwindows](https://github.com/zertovitch/gwindows) - GNU Ada Visual Interface. +- [claw](http://www.rrsoftware.com/html/prodinf/claw/claw.htm) - CLAW, a High Level, Portable, Ada 95 Binding for Microsoft Windows. +- [gtkada](https://github.com/AdaCore/gtkada) - Ada graphical toolkit based on Gtk3 components. +- [qt-ada](https://r3fowwcolhrzycn2yzlzzw.on.drv.tw/AdaStudio/qt6ada/qt6ada.html) - Ada-2012 port to Qt 6 framework. +- [vtk-ada](https://r3fowwcolhrzycn2yzlzzw-on.drv.tw/AdaStudio/vtkada/vtkada.html) - Ada-2012 port to VTK 8.1 (Visualization Toolkit). +- [fltk-ada](http://jedbarber.id.au/fltkada.xhtml) - Ada-2012 binding to FLTK (Fast Light Toolkit). +- [ada-gui](https://github.com/jrcarter/Ada_GUI) - GUI implemented on its own task, so it doesn't require that its client give up a thread of control. Derived from [gnoga]. +- [adawebui](https://github.com/godunko/adawebui) - GUI based on [adawebpack]. + +[gnoga]: https://sourceforge.net/projects/gnoga/ +[gtkada]: https://github.com/AdaCore/gtkada ### Terminal User Interface -- [curses](https://github.com/annexi-strayline/Curses) - 高级 UNIX 终端 UI Ada 绑定包. -- [ncurses-ada95](https://invisible-island.net/ncurses/ncurses-Ada95.html) - ncurses 的 Ada95 绑定. -- [linenoise-ada](https://git.sr.ht/~nytpu/linenoise-ada) - 绑定到 Linenoise 行编辑库（修补以支持 UTF-8）. +- [curses](https://github.com/annexi-strayline/Curses) - Advanced UNIX Terminal UI Ada Binding Package. +- [ncurses-ada95](https://invisible-island.net/ncurses/ncurses-Ada95.html) - Ada95 bindings for ncurses. +- [linenoise-ada](https://git.sr.ht/~nytpu/linenoise-ada) - Bindings to the Linenoise line-editing library (patched to support UTF-8). ### 3D -- [globe-3d](https://github.com/zertovitch/globe-3d) - GL 基于对象的 3D 引擎. -- [engine-3d](https://github.com/zertovitch/engine-3d) - DOS-talgics 的 3D 引擎. -- [ada-ogl](https://github.com/JulianSchutsch/AdaOGL) - Ada OpenGL 框架. -- [ada-doom-3](https://github.com/AdaDoom3/AdaDoom3) - 采用 Ada 编程语言的 Id Software 的 Id-tech-4-BFG. +- [globe-3d](https://github.com/zertovitch/globe-3d) - GL Object Based Engine for 3D. +- [engine-3d](https://github.com/zertovitch/engine-3d) - A 3D engine for DOS-talgics. +- [ada-ogl](https://github.com/JulianSchutsch/AdaOGL) - Ada OpenGL Framework. +- [ada-doom-3](https://github.com/AdaDoom3/AdaDoom3) - Id Software's Id-tech-4-BFG in the Ada programming language. ### Database -- [ada-ado](https://github.com/stcarrez/ada-ado) - Ada Database Objects 是一个 Ada05 库，它提供对象关系映射来访问 Ada05 中的数据库. 该库支持 Postgresql、MySQL、SQLite 作为数据库. 为 ADO 开发的大多数概念都来自 Java Hibernate ORM. -- [ada-base](https://github.com/jrmarino/AdaBase) - 与 MySQL、PostgreSQL 和 SQLite for Ada 的厚数据库绑定. -- [apq-base](http://www.ravenports.com/catalog/bucket_F2/apq-base/standard/) - APQ是一个用Ada95编写的数据库接口库. +- [ada-ado](https://github.com/stcarrez/ada-ado) - Ada Database Objects is an Ada05 library that provides object relational mapping to access a database in Ada05. The library supports Postgresql, MySQL, SQLite as databases. Most of the concepts developped for ADO come from the Java Hibernate ORM. +- [ada-base](https://github.com/jrmarino/AdaBase) - Thick database bindings to MySQL, PostgreSQL and SQLite for Ada. +- [apq-base](http://www.ravenports.com/catalog/bucket_F2/apq-base/standard/) - APQ is a database interface library written in Ada95. ### Web -- [aws](https://github.com/AdaCore/aws) - AWS 是一个完整的框架，用于在 Ada 中开发基于 Web 的应用程序. -- [awa](https://github.com/stcarrez/ada-awa) - Ada Web 应用程序是在 Ada 2012 中构建 Web 应用程序的框架.该框架提供了许多 Web 应用程序常见的几个即用且可扩展的模块. 这包括登录、身份验证、用户、权限、管理评论、标签、投票、文档、图像. - - [dynamo](https://github.com/stcarrez/dynamo) - 代码生成器，用于从类似 hibernate 的 XML 描述、YAML 理论模型或 UML 模型生成 Ada Web 应用程序或数据库映射. - - [ada-wiki](https://github.com/stcarrez/ada-wiki) - Ada Wiki 是一个提供 Wiki 引擎的小型库. - - [ada-security](https://github.com/stcarrez/ada-security) - 用于保护 Web 应用程序的 OAuth 2.0 客户端和服务器框架. - - [ada-el](https://github.com/stcarrez/ada-el) - 该库提供对接近 Java 统一表达式语言 (EL) 的简单表达式语言的支持. - - [ada-asf](https://github.com/stcarrez/ada-asf) - Ada Server Faces 允许使用与 Java Server Faces 相同的模式创建 Web 应用程序（请参阅 JSR 252、JSR 314 和 JSR 344）. - - [ada-servlet](https://github.com/stcarrez/ada-servlet) - Ada Servlet 允许使用与 Java Servlet 相同的模式创建 Web 应用程序（请参阅 JSR 154、JSR 315）. -- [swagger-ada](https://github.com/stcarrez/swagger-ada) - Ada 支持 Swagger codegen：OpenAPI Generator 是一个代码生成器，支持在给定 OpenAPI 规范的情况下自动生成 API 客户端库、服务器存根和文档. -- [ews](https://github.com/simonjwright/ews) - 嵌入式 Web 服务器是一个 Web 服务器构建套件，专为使用 GNAT Ada 编译器的嵌入式应用程序而设计. -- [matreshka](https://github.com/godunko/matreshka) - Matreshka 是一个用于开发信息系统的 Ada 框架，由五个主要组件组成：联盟、XML 处理器、Web 框架、SQL 访问和建模框架. - -[matreshka]：https://github.com/godunko/matreshka +- [aws](https://github.com/AdaCore/aws) - AWS is a complete framework to develop Web based applications in Ada. +- [awa](https://github.com/stcarrez/ada-awa) - Ada Web Application is a framework to build a Web Application in Ada 2012. The framework provides several ready to use and extendable modules that are common to many web application. This includes the login, authentication, users, permissions, managing comments, tags, votes, documents, images. + - [dynamo](https://github.com/stcarrez/dynamo) - Code generator used to generate an Ada Web Application or database mappings from hibernate-like XML description, YAML doctrine model or UML models. + - [ada-wiki](https://github.com/stcarrez/ada-wiki) - Ada Wiki is a small library that provides a Wiki engine. + - [ada-security](https://github.com/stcarrez/ada-security) - OAuth 2.0 client and server framework to secure web applications. + - [ada-el](https://github.com/stcarrez/ada-el) - This library provides the support for a simple Expression Language close to the Java Unified Expression Language (EL). + - [ada-asf](https://github.com/stcarrez/ada-asf) - Ada Server Faces allows to create web applications using the same pattern as the Java Server Faces (See JSR 252, JSR 314 and JSR 344). + - [ada-servlet](https://github.com/stcarrez/ada-servlet) - Ada Servlet allows to create web applications using the same pattern as the Java Servlet (See JSR 154, JSR 315). +- [swagger-ada](https://github.com/stcarrez/swagger-ada) - Ada support for Swagger codegen: OpenAPI Generator is a code generator that supports generation of API client libraries, server stubs and documentation automatically given an OpenAPI Spec. +- [ews](https://github.com/simonjwright/ews) - Embedded Web Server is a web server construction kit, designed for embedded applications using the GNAT Ada compiler. +- [matreshka](https://github.com/godunko/matreshka) - Matreshka is an Ada framework to develop information systems consisting of five major components: League, XML processor, Web framework, SQL access, and the Modeling framework. + +[matreshka]: https://github.com/godunko/matreshka ### Unit Test, Testing -- [ahven](http://ahven.stronglytyped.org/) - Ahven 是一个简单的单元测试库和 Ada 编程框架. -语言. 它是在 JUnit 和 AUnit 的一些想法之后松散建模的. -- [aunit](https://github.com/AdaCore/aunit) - Ada 单元测试框架. -- [gnatbdd](https://github.com/briot/gnatbdd) - Ada 中的行为驱动开发. +- [ahven](http://ahven.stronglytyped.org/) - Ahven is a simple unit test library and framework for the Ada programming. +language. It is loosely modelled after JUnit and some ideas from AUnit. +- [aunit](https://github.com/AdaCore/aunit) - Ada unit testing framework. +- [gnatbdd](https://github.com/briot/gnatbdd) - Behavior Driven Development in Ada. - [scripted-testing](https://github.com/simonjwright/scripted_testing) - Supports functional testing using Tcl scripts. ### Logging -- [alog](https://www.codelabs.ch/alog/) - Alog 是 Ada 的可堆叠日志框架. +- [alog](https://www.codelabs.ch/alog/) - Alog is a stackable logging framework for Ada. ### Machine Learning -- [fuzzyml](https://sourceforge.net/projects/fuzzyml/) - 模糊机器学习框架. +- [fuzzyml](https://sourceforge.net/projects/fuzzyml/) - Fuzzy machine learning framework. ### Automation -- [aicwl](http://www.dmitry-kazakov.de/ada/aicwl.htm) - 为 Ada 应用程序设计高质量工业控制小部件而提供的软件包集合. -- [ada-for-automation](https://gitlab.com/ada-for-automation/ada-for-automation) - A4A 是使用 Ada 语言设计工业自动化应用程序的框架. +- [aicwl](http://www.dmitry-kazakov.de/ada/aicwl.htm) - Collection of packages provided for design of high-quality industrial control widgets for Ada applications. +- [ada-for-automation](https://gitlab.com/ada-for-automation/ada-for-automation) - A4A is a framework for designing industrial automation applications using the Ada language. -[aicwl]：http://www.dmitry-kazakov.de/ada/aicwl.htm +[aicwl]: http://www.dmitry-kazakov.de/ada/aicwl.htm ## Tools ### DevOps -- [septum](https://github.com/pyjarrett/septum) - 用于搜索大型代码库的交互式基于上下文的文本搜索工具. -- [powerjoular](https://github.com/joular/powerjoular) - PowerJoular 允许监控多个平台和进程的功耗. +- [septum](https://github.com/pyjarrett/septum) - An interactive context-based text search tool for searching large codebases. +- [powerjoular](https://github.com/joular/powerjoular) - PowerJoular allows monitoring power consumption of multiple platforms and processes. ### Verification -- [gnat-coverage](https://github.com/AdaCore/gnatcoverage) - GNATcoverage 是一个分析和报告程序覆盖率的工具. -- [adacontrol](https://www.adalog.fr/en/adacontrol.html) - Ada 构建 lint 工具. -- [spark-2014](https://github.com/AdaCore/spark2014/) - SPARK形式化验证工具集. -- [acats](https://github.com/simonjwright/ACATS) - Ada 合格评定测试套件，专为 GCC 定制. -- [acats-grading](https://github.com/simonjwright/ACATS-grading) - 用于对 ACATS 结果进行评分的工具，针对类 Unix 系统进行了修改. +- [gnat-coverage](https://github.com/AdaCore/gnatcoverage) - GNATcoverage is a tool to analyze and report program coverage. +- [adacontrol](https://www.adalog.fr/en/adacontrol.html) - Ada constructs lint tool. +- [spark-2014](https://github.com/AdaCore/spark2014/) - SPARK formal verification toolset. +- [acats](https://github.com/simonjwright/ACATS) - The Ada Conformity Assessment Test Suite, customised for GCC. +- [acats-grading](https://github.com/simonjwright/ACATS-grading) - Tools for grading ACATS results, modified for Unix-like systems. ### Generation -- [asn1scc](https://github.com/ttsiodras/asn1scc) - ASN1SCC：Ada 类型声明和编码器/解码器的开源 ASN.1 生成器. -- [ocarina](https://github.com/OpenAADL/ocarina) - AADL 模型处理器：映射到 Ada 代码； 佩特里网； 调度工具（MAST、Cheddar）； 世界教育考试； 真实的. -- [fmt](http://www.inspirel.com/fmt/) - 形式化方法工具包是Mathematica 的一组扩展包，配套软件. 与建模、验证和 Ada 代码生成相关的工程活动. -- [automate](https://github.com/Blady-Com/Automate) - 有限状态机生成器. -- [ajunitgen](https://github.com/mosteo/ajunitgen) - Ada 中与 JUnit 兼容的 XML 报告生成器. -- [record-flux](https://github.com/Componolit/RecordFlux) - RecordFlux：用于消息正式规范以及在 SPARK 中生成可验证的二进制解析器和消息生成器的工具集. +- [asn1scc](https://github.com/ttsiodras/asn1scc) - ASN1SCC: An open source ASN.1 generator to Ada type declarations and encoders/decoders. +- [ocarina](https://github.com/OpenAADL/ocarina) - AADL model processor: mappings to Ada code; Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL. +- [fmt](http://www.inspirel.com/fmt/) - Formal Methods Toolkit is a set of extension packages for Mathematica, supporting software. engineering activities related to modeling, verification and Ada code generation. +- [automate](https://github.com/Blady-Com/Automate) - Finite-state machine generator. +- [ajunitgen](https://github.com/mosteo/ajunitgen) - Generator of JUnit-compatible XML reports in Ada. +- [record-flux](https://github.com/Componolit/RecordFlux) - RecordFlux: Toolset for the formal specification of messages and the generation of verifiable binary parsers and message generators in SPARK. ### UML -- [ada-ml](https://github.com/rocher/AdaML) - Ada 定制的 UML 建模语言. -- [coldframe](https://github.com/simonjwright/coldframe) - ColdFrame 从 UML 模型生成 Ada 框架代码和文档. -- [umbrello](https://apps.kde.org/es/umbrello/) - 基于KDE技术的统一建模语言（UML）图表程序. 输出艾达. +- [ada-ml](https://github.com/rocher/AdaML) - Ada-tailored UML Modeling Language. +- [coldframe](https://github.com/simonjwright/coldframe) - ColdFrame generates Ada framework code and documentation from UML models. +- [umbrello](https://apps.kde.org/es/umbrello/) - Unified Modelling Language (UML) diagram program based on KDE Technology. Outputs Ada. ### Encryption -- [ada-keystore](https://github.com/stcarrez/ada-keystore) - Ada 密钥库 - 通过安全存储保护您的敏感数据. +- [ada-keystore](https://github.com/stcarrez/ada-keystore) - Ada Keystore - protect your sensitive data with secure storage. ## Libraries ### Math -- [math-packages](https://github.com/jscparker/math_packages) - Ada 中基本数学例程的集合. -- [mathpaqs](https://github.com/zertovitch/mathpaqs) - Mathpaqs 是 Ada 编程语言中 100% 可移植的数学包的集合. -- [mandelbrot-ascii](https://github.com/mosteo/mandelbrot_ascii) - “ASCII”格式的 Mandelbrot 渲染器（实际上是 unicode，但仍然是文本）. -- [lalg](https://github.com/jhumphry/LALG) - 密集线性代数包的接口. -- [geo-energy-math](https://github.com/pukpr/GeoEnergyMath) - 用于求解数学地球能源（Wiley，2018）中描述的模型的软件库. +- [math-packages](https://github.com/jscparker/math_packages) - Collection of basic math routines in Ada. +- [mathpaqs](https://github.com/zertovitch/mathpaqs) - Mathpaqs is a collection of mathematical, 100% portable, packages in the Ada programming language. +- [mandelbrot-ascii](https://github.com/mosteo/mandelbrot_ascii) - Mandelbrot renderer in "ASCII" (unicode actually, but text nonetheless). +- [lalg](https://github.com/jhumphry/LALG) - Interface to dense linear algebra packages. +- [geo-energy-math](https://github.com/pukpr/GeoEnergyMath) - Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018). ### Science -- [si](http://archive.adaic.com/tools/CKWG/Dimension/SI.html) - SI 单位已选中和未选中. -- [units-of-measurement](http://www.dmitry-kazakov.de/ada/units.htm) - 通过尺寸检查管理测量单位的库. -- [si_units](https://github.com/HeisenbugLtd/si_units) - 实用程序库，以正确的公制单位漂亮地打印物理值. +- [si](http://archive.adaic.com/tools/CKWG/Dimension/SI.html) - SI units checked and unchecked. +- [units-of-measurement](http://www.dmitry-kazakov.de/ada/units.htm) - Library to manage units of measurement with dimension checking. +- [si_units](https://github.com/HeisenbugLtd/si_units) - Utility library to pretty print physical values in proper metric units. ### Algorithms, Containers and Protocols -- [ada-language-server](https://github.com/AdaCore/ada_language_server) - Ada 和 SPARK 的 Microsoft 语言协议的 Adacore 服务器实现. -- [ada-lsp](https://github.com/reznikmm/ada-lsp) - Ada 语言服务器协议. -- [ada-lsp-client](https://github.com/Alex-Gamper/Ada-LanguageServer) - LSP 客户端的原型实现 - Visual Studio 2017. -- [ada-traits-containers](https://github.com/AdaCore/ada-traits-containers) - 用于算法和容器的通用 Ada 库. -- [dequesterity](https://sourceforge.net/projects/dequesterity/) - 双端队列/缓冲区泛型，由可以以各种方式组合以创建更高抽象缓冲区的构建块组成. -- [pragmarc](https://github.com/jrcarter/PragmARC) - 来自 PragmAda S/W Engineering 的 PragmAda 可重用组件 (PragmARC). -- [booch95](https://sourceforge.net/projects/booch95/) - Ada 95 Booch 组件是 Grady Booch 的 C++ 组件的端口. -- [ada-id](https://github.com/anthony-arnold/AdaID) - 用于生成 UUID 的简单 Ada 库. -- [ada-ga](https://github.com/frett27/Ada-GA) - Ada 的遗传算法实现. -- [ada-sodoku](https://github.com/frett27/Ada-Sodoku) - 用于数独网格求解/查找的小型库. -- [sl3p](https://github.com/jklmnn/sl3p) - 简单的第 3 层协议. -- [smart-pointers](https://github.com/alire-project/smart_pointers) - 提供引用计数访问类型Smart_Pointer 的包. -- [hungarian-algorithm](https://github.com/fastrgv/HungarianAlgorithm) - Ada 中的匈牙利算法实现. -- [sal](https://www.stephe-leake.org/ada/sal.html) - SAL（斯蒂芬的艾达图书馆）. -- [nb-ada](https://github.com/andgi/NBAda) - NBAda：无锁数据结构和算法的 Ada 库. -- [paraffin](https://sourceforge.net/projects/paraffin/) - 一套 Ada 2012 泛型，用于促进多核系统的迭代和递归并行性. -- [deepend](https://sourceforge.net/projects/deepend/) - Deepend 是一个具有 Ada 2012、Ada 2005 和 Ada 95 子池功能的存储池. -- [charles](https://web.archive.org/web/20161207211935/https://home.earthlink.net/~matthewjheaney/charles/) - Charles 是 Ada 95 容器库，是 Ada 2005+ 标准容器的前身. -- [simple-blockchain](https://github.com/tomekw/simple_blockchain) - Ada 中的简单区块链. -- [adagio](https://github.com/mosteo/adagio) - Gnutella2 (G2) 网络服务器叶. -- [agpl](https://github.com/mosteo/agpl) - Ada 通用库（杂项实用程序，具有机器人风格）. -- [az3](https://github.com/Componolit/AZ3) - Z3 的 Ada 绑定. -- [chests](https://github.com/JeremyGrosser/chests) - 箱子是有界的容器. - -[ada-语言服务器]：https://github.com/AdaCore/ada_language_server +- [ada-language-server](https://github.com/AdaCore/ada_language_server) - Adacore server implemention of the the Microsoft Language Protocol for Ada and SPARK. +- [ada-lsp](https://github.com/reznikmm/ada-lsp) - Language Server Protocol for Ada. +- [ada-lsp-client](https://github.com/Alex-Gamper/Ada-LanguageServer) - Prototype implementation of LSP client - Visual Studio 2017. +- [ada-traits-containers](https://github.com/AdaCore/ada-traits-containers) - Generic Ada Library for Algorithms and Containers. +- [dequesterity](https://sourceforge.net/projects/dequesterity/) - Deque/buffer generics that consist of building blocks that may be combined in various ways to create higher abstraction buffers. +- [pragmarc](https://github.com/jrcarter/PragmARC) - PragmAda Reusable Components (PragmARCs) from PragmAda S/W Engineering. +- [booch95](https://sourceforge.net/projects/booch95/) - The Ada 95 Booch components are a port of Grady Booch's C++ components. +- [ada-id](https://github.com/anthony-arnold/AdaID) - Simple Ada library for generating UUIDs. +- [ada-ga](https://github.com/frett27/Ada-GA) - Genetic Algorithm Implementation for Ada. +- [ada-sodoku](https://github.com/frett27/Ada-Sodoku) - Small Library for Sodoku grid solving / finding. +- [sl3p](https://github.com/jklmnn/sl3p) - Simple Layer 3 Protocol. +- [smart-pointers](https://github.com/alire-project/smart_pointers) - A package providing a reference-counted access type Smart_Pointer. +- [hungarian-algorithm](https://github.com/fastrgv/HungarianAlgorithm) - Hungarian Algorithm implementation in Ada. +- [sal](https://www.stephe-leake.org/ada/sal.html) - SAL (Stephe's Ada Library). +- [nb-ada](https://github.com/andgi/NBAda) - NBAda : An Ada library of lock-free data structures and algorithms. +- [paraffin](https://sourceforge.net/projects/paraffin/) - A suite of Ada 2012 generics to facilitate iterative and recursive parallelism for multicore systems. +- [deepend](https://sourceforge.net/projects/deepend/) - Deepend is a storage pool with subpool capabilities for Ada 2012, Ada 2005, and Ada 95. +- [charles](https://web.archive.org/web/20161207211935/https://home.earthlink.net/~matthewjheaney/charles/) - Charles is an Ada 95 container library, precursor to Ada 2005+ standard containers. +- [simple-blockchain](https://github.com/tomekw/simple_blockchain) - Simple blockchain in Ada. +- [adagio](https://github.com/mosteo/adagio) - Gnutella2 (G2) network server leaf. +- [agpl](https://github.com/mosteo/agpl) - Ada General Purpose Library (Miscellaneous utilities, with a robotic flavor). +- [az3](https://github.com/Componolit/AZ3) - Ada binding for Z3. +- [chests](https://github.com/JeremyGrosser/chests) - Chests are bounded containers. + +[ada-language-server]: https://github.com/AdaCore/ada_language_server ### Cryptography -- [threefish](https://github.com/jrcarter/Threefish) - Threefish-256 加密算法的 Ada 实现. -- [fletcher](https://github.com/darkestkhan/fletcher) - fletcher_16 校验和计算算法的简单实现. -- [base58-ada](https://github.com/MichaelAllenHardeman/base58_ada) - Ada 中的 Base58 编码和解码. -- [ada-crypto-library](https://github.com/cforler/Ada-Crypto-Library) - 这是 Ada 的加密库，具有良好的 API，是为 i386 和 x86_64 硬件架构编写的. -- [libsparkcrypto](https://github.com/Componolit/libsparkcrypto) - 在 SPARK 中实现的密码库. -- [sip-hash](https://github.com/grim7reaper/SipHash) - SipHash PRF 的纯 Ada 实现. -- [libkeccak](https://github.com/damaki/libkeccak) - Keccak 系列海绵函数和相关结构的 SPARK 实现. -- [ascon-spark](https://github.com/jhumphry/Ascon_SPARK) - Ascon 验证加密与附加数据算法的 Ada/SPARK 实现. -- [spark-sip-hash](https://github.com/jhumphry/SPARK_SipHash) - SipHash 键控哈希函数的 Ada/SPARK 实现. -- [spark-norx](https://github.com/jhumphry/SPARK_NORX) - 采用附加数据算法的 NORX 认证加密的 Ada/SPARK 实施. -- [spark-nacl](https://github.com/rod-chapman/SPARKNaCl) - SPARK 2014 重新实现 TweetNaCl 加密库. -- [stotp](https://github.com/jklmnn/STOTP) - SPARK 中的定时 One-Time-Pad (RFC 6238) 实现. -- [xxhash-ada](https://github.com/lyarbean/xxhash-ada) - 极快的非加密哈希算法，xxhash 的工作速度接近 RAM 限制. -- [libsodium-ada](https://github.com/jrmarino/libsodium-ada) - 安全加密库（Ada 的 libsodium）. -- [ada-libsecret](https://github.com/stcarrez/ada-libsecret) - libsecret 库的 Ada 绑定. -- [blake2s](https://github.com/lkujaw/blake2s) - BLAKE2s 哈希函数的 SPARK83 实现. +- [threefish](https://github.com/jrcarter/Threefish) - Ada Implementation of the Threefish-256 Encryption Algorithm. +- [fletcher](https://github.com/darkestkhan/fletcher) - Trivial implementation of fletcher_16 checksum computation algorithm. +- [base58-ada](https://github.com/MichaelAllenHardeman/base58_ada) - Base58 encoding and decoding in Ada. +- [ada-crypto-library](https://github.com/cforler/Ada-Crypto-Library) - This is a crypto library for Ada with a nice API and is written for the i386 and x86_64 hardware architecture. +- [libsparkcrypto](https://github.com/Componolit/libsparkcrypto) - A cryptographic library implemented in SPARK. +- [sip-hash](https://github.com/grim7reaper/SipHash) - A pure Ada implementation of the SipHash PRF. +- [libkeccak](https://github.com/damaki/libkeccak) - A SPARK implementation of the Keccak family of sponge functions and related constructions. +- [ascon-spark](https://github.com/jhumphry/Ascon_SPARK) - Ada/SPARK implementation of the Ascon Authenticated Encryption with Additional Data Algorithm. +- [spark-sip-hash](https://github.com/jhumphry/SPARK_SipHash) - Ada/SPARK implementation of the SipHash keyed hash function. +- [spark-norx](https://github.com/jhumphry/SPARK_NORX) - Ada/SPARK implementation of the NORX Authenticated Encryption with Additional Data Algorithm. +- [spark-nacl](https://github.com/rod-chapman/SPARKNaCl) - SPARK 2014 re-implementation of the TweetNaCl crypto library. +- [stotp](https://github.com/jklmnn/STOTP) - Timed One-Time-Pad (RFC 6238) implementation in SPARK. +- [xxhash-ada](https://github.com/lyarbean/xxhash-ada) - Extremely fast non-cryptographic Hash algorithm, xxhash is working at speeds close to RAM limits. +- [libsodium-ada](https://github.com/jrmarino/libsodium-ada) - A secure cryptographic library (libsodium for Ada). +- [ada-libsecret](https://github.com/stcarrez/ada-libsecret) - Ada Binding for the libsecret library. +- [blake2s](https://github.com/lkujaw/blake2s) - SPARK83 implementation of the BLAKE2s hash function. ### Compression -- [zip-ada](https://github.com/zertovitch/zip-ada) - Zip-Ada 是一个用于处理 Zip 压缩存档文件格式的编程库. -- [ada-lzma](https://github.com/stcarrez/ada-lzma) - liblzma 压缩库的 Ada 绑定. -- [dcf-ada](https://github.com/onox/dcf-ada) - 用于文档容器文件的 Ada 2012 库（基于 [zip-ada]）. +- [zip-ada](https://github.com/zertovitch/zip-ada) - Zip-Ada is a programming library for dealing with the Zip compressed archive file format. +- [ada-lzma](https://github.com/stcarrez/ada-lzma) - Ada binding for liblzma compression library. +- [dcf-ada](https://github.com/onox/dcf-ada) - An Ada 2012 library for document container files (Based on [zip-ada]). -[zip-ada]：https://github.com/zertovitch/zip-ada +[zip-ada]: https://github.com/zertovitch/zip-ada ### Patterns -- [ada-promises](https://github.com/briot/Ada-promises) - 实现 Ada 中的承诺. 类型安全、高效、线程安全. -- [reqrep-task-pools](https://github.com/jhumphry/Reqrep_Task_Pools) - 作业的任务池系统. -- [rxada](https://github.com/mosteo/rxada) - Rx 方法的 Ada 2012 实施. +- [ada-promises](https://github.com/briot/Ada-promises) - Implementing promises in Ada. Type-safe, efficient, thread-safe. +- [reqrep-task-pools](https://github.com/jhumphry/Reqrep_Task_Pools) - Task pool system for jobs. +- [rxada](https://github.com/mosteo/rxada) - An Ada 2012 implementation of the Rx methodology. ### System Modeling -- [ada-fuzzy](https://github.com/briot/adafuzzy) - Ada 的模糊推理系统库. -- [radalib](https://github.com/sergio-gomez/Radalib) - 用于分析复杂网络等的 Ada 库和工具. +- [ada-fuzzy](https://github.com/briot/adafuzzy) - A fuzzy inference system library for Ada. +- [radalib](https://github.com/sergio-gomez/Radalib) - Ada library and tools for the analysis of Complex Networks and more. ### Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters -- [libadalang](https://github.com/AdaCore/libadalang/) - Libadalang 是一个用于 Ada 代码解析和语义分析的库. 它旨在作为集成到其他工具（IDE、静态分析器等）的构建块. -- [aflex-ayacc](https://blog.vacs.fr/vacs/blogs/post.html?post=2021/12/18/Aflex-1.5-and-Ayacc-1.3.0) - Ada 扫描器和解析器生成器. -- [wisitoken](https://stephe-leake.org/ada/wisitoken.html) - WisiToken 是 LALR、LR1 和 Packrat 解析器生成器和运行时. -- [gela](https://github.com/reznikmm/gela) - Ada 代码分析器. -- [anagram](https://github.com/reznikmm/anagram) - 语法处理和解析器生成 Ada 库. -- [ada-pretty](https://github.com/reznikmm/ada-pretty) - Ada 的漂亮打印库. -- [increment](https://github.com/reznikmm/increment) - Ada 中的增量分析. -- [parse-args](https://github.com/jhumphry/parse_args) - 简单的命令行参数解析. -- [aforth](https://github.com/samueltardieu/aforth) - 用 Ada 编写的嵌入式 Forth 解释器. -- [parser-tools](https://github.com/flyx/ParserTools) - 在 Ada 中编写词法分析器/解析器的工具. -- [xia](https://github.com/simonjwright/xia) - XPath 1.0 的 Ada 实现. +- [libadalang](https://github.com/AdaCore/libadalang/) - Libadalang is a library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static analyzers, etc). +- [aflex-ayacc](https://blog.vacs.fr/vacs/blogs/post.html?post=2021/12/18/Aflex-1.5-and-Ayacc-1.3.0) - Ada scanner and parser generators. +- [wisitoken](https://stephe-leake.org/ada/wisitoken.html) - WisiToken is an LALR, LR1, and Packrat parser generator and run-time. +- [gela](https://github.com/reznikmm/gela) - Ada code analyzer. +- [anagram](https://github.com/reznikmm/anagram) - Grammar handling and parser generation Ada library. +- [ada-pretty](https://github.com/reznikmm/ada-pretty) - Pretty printing library for Ada. +- [increment](https://github.com/reznikmm/increment) - Incremental analysis in Ada. +- [parse-args](https://github.com/jhumphry/parse_args) - Simple command-line argument parsing. +- [aforth](https://github.com/samueltardieu/aforth) - Embeddable Forth interpreter written in Ada. +- [parser-tools](https://github.com/flyx/ParserTools) - Tools for writing lexers / parsers in Ada. +- [xia](https://github.com/simonjwright/xia) - An Ada implementation of XPath 1.0. ### Format Readers and Writers -- [ini-files](https://github.com/zertovitch/ini-files) - Ini 文件管理器由 Config 包组成，它可以读取和修改称为“ini”文件的各种配置文件中的信息. -- [protobuf-ada](https://github.com/persan/protobuf-ada) - 对 Google Protocol Buffers 的实验性 Ada 代码生成支持. -- [protobuf](https://github.com/reznikmm/protobuf) - Ada 中的 Google Protocol Buffers 实现，使用 [matreshka]. -- [ada-yaml](https://github.com/yaml/AdaYaml) - Ada 中的实验性 YAML 1.3 实现. -- [json-ada](https://github.com/onox/json-ada) - 用于解析 JSON 的 Ada 2012 库. -- [jwx](https://github.com/Componolit/jwx) - SPARK 中经过正式验证的 JSON 库. -- [xmlada](https://github.com/AdaCore/xmlada) - XML/Ada 工具包. -- [xml-ez-out](https://github.com/alire-project/xmlezout) - 用于从 Ada 程序发出 XML 的库. -- [spark-xml](https://github.com/Componolit/SXML) - SPARK 中经过正式验证的 XML 库. -- [excel-writer](https://github.com/zertovitch/excel-writer) - 创建具有基本格式的 Excel 文件. -- [generic-image-decoder](https://github.com/zertovitch/gid) - Ada 的多格式图像解码器库. -- [ada-pdf-writer](https://github.com/zertovitch/ada-pdf-writer) - Ada 包，用于从 Ada 程序轻松自动生成 PDF 文件，包含文本、矢量图形、图像 (JPEG). -- [ada-midi](https://github.com/frett27/Ada-Midi) - 实现Midi / MidiFile读写. -- [ada-bar-codes](https://github.com/zertovitch/ada-bar-codes) - Ada Bar Codes 提供了一个包，用于在不同的输出格式（例如 PDF 或 SVG）上生成各种类型的条形码（1D 或 2D，如 QR 码）. -- [ada-bin2asc](https://github.com/jhumphry/Ada_BinToAsc) - 各种二进制到 ASCII 的编解码器，例如 Base64. -- [abf-io](https://github.com/gerr135/abf_io) - Ada 中 Axon 的 ABF 文件格式（电生理学，最常见）的访问例程库. -- [ada-toml](https://github.com/pmderodat/ada-toml) - Ada 的 TOML 解析器. -- [uri-ada](https://git.sr.ht/~nytpu/uri-ada) - URI 和 MIME 解析器和操作库. - -[ada-toml]：https://github.com/pmderodat/ada-toml +- [ini-files](https://github.com/zertovitch/ini-files) - The Ini file manager consists of a package, Config, which can read and modify informations from various configuration files known as "ini" files. +- [protobuf-ada](https://github.com/persan/protobuf-ada) - Experimental Ada code generation support for Google Protocol Buffers. +- [protobuf](https://github.com/reznikmm/protobuf) - A Google Protocol Buffers implementation in Ada, using [matreshka]. +- [ada-yaml](https://github.com/yaml/AdaYaml) - Experimental YAML 1.3 implementation in Ada. +- [json-ada](https://github.com/onox/json-ada) - An Ada 2012 library for parsing JSON. +- [jwx](https://github.com/Componolit/jwx) - A formally verified JSON library in SPARK. +- [xmlada](https://github.com/AdaCore/xmlada) - The XML/Ada toolkit. +- [xml-ez-out](https://github.com/alire-project/xmlezout) - Library for emitting XML from Ada programs. +- [spark-xml](https://github.com/Componolit/SXML) - A formally verified XML library in SPARK. +- [excel-writer](https://github.com/zertovitch/excel-writer) - Create Excel files with basic formats. +- [generic-image-decoder](https://github.com/zertovitch/gid) - Multi-format image decoder library for Ada. +- [ada-pdf-writer](https://github.com/zertovitch/ada-pdf-writer) - Ada package for producing easily and automatically PDF files, from an Ada program, with text, vector graphics, images (JPEG). +- [ada-midi](https://github.com/frett27/Ada-Midi) - Implementation of Midi / MidiFile reading and writing. +- [ada-bar-codes](https://github.com/zertovitch/ada-bar-codes) - Ada Bar Codes provides a package for generating various types of bar codes (1D, or 2D like QR codes) on different output formats, such as PDF or SVG. +- [ada-bin2asc](https://github.com/jhumphry/Ada_BinToAsc) - Various binary-to-ASCII codecs such as Base64. +- [abf-io](https://github.com/gerr135/abf_io) - A library of access routines to Axon's ABF file format (electrophysiology, most common) in Ada. +- [ada-toml](https://github.com/pmderodat/ada-toml) - TOML parser for Ada. +- [uri-ada](https://git.sr.ht/~nytpu/uri-ada) - URI and MIME parser & manipulation library. + +[ada-toml]: https://github.com/pmderodat/ada-toml ### Networking and Communication Middleware -- [anet](https://www.codelabs.ch/anet/) - Anet 是 Ada 编程语言的网络库. -- [adhcp](https://codelabs.ch/adhcp/index.html) - ADHCP 是 DHCP 协议在 Ada 中的实现. -- [adasockets](https://github.com/samueltardieu/adasockets) - IPv4 套接字库（TCP、UDP 和多播）. -- [dbus-ada](https://codelabs.ch/dbus-ada/index.html) - D_Bus/Ada 库提供了到 D-Bus 消息总线系统的 Ada 绑定. -- [zeromq-ada](https://github.com/persan/zeromq-Ada.git) - 绑定到 ZeroMQ 通信库. -- [tomi-4-ada](https://sourceforge.net/projects/tomi4ada) - 各种客户端/服务器和发布/订阅消息协议（AMQP、STOMP 和 ZeroMQ）的包装器，专门关注文本消息通信. -- [mosquitto-ada](https://github.com/persan/mosquitto-ada) - MQTT 代理 Mosquitto 的绑定. -- [tlsada](https://git.sr.ht/~nytpu/tlsada) - 绑定到 libtls TLS/SSL 库. -- [kafka-ada](https://github.com/Latence-Technologies/Kafka-Ada) - 绑定 C librdkafka 库，允许从 Kafka 总线发送和接收. -- [adare-net](https://gitlab.com/daresoft/network/adare_net) - 这是一个小型、可移植且易于使用的 Ada 网络库. 它支持 ipv4 ipv6 udp 和 tcp，也可以“监听”ipv6. +- [anet](https://www.codelabs.ch/anet/) - Anet is a networking library for the Ada programming language. +- [adhcp](https://codelabs.ch/adhcp/index.html) - ADHCP is an implementation of the DHCP protocol in Ada. +- [adasockets](https://github.com/samueltardieu/adasockets) - IPv4 socket library (TCP, UDP, and multicast). +- [dbus-ada](https://codelabs.ch/dbus-ada/index.html) - The D_Bus/Ada library provides an Ada binding to the D-Bus message bus system. +- [zeromq-ada](https://github.com/persan/zeromq-Ada.git) - Binding to the ZeroMQ comunications-library. +- [tomi-4-ada](https://sourceforge.net/projects/tomi4ada) - Wrappers for various client/server and pub/sub messaging protocols (AMQP, STOMP and ZeroMQ), focusing exclusively on text message communications. +- [mosquitto-ada](https://github.com/persan/mosquitto-ada) - Binding for the MQTT broker Mosquitto. +- [tlsada](https://git.sr.ht/~nytpu/tlsada) - Bindings to the libtls TLS/SSL library. +- [kafka-ada](https://github.com/Latence-Technologies/Kafka-Ada) - Binding for the C librdkafka library, allows sending and receiving from a Kafka bus. +- [adare-net](https://gitlab.com/daresoft/network/adare_net) - This is a small, portable and easy to use Ada network lib. It supports ipv4 ipv6 udp and tcp, and can 'listen' with ipv6, too. ### Chatting and Communication -- [axmpp](https://github.com/coopht/axmpp) - 使用 AXMPP 库，您可以连接到 Jabber 服务器来发送和接收消息. -- [weechat-ada](https://github.com/onox/weechat-ada) - 用于 WeeChat 插件的 Ada 2012 库. -- [weechat-canberra](https://github.com/onox/weechat-canberra) - 用 Ada 2012 编写的 WeeChat 插件，使用 Canberra 播放声音. -- [weechat-emoji](https://github.com/onox/weechat-emoji) - 用 Ada 2012 编写的显示表情符号的 WeeChat 插件. +- [axmpp](https://github.com/coopht/axmpp) - With the AXMPP library you can connect to a Jabber server to send and receive messages. +- [weechat-ada](https://github.com/onox/weechat-ada) - Ada 2012 library for WeeChat plug-ins. +- [weechat-canberra](https://github.com/onox/weechat-canberra) - A WeeChat plug-in written in Ada 2012 that plays sounds using Canberra. +- [weechat-emoji](https://github.com/onox/weechat-emoji) - A WeeChat plug-in written in Ada 2012 that displays emoji. ### Web -- [template-parser](https://github.com/AdaCore/templates-parser) - AWS 模板引擎. +- [template-parser](https://github.com/AdaCore/templates-parser) - AWS templates engine. -[模板解析器]：https://github.com/AdaCore/templates-parser +[template-parser]: https://github.com/AdaCore/templates-parser ### Graphics and Multimedia -- [orka](https://github.com/onox/orka) - Ada 2012 中的 OpenGL 4.6 渲染内核. -- [opengl-ada](https://github.com/flyx/OpenGLAda) - OpenGL 和 GLFW 的厚 Ada 绑定. -- [adagl](https://github.com/godunko/adagl) - 多平台 Ada/OpenGL 绑定（移植到本机/OpenGL、A2JS/WebGL 和 WASM/WebGL）. -- [sdlada](https://github.com/Lucretia/sdlada) - Ada 2012 与 SDL 2 的绑定. -- [ada-nanovg](https://github.com/raph-amiard/ada-nanovg) - Ada 与 NanoVG 的结合. -- [free-type-ada](https://github.com/flyx/FreeTypeAda) - Ada 2005 的 FreeType 绑定. -- [asfml](https://github.com/mgrojo/ASFML) - Ada 绑定到简单快速的多媒体库. -- [plplot](https://sourceforge.net/projects/plplot/) - 跨平台、科学图形绘图库，包括 Ada 绑定. -- [vulkada](https://phasercat.com/vulkada/) - Ada 2012 的完整 Vulkan 1.1 厚装订. +- [orka](https://github.com/onox/orka) - The OpenGL 4.6 Rendering Kernel in Ada 2012. +- [opengl-ada](https://github.com/flyx/OpenGLAda) - Thick Ada binding for OpenGL and GLFW. +- [adagl](https://github.com/godunko/adagl) - Multiplatform Ada/OpenGL bindings (ported to native/OpenGL, A2JS/WebGL and WASM/WebGL). +- [sdlada](https://github.com/Lucretia/sdlada) - Ada 2012 bindings to SDL 2. +- [ada-nanovg](https://github.com/raph-amiard/ada-nanovg) - Ada bindings to NanoVG. +- [free-type-ada](https://github.com/flyx/FreeTypeAda) - FreeType binding for Ada 2005. +- [asfml](https://github.com/mgrojo/ASFML) - Ada binding to the Simple and Fast Multimedia Library. +- [plplot](https://sourceforge.net/projects/plplot/) - Cross-platform, scientific graphics plotting library, including an Ada binding. +- [vulkada](https://phasercat.com/vulkada/) - A complete Vulkan 1.1 thick binding for Ada 2012. -[asfml]：https://github.com/mgrojo/ASFML -[plplot]：https://sourceforge.net/projects/plplot/ +[asfml]: https://github.com/mgrojo/ASFML +[plplot]: https://sourceforge.net/projects/plplot/ ### General Purpose Computing -- [cuda](https://github.com/AdaCore/cuda) - AdaCore 的 CUDA 支持. -- [cuda-ada](https://codelabs.ch/cuda-ada/index.html) - CUDA/Ada 是与 NVIDIA 的 CUDA 并行计算平台和编程模型绑定的 Ada. -- [opencl-ada](https://github.com/flyx/OpenCLAda) - OpenCL 主机 API 的 Ada 绑定. +- [cuda](https://github.com/AdaCore/cuda) - CUDA support from AdaCore. +- [cuda-ada](https://codelabs.ch/cuda-ada/index.html) - CUDA/Ada is an Ada binding to NVIDIA's CUDA parallel computing platform and programming model. +- [opencl-ada](https://github.com/flyx/OpenCLAda) - An Ada binding for the OpenCL host API. ### Sound -- [opus-ada](https://github.com/onox/opus-ada) - Opus 音频编解码器的 Ada 2012 绑定. -- [canberra-ada](https://github.com/onox/canberra-ada) - libcanberra 的 Ada 2012 绑定，XDG 声音主题和名称规范的实现. -- [ada-soundio](https://github.com/raph-amiard/ada-soundio) - libsoundio 的 Ada 绑定. -- [oto](https://github.com/darkestkhan/oto) - Ada 绑定到 OpenAL，它尝试在使用 Ada 类型时模仿原始 API. -- [coreland-openal-ada](https://github.com/io7m/coreland-openal-ada) - Ada 绑定到 OpenAL. -- [ada-synthetizer](https://github.com/frett27/Ada-Synthetizer) - 在 Ada 中实现的声音合成器库. -- [scala](https://www.huygens-fokker.org/scala) - Scala 是一款功能强大的软件工具，用于实验音乐调音，例如纯音阶、平均律和历史律、微音阶和宏音阶以及非西方音阶. -- [portable-openal-sound](https://github.com/fastrgv/portable-openal-sound) - 用于 Ada 应用程序的 linux-sound-playing 包，可以异步启动和停止音乐循环，以及启动瞬态声音. -- [adaogg](https://phasercat.com/adaogg/) - 完整的薄接口层，将 Ogg、Vorbis 和 Theora 库引入 Ada 2012 编程语言. +- [opus-ada](https://github.com/onox/opus-ada) - Ada 2012 bindings for the Opus audio codec. +- [canberra-ada](https://github.com/onox/canberra-ada) - Ada 2012 bindings for libcanberra, an implementation of the XDG Sound Theme and Name Specifications. +- [ada-soundio](https://github.com/raph-amiard/ada-soundio) - Ada bindings for libsoundio. +- [oto](https://github.com/darkestkhan/oto) - Ada binding to OpenAL which tries to mimic original API while using Ada types. +- [coreland-openal-ada](https://github.com/io7m/coreland-openal-ada) - Ada binding to OpenAL. +- [ada-synthetizer](https://github.com/frett27/Ada-Synthetizer) - Sound Synthetizer Library implemented in Ada. +- [scala](https://www.huygens-fokker.org/scala) - Scala is a powerful software tool for experimentation with musical tunings, such as just intonation scales, equal and historical temperaments, microtonal and macrotonal scales, and non-Western scales. +- [portable-openal-sound](https://github.com/fastrgv/portable-openal-sound) - A linux-sound-playing package for Ada apps that can asynchronously start and stop music loops, as well as initiate transient sounds. +- [adaogg](https://phasercat.com/adaogg/) - Complete thin interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. ### Localization -- [zanyblue](https://sourceforge.net/projects/zanyblue/) - Ada 包允许将应用程序消息外部化到属性文件中. +- [zanyblue](https://sourceforge.net/projects/zanyblue/) - An Ada package allowing the externalization of application messages into a properties file. ### Utilities -- [auto-counters](https://github.com/jhumphry/auto_counters) - 资源管理的引用计数方法. -- [a-stream-tools](https://github.com/persan/a-stream-tools.git) - Ada2005 和 2012 的流实用程序. -- [ssprep](https://github.com/persan/ssprep.git) - 类似于 jinja 的可扩展模板引擎，但使用 [template-parser] 并用于命令行使用. -- [licensing](https://github.com/mosteo/licensing) - Ada 的开源许可证库. -- [simple-logging](https://github.com/alire-project/simple_logging) - 易于使用的日志记录工具可输出到 Ada 程序中的控制台. -- [rsfile](https://github.com/mosteo/rsfile) - 命令行实用程序，从文件夹层次结构中选取文件，其概率与其大小成正比. -- [cstrings](https://github.com/mosteo/cstrings) - 方便的子程序与 C 字符串交互. -- [cvsweb2git](https://github.com/reznikmm/cvsweb2git) - 用于将 Ada 合格评定机构共享的 CVS 存储库导入到 Git 存储库的工具. -- [ada-bundler](https://github.com/flyx/ada-bundler) - 用于在 Ada 应用程序中透明地处理数据和配置文件访问的库和工具. 支持 macOS、Linux 和 Windows. -- [macos-sdks-vs-gcc](https://github.com/simonjwright/macos-sdks-vs-gcc) - 提供 GCC“规格”文件以应对 SDK 策略更改. -- [ux-strings](https://github.com/Blady-Com/UXStrings) - Unicode 扩展字符串. -- [getopt-ada](https://git.sr.ht/~nytpu/getopt-ada) - Ada 中 getopt(3) 的可移植实现. +- [auto-counters](https://github.com/jhumphry/auto_counters) - Reference counting approaches to resource management. +- [a-stream-tools](https://github.com/persan/a-stream-tools.git) - Stream utilities for Ada2005 and 2012. +- [ssprep](https://github.com/persan/ssprep.git) - An extensible template engine akin to jinja but using [template-parser] and intended for command line usage. +- [licensing](https://github.com/mosteo/licensing) - Open Source Licenses library for Ada. +- [simple-logging](https://github.com/alire-project/simple_logging) - Easy to use logging facilities for output to console in Ada programs. +- [rsfile](https://github.com/mosteo/rsfile) - Command-line utility that picks a file from a folder hierarchy with probability proportional to its size. +- [cstrings](https://github.com/mosteo/cstrings) - Convenience subprograms to interact with C strings. +- [cvsweb2git](https://github.com/reznikmm/cvsweb2git) - Tool to imports CVS repository shared on Ada Conformity Assessment Authority into the Git repository. +- [ada-bundler](https://github.com/flyx/ada-bundler) - Library and tool for transparently handling data and configuration file access in an Ada application. Supports macOS, Linux and Windows. +- [macos-sdks-vs-gcc](https://github.com/simonjwright/macos-sdks-vs-gcc) - Provides GCC 'specs' files to cope with SDK policy changes. +- [ux-strings](https://github.com/Blady-Com/UXStrings) - Unicode extended strings. +- [getopt-ada](https://git.sr.ht/~nytpu/getopt-ada) - Portable implementation of getopt(3) in Ada. ### Robotics -- [rclada](https://github.com/ada-ros/rclada) - ROS2/RCL 的 Ada 客户端库. -- [player-ada](https://github.com/mosteo/player-ada) - 玩家机器人平台的 Ada 绑定. +- [rclada](https://github.com/ada-ros/rclada) - Ada client library for ROS2/RCL. +- [player-ada](https://github.com/mosteo/player-ada) - Ada bindings for the player robotic platform. ### Linux and POSIX -- [florist](https://www.cs.fsu.edu/~baker/florist.html) - POSIX Ada 绑定，IEEE 标准 1003.5(b,c). -- [wposix](https://github.com/AdaCore/wposix) - Ada Windows POSIX 绑定. -- [ada-v4l2](https://github.com/frett27/AdaV4L2) - Ada Posix 绑定到 Video 4 Linux，用于 RPI. -- [inotify-ada](https://github.com/onox/inotify-ada) - Ada 2012 库，用于使用 Linux 的 inotify API 监视文件系统事件. -- [dl-ada](https://github.com/mosteo/dl-ada) - 与 libdl 的最小绑定. +- [florist](https://www.cs.fsu.edu/~baker/florist.html) - POSIX Ada binding, IEEE Standards 1003.5(b,c). +- [wposix](https://github.com/AdaCore/wposix) - Ada Windows POSIX binding. +- [ada-v4l2](https://github.com/frett27/AdaV4L2) - Ada Posix Binding to Video 4 Linux, used for RPI. +- [inotify-ada](https://github.com/onox/inotify-ada) - An Ada 2012 library for monitoring filesystem events using Linux' inotify API. +- [dl-ada](https://github.com/mosteo/dl-ada) - Minimal binding to libdl. ### Windows and .NET -- [win32ada](https://github.com/AdaCore/win32ada) - Windows 库的 Ada API. +- [win32ada](https://github.com/AdaCore/win32ada) - Ada API to the Windows library. - [ada-net-framework](https://github.com/Alex-Gamper/Ada-NetFramework) - Ada bindings to the Microsoft NetFramework Api. -- [ada-winrt](https://github.com/Alex-Gamper/Ada-WinRT) - Microsft WinRT Api 的 Ada 绑定. -- [ada-win32](https://github.com/Alex-Gamper/Ada-Win32) - Microsoft Win32 Api 的 Ada 绑定. +- [ada-winrt](https://github.com/Alex-Gamper/Ada-WinRT) - Ada bindings for the Microsft WinRT Api. +- [ada-win32](https://github.com/Alex-Gamper/Ada-Win32) - Ada bindings for the Microsoft Win32 Api. ## Hardware and Embedded ### Frameworks -- [SweetAda](https://github.com/gabriele-galeotti/SweetAda) - 一个轻量级开发框架，其目的是实现基于 Ada 的软件系统. 它支持多种 CPU 架构和开发板. -- [robotics-with-ada](https://github.com/AdaCore/Robotics_with_Ada) - 采用 Ada、ARM 和乐高的机器人技术. +- [SweetAda](https://github.com/gabriele-galeotti/SweetAda) - A lightweight development framework whose purpose is the implementation of Ada-based software systems. It supports a plethora or CPU architectures and development boards. +- [robotics-with-ada](https://github.com/AdaCore/Robotics_with_Ada) - Robotics with Ada, ARM, and Lego. ### Firmwares -- [certiflie](https://github.com/AdaCore/Certyflie) - 完整 Ada + SPARK Crazyflie 2.0 固件的源代码. +- [certiflie](https://github.com/AdaCore/Certyflie) - Source code for the full Ada + SPARK Crazyflie 2.0 firmware. ### Drivers -- [ada-drivers-library](https://github.com/AdaCore/Ada_Drivers_Library) - 适用于各种 MCU 和传感器的 Ada 驱动程序. -- [em-brick](https://github.com/it-cosmos/emBRICK) - emBRICK 驱动程序以及 Ada 中对 emBRICK 的支持. -- [dw1000](https://github.com/damaki/DW1000) - 用于 DecaWave DW1000 超宽带 (UWB) 无线电芯片的 Ada/SPARK 驱动程序. -- [evb1000](https://github.com/damaki/EVB1000) - Ada/SPARK 驱动程序用于控制 DecaWave EVB1000 评估板的板载外设. -- [multiplexed-io](https://github.com/simonjwright/multiplexed-io) - 这包含针对 AdaPilot 的探索，即使用 AdaCore 中的 Ada 2012 的 Ravenscar 配置文件以及使用 SVD2Ada 生成的设备绑定来实现 AdaRacer MCU 的驱动程序. +- [ada-drivers-library](https://github.com/AdaCore/Ada_Drivers_Library) - Ada drivers for various MCU and sensors. +- [em-brick](https://github.com/it-cosmos/emBRICK) - emBRICK driver and support for emBRICK in Ada. +- [dw1000](https://github.com/damaki/DW1000) - Ada/SPARK driver for the DecaWave DW1000 ultra-wideband (UWB) radio chip. +- [evb1000](https://github.com/damaki/EVB1000) - Ada/SPARK drivers to control the on-board peripherals of the DecaWave EVB1000 evaluation board. +- [multiplexed-io](https://github.com/simonjwright/multiplexed-io) - This contains explorations, for AdaPilot, of implementing drivers for the AdaRacer MCU, using the Ravenscar profile of Ada 2012 from AdaCore and device bindings generated using SVD2Ada. ### Controllers -- [solenoid-engine-controller](https://github.com/Fabien-Chouteau/solenoid-engine-controller) - 电磁发动机软件控制器 (Ada/STM32F4). +- [solenoid-engine-controller](https://github.com/Fabien-Chouteau/solenoid-engine-controller) - Software controller for solenoid engines (Ada/STM32F4). ### Communication -- [sensortile](https://github.com/morbos/STM32/tree/master/L/L476/sensortile) - 该项目展示了如何初始化 SensorTile 以及如何通过 BLE 将传感器数据从 SensorTile 发送到合适的主机. +- [sensortile](https://github.com/morbos/STM32/tree/master/L/L476/sensortile) - This project shows how to initialize a SensorTile and how to send sensor data over BLE from a SensorTile to a suitable host. ### Libraries -- [giza](https://github.com/Fabien-Chouteau/Giza) - Giza 试图成为嵌入式平台的简单小部件工具包. -- [ada-synth-lib](https://github.com/raph-amiard/ada-synth-lib) - 简单的音频合成库，可以在裸板设备上运行. -- [geste](https://github.com/Fabien-Chouteau/GESTE) - GESTE 是一个精灵和图块 2D 渲染引擎，设计用于在微控制器上运行. -- [sancta](https://github.com/mosteo/sancta) - SANCTA多机器人任务分配库. +- [giza](https://github.com/Fabien-Chouteau/Giza) - Giza is trying to be a simple widget tool kit for embedded platforms. +- [ada-synth-lib](https://github.com/raph-amiard/ada-synth-lib) - Simple audio synthesis library that can run on bareboard devices. +- [geste](https://github.com/Fabien-Chouteau/GESTE) - GESTE is a sprite and tile 2D render engine designed to run on micro-controllers. +- [sancta](https://github.com/mosteo/sancta) - SANCTA multi-robot task allocation library. ### Applications - [coffee-clock](https://github.com/Fabien-Chouteau/coffee-clock) - Waking up with a fresh cup of coffee. -- [noise-nugget](https://github.com/Fabien-Chouteau/noise-nugget) - 平方英寸合成器. -- [spark-railway-demo](https://github.com/Fabien-Chouteau/spark-railway-demo) - SPARK/Ada 中的模拟铁路网络. -- [micro-tem-pi](https://github.com/jklmnn/MicroTemPi) - Raspberry Pi 使用 BBC Micro:Bit 作为温度传感器. -- [wee-noise-maker](https://github.com/Fabien-Chouteau/Wee-Noise-Maker) - Wee Noise Maker 是一款开源袖珍合成器. -- [lunar-lander-rotation](https://github.com/AdaCore/Lunar_Lander_Rotation_Demo) - 与 AdaFruit BNO055 分线板交互的程序，以便将方向数据发送到主机. -- [railway-simulation](https://github.com/AdaCore/SPARK_Railway_Simulation_Demo) - 模拟铁路网络的程序，包括火车、道岔和信号系统. 该信号系统经过 SPARK/Ada 验证，可确保列车不会相撞. -- [etherscope](https://github.com/stcarrez/etherscope) - STM32F746 板上的以太网流量监控器. +- [noise-nugget](https://github.com/Fabien-Chouteau/noise-nugget) - Square Inch Synthesizer. +- [spark-railway-demo](https://github.com/Fabien-Chouteau/spark-railway-demo) - Simulated railway network in SPARK/Ada. +- [micro-tem-pi](https://github.com/jklmnn/MicroTemPi) - Raspberry Pi using a BBC Micro:Bit as temperature sensor. +- [wee-noise-maker](https://github.com/Fabien-Chouteau/Wee-Noise-Maker) - Wee Noise Maker is an open source pocket synthesizer. +- [lunar-lander-rotation](https://github.com/AdaCore/Lunar_Lander_Rotation_Demo) - Program that interacts with the AdaFruit BNO055 breakout board in order to send orientation data to a host computer. +- [railway-simulation](https://github.com/AdaCore/SPARK_Railway_Simulation_Demo) - Program simulating a railway network with trains, switches and signaling. The signaling system is proven with SPARK/Ada to ensure that trains cannot collide. +- [etherscope](https://github.com/stcarrez/etherscope) - Ethernet traffic monitor on a STM32F746 board. ### Bindings - [svd2ada](https://github.com/AdaCore/svd2ada) - An Ada binding generator from SVD descriptions for bare board ARM devices. -- [ada-time](https://github.com/Fabien-Chouteau/Ada_Time) - Pebble Time 智能手表的 Ada 绑定. -- [wiring-pi-ada](https://github.com/jklmnn/wiringPi-Ada) - 用于 WiringPi 的 Ada 绑定. +- [ada-time](https://github.com/Fabien-Chouteau/Ada_Time) - Ada binding for the Pebble Time smartwatch. +- [wiring-pi-ada](https://github.com/jklmnn/wiringPi-Ada) - Ada bindings for wiringPi. ## Applications ### Office -- [azip](https://github.com/zertovitch/azip) - 免费、便携式 Zip 存档管理器. -- [texcad](https://github.com/zertovitch/texcad) - TeXCAD 是一个用于在 LaTeX 中绘制或修饰{图片}的程序. -- [cbsg](https://github.com/zertovitch/cbsg) - 公司废话生成器. -- [hunter](https://github.com/thindil/hunter) - 适用于 Linux 的图形 ([gtkada]) 文件管理器. +- [azip](https://github.com/zertovitch/azip) - A free, portable Zip Archive Manager. +- [texcad](https://github.com/zertovitch/texcad) - TeXCAD is a program for drawing or retouching {picture}s in LaTeX. +- [cbsg](https://github.com/zertovitch/cbsg) - The Corporate Bullshit Generator. +- [hunter](https://github.com/thindil/hunter) - Graphical ([gtkada]) file manager for Linux. ### Mail -- [trash-finder](http://www.rrsoftware.com/html/prodinf/tf/tf-main.html) - Trash Finder 是一个邮件过滤器，作为邮件服务器的插件运行，提供数十个标准的过滤以及已知良好邮件的管理. +- [trash-finder](http://www.rrsoftware.com/html/prodinf/tf/tf-main.html) - Trash Finder is a mail filter that operates as a plugin for your mail server, providing filtering on dozens of criteria along with management of known good mail. ### Web -- [ironsides](https://ironsides.martincarlisle.com) - 经SPARK/Ada验证的权威DNS服务器. -- [wasabee](https://github.com/zertovitch/wasabee) - 注重安全的网络浏览器. -- [yass](https://github.com/yet-another-static-site-generator/yass) - 另一个静态站点生成器（如 Jekyll 或 Hugo）. +- [ironsides](https://ironsides.martincarlisle.com) - Authoritative DNS server verified by SPARK/Ada. +- [wasabee](https://github.com/zertovitch/wasabee) - A Web browser with safety focus. +- [yass](https://github.com/yet-another-static-site-generator/yass) - Yet Another Static Site Generator (like Jekyll or Hugo). ### Multimedia -- [ada-3ds](https://github.com/AdaDoom3/Ada3DS) - 一个简单的 3DS Max 模型渲染器. -- [canta](https://sourceforge.net/projects/canta/) - 帮助唱歌调准的工具. +- [ada-3ds](https://github.com/AdaDoom3/Ada3DS) - A simple 3DS Max model renderer. +- [canta](https://sourceforge.net/projects/canta/) - A tool to help to sing in tune. ### Automation -- [acnc](https://github.com/Fabien-Chouteau/ACNC) - G 代码解析器和 CNC 控制器（Ada 中）. -- [max-home-automation](https://sourceforge.net/projects/max-home-automation/) - [gtkada] 管理 ELV/eQ-3 MAX 的应用程序！ 用于家庭自动化的立方体. -- [ada4automation](https://www.ada4automation.org/) - 使用 Ada 语言设计工业自动化应用程序的框架. +- [acnc](https://github.com/Fabien-Chouteau/ACNC) - A G-code parser and CNC controller (in Ada). +- [max-home-automation](https://sourceforge.net/projects/max-home-automation/) - [gtkada] application to manage ELV/eQ-3 MAX! cubes for home automation. +- [ada4automation](https://www.ada4automation.org/) - A framework for designing industrial automation applications using the Ada language. ### Simulation -- [eagle-lander](https://github.com/Fabien-Chouteau/eagle-lander) - 阿波罗 11 号月球着陆器模拟器（[gtkada]/开罗）. -- [ghdl](https://github.com/ghdl/ghdl) - VHDL 2008/93/87 模拟器. -- [parallel-sim](https://github.com/JulianSchutsch/ParallelSim) - 传输网络的分布式模拟. -- [covid-19-simulator](https://github.com/ohenley/COVID-19_Simulator) - 多引擎/算法 COVID-19 模拟器. Ada、Qt 代码. -- [mars-mpl](https://github.com/Jellix/mars_mpl) - 火星极地着陆器（坠毁）模拟器（[gtkada]、[aicwl]）. -- [doppler-effect-sample2](https://github.com/moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2) - 移动的飞机会导致立体声多普勒效应（[gtkada]）. +- [eagle-lander](https://github.com/Fabien-Chouteau/eagle-lander) - Apollo 11 lunar lander simulator ([gtkada]/Cairo). +- [ghdl](https://github.com/ghdl/ghdl) - VHDL 2008/93/87 simulator. +- [parallel-sim](https://github.com/JulianSchutsch/ParallelSim) - Distributed Simulation of Transport Networks. +- [covid-19-simulator](https://github.com/ohenley/COVID-19_Simulator) - Multi engine/algorithms COVID-19 simulator. Ada, Qt code under the hood. +- [mars-mpl](https://github.com/Jellix/mars_mpl) - Mars Polar Lander (Crash) Simulator ([gtkada], [aicwl]). +- [doppler-effect-sample2](https://github.com/moriyasum/GtkAda_OpenAL_Doppler_Effect_Sample2) - Moving airplane causes Stereo Sound Doppler effect ([gtkada]). ### Generators and Translators -- [adabrowse](http://home.datacomm.ch/t_wolf/tw/ada95/adabrowse) - Ada95 库单元规格的 HTML 生成器. -- [pascal-to-ada](https://github.com/zertovitch/pascal-to-ada) - Pascal 到 Ada 的翻译器. -- [tiled-code-gen](https://github.com/Fabien-Chouteau/tiled-code-gen) - Tiled 地图编辑器的代码生成器. -- [j2ada](https://github.com/Blady-Com/j2ada) - Ada 源代码中 Java 有效源代码的转换器. -- [ada-magic](https://www.mapusoft.com/ada-to-c-changer/) - SofCheck AdaMagic 是 ACATS 验证和认证的 Ada 编译器，针对 C 和/或 C++（4 个用于微调的命令行开关）. ObjectAda 和其他几个商业编译器与 AdaMagic 共享引擎. MapuSoft 将 AdaMagic 作为 AppCOE 的组成部分进行分发. -- [cappulada](https://github.com/Componolit/Cappulada) - C++ 的 Ada 绑定生成器. -- [asis2xml](https://github.com/simonjwright/asis2xml) - 将 Ada 源的 ASIS 表示转换为 XML，以便更轻松地使用（例如）XSLT 开发报告和转换工具. +- [adabrowse](http://home.datacomm.ch/t_wolf/tw/ada95/adabrowse) - HTML generator for Ada95 library unit specs. +- [pascal-to-ada](https://github.com/zertovitch/pascal-to-ada) - A Pascal to Ada translator. +- [tiled-code-gen](https://github.com/Fabien-Chouteau/tiled-code-gen) - Code generator for Tiled the map editor. +- [j2ada](https://github.com/Blady-Com/j2ada) - Translator for a Java valid source code in Ada source code. +- [ada-magic](https://www.mapusoft.com/ada-to-c-changer/) - SofCheck AdaMagic is ACATS validated and certified Ada compiler targeting C and/or C++ (4 command line switches for fine tuning). ObjectAda and several other commercial compilers share engine with AdaMagic. MapuSoft distributes AdaMagic as integral component of AppCOE. +- [cappulada](https://github.com/Componolit/Cappulada) - Ada binding generator for C++. +- [asis2xml](https://github.com/simonjwright/asis2xml) - Converts Ada sources' ASIS representation to XML, so as to make it easier to develop reporting and transformational tools using (for example) XSLT. ### Shells, Interpreters and Emulators -- [sparforte](https://sparforte.com/) - SPARforte 编程语言是一种类似 Ada 的脚本语言，以前称为业务用户 shell (bush). 可以用作交互式 UNIX shell 的替代品. -- [gsh](https://github.com/AdaCore/gsh) - GSH 是适用于 Windows 的非交互式 POSIX shell，旨在构建 GNU 软件. 比 Cygwin 快 2-3 倍. -- [gnatcoll-scripts-shell](https://github.com/AdaCore/gnatcoll-core/blob/master/src/gnatcoll-scripts-shell.ads) - GNATCOLL.Scripts.Shell 是一种简单的嵌入式脚本语言，是 GNATCOLL 核心的一部分. -- [analytical-engine](https://github.com/simonjwright/analytical-engine) - Charles Babbage 分析引擎的 Ada 2012 仿真. -- [a-shell](https://github.com/charlie5/aShell) - 帮助在 Ada 中编写类似 shell 的应用程序的组件. -- [dashera](https://github.com/SMerrony/dashera) - 使用 [gtkada] 的数据通用 DASHER 终端仿真器. -- [yotroc](https://github.com/docandrew/YOTROC) - 用于虚构的 CPU 架构的汇编器/仿真器. IDE 在 [gtkada] 中实现. +- [sparforte](https://sparforte.com/) - SPARforte programming language is an Ada-like scripting language, previously known as business user shell (bush). Can be used as interactive UNIX shell replacement. +- [gsh](https://github.com/AdaCore/gsh) - GSH is non interactive POSIX shell for Windows, aimed at GNU software builds. 2-3 times faster than Cygwin. +- [gnatcoll-scripts-shell](https://github.com/AdaCore/gnatcoll-core/blob/master/src/gnatcoll-scripts-shell.ads) - GNATCOLL.Scripts.Shell is a simple embeddable scripting language, part of GNATCOLL Core. +- [analytical-engine](https://github.com/simonjwright/analytical-engine) - An Ada 2012 emulation of Charles Babbage's Analytical Engine. +- [a-shell](https://github.com/charlie5/aShell) - A component to aid in writing shell-like applications in Ada. +- [dashera](https://github.com/SMerrony/dashera) - Data General DASHER terminal emulator using [gtkada]. +- [yotroc](https://github.com/docandrew/YOTROC) - Assembler/Emulator for a fictional CPU architecture. IDE implemented in [gtkada]. ### Programming Languages -- [para-sail](http://parasail-lang.org/) - ParaSail 是一种高度并行的实验语言，类似于 Go 和 Erlang. 它最初由 SofCheck（现在的 AdaCore）所有，是一个尝试新想法的测试项目. 可扩展指针是即将引入 SPARK 和 Ada 的示例功能. 事实上有 4 种实验语言：ParaSail、Sparkel、Javallel、Parython，它们都共享字节码解释器和 LLVM 引擎. +- [para-sail](http://parasail-lang.org/) - ParaSail is a highly parallel experimental language, similar to Go and Erlang. Originaly owned by SofCheck (now AdaCore), it is a test project to try new ideas. Expandable pointers is a sample feature that is about to be introduced to SPARK and Ada. There are in fact 4 experimental languages: ParaSail, Sparkel, Javallel, Parython, all sharing bytecode interpreter and LLVM engine. ### Misc -- [dhondt](https://github.com/simonjwright/dhondt) - D'Hondt 选举结果计算器的 Ada 实现. -- [whitakers-words](https://github.com/mk270/whitakers-words) - 威廉·惠特克的《WORDS》，一本拉丁语词典. -- [ada-chess](https://www.adachess.com/) - 用 Ada 编写的国际象棋引擎. -- [adage](https://github.com/atalii/adage) - sudo 和 doas 的 Ada/SPARK 替代方案. +- [dhondt](https://github.com/simonjwright/dhondt) - Ada implementation of D'Hondt electoral result calculator. +- [whitakers-words](https://github.com/mk270/whitakers-words) - William Whitaker's WORDS, a Latin dictionary. +- [ada-chess](https://www.adachess.com/) - Chess engine written in Ada. +- [adage](https://github.com/atalii/adage) - An Ada/SPARK alternative to sudo and doas. ## Bindings -- [pcsc-ada](https://www.codelabs.ch/pcscada) - PCSC/Ada 提供了与 PC/SC 中间件的厚 Ada 绑定. 该库允许用 Ada 编写的程序使用 SCard API 与智能卡进行通信. -- [areadline](https://github.com/samueltardieu/areadline) - Readline 库的 Ada 接口. -- [tp7-ada-gtkada](https://github.com/Blady-Com/tp7ada-gtkada) - 使用 [gtkada] 实现 Turbo Pascal 7.0 单元. -- [tp7-ada-gnoga](https://github.com/Blady-Com/tp7ada-gnoga) - 使用 [gnoga] 实现 Turbo Pascal 7.0 单元. -- [ada-bfd](https://github.com/stcarrez/ada-bfd) - Ada BFD 是 GNU Binutils BFD 库的 Ada 绑定. 它允许使用 GNU BFD 读取二进制 ELF、COFF 文件. -- [boehmgc-ada](https://github.com/ytomino/boehmgc-ada) - Ada 绑定到 Boehm-Demers-Weiser 保守垃圾收集器. -- [tcl-ada-shell](https://github.com/simonjwright/tcladashell) - Tcl Ada SHell (Tash) 是与 Tcl/Tk 结合的 Ada. -- [tashy](https://github.com/thindil/tashy) - Tashy 是 Tcl Ada SHell Younger 的缩写. 它是 Tash 的衍生物，主要关注 Tk 绑定. -- [tashy2](https://github.com/thindil/tashy2) - Tashy2 是 Tcl Ada SHell Younger 的缩写. 它是 Tashy 的衍生物，旨在更加惯用并使用更宽松的许可证. -- [hungarian](https://github.com/mosteo/hungarian) - 用于快速 Stachniss 匈牙利解算器的 Ada 包装器. -- [ada-lua](https://github.com/AdaCore/ada-lua) - Lua 的 Ada 绑定. -- [coreland-lua-ada](https://github.com/io7m/coreland-lua-ada) - Ada 与 Lua 语言的绑定. +- [pcsc-ada](https://www.codelabs.ch/pcscada) - PCSC/Ada provides a thick Ada binding to PC/SC-middleware. The library allows programs written in Ada to communicate with smart cards using the SCard API. +- [areadline](https://github.com/samueltardieu/areadline) - Ada interface to the readline library. +- [tp7-ada-gtkada](https://github.com/Blady-Com/tp7ada-gtkada) - Implementation of Turbo Pascal 7.0 units with [gtkada]. +- [tp7-ada-gnoga](https://github.com/Blady-Com/tp7ada-gnoga) - Implementation of Turbo Pascal 7.0 units with [gnoga]. +- [ada-bfd](https://github.com/stcarrez/ada-bfd) - Ada BFD is an Ada binding for the GNU Binutils BFD library. It allows to read binary ELF, COFF files by using the GNU BFD. +- [boehmgc-ada](https://github.com/ytomino/boehmgc-ada) - Ada binding to the Boehm-Demers-Weiser conservative garbage collector. +- [tcl-ada-shell](https://github.com/simonjwright/tcladashell) - Tcl Ada SHell (Tash) is an Ada binding to Tcl/Tk. +- [tashy](https://github.com/thindil/tashy) - Tashy is short from Tcl Ada SHell Younger. It is derivate of Tash, focused mostly on Tk binding. +- [tashy2](https://github.com/thindil/tashy2) - Tashy2 is short from Tcl Ada SHell Younger. It is derivate of Tashy, and aims to be more idiomatic and uses a more permisive license. +- [hungarian](https://github.com/mosteo/hungarian) - Ada wrapper for the fast Stachniss' Hungarian solver. +- [ada-lua](https://github.com/AdaCore/ada-lua) - Ada binding for Lua. +- [coreland-lua-ada](https://github.com/io7m/coreland-lua-ada) - Ada bindings to the Lua language. diff --git a/docs/awesome/awesome-browser-extensions-for-github.md b/docs/awesome/awesome-browser-extensions-for-github.md index af9e10d927..8d1b698208 100644 --- a/docs/awesome/awesome-browser-extensions-for-github.md +++ b/docs/awesome/awesome-browser-extensions-for-github.md @@ -35,27 +35,27 @@ Installs: 32 | Stars: 7 | Last update: 14 Feb 2022 Next level code navigation for GitHub. -Installs: 604 | Stars: 57 | Last update: 20 Jul 2022 +Installs: 593 | Stars: 57 | Last update: 20 Jul 2022 Visualize GitHub repos as d3 force-directed graphs. The extension gives you a quick overview of the size and composition of any repo. -Installs: 216 | Stars: 12 | Last update: 26 Apr 2022 +Installs: 210 | Stars: 12 | Last update: 26 Apr 2022 The CoderStats link for GitHub Chrome extension displays a link to the CoderStats page for the currently displayed user or organization profile page on GitHub. -Installs: 787 | Stars: 19 | Last update: 2 May 2023 +Installs: 804 | Stars: 19 | Last update: 2 May 2023 Show the # of PRs and other contributors stats in the Issues/PRs tab. Can be helpful for maintainers that want to know if it's a contributor's first PR. -Installs: 327 | Stars: 459 | Last update: 1 Mar 2021 +Installs: 329 | Stars: 459 | Last update: 1 Mar 2021 Displays size of each file, download link and an option of copying file contents directly to clipboard -Installs: 40724 | Stars: 1883 | Last update: 25 Dec 2021 +Installs: 40723 | Stars: 1884 | Last update: 25 Dec 2021 Easily search GIPHY to add a GIF into any GitHub comment box. @@ -80,22 +80,22 @@ Installs: 27 | Stars: 4 | Last update: 18 Apr 2021 Code folding - the ability to selectively hide and display sections of a code - is an invaluable feature in many text editors and IDEs. Now, developers can utilize that same style code-folding while poring over source code on the web in GitHub. Works for any type of indentation- spaces or tabs. -Installs: 3124 | Stars: 285 | Last update: 14 Jul 2022 +Installs: 3123 | Stars: 285 | Last update: 14 Jul 2022 Set custom tab size for code view on GitHub.com -Installs: 555 | Stars: 67 | Last update: 6 May 2019 +Installs: 551 | Stars: 67 | Last update: 6 May 2019 Easily navigate through the changes in a file that has been edited on GitHub. -Installs: 196 | Stars: 19 | Last update: 28 Apr 2023 +Installs: 198 | Stars: 19 | Last update: 28 Apr 2023 A browser extension which gives different filetypes different icons on GitHub. -Installs: 10000 | Stars: 1299 | Last update: 22 Aug 2023 +Installs: 10000 | Stars: 1300 | Last update: 22 Aug 2023 Highlight selected word in GitHub source view like Sublime Text. @@ -105,27 +105,27 @@ Installs: 1000 | Stars: 141 | Last update: 8 Oct 2019 Neat hovercards for GitHub. -Installs: 26777 | Stars: 1778 | Last update: 12 May 2021 +Installs: 26781 | Stars: 1778 | Last update: 12 May 2021 Colorize issue and PR links to see their status (open, closed, merged). -Installs: 930 | Stars: 293 | Last update: 4 Nov 2021 +Installs: 946 | Stars: 293 | Last update: 4 Nov 2021 Displays npm package stats on GitHub -Installs: 640 | Stars: 56 | Last update: 31 May 2020 +Installs: 638 | Stars: 56 | Last update: 31 May 2020 Lists repositories that are similar to the one being viewed -Installs: 336 | Stars: 39 | Last update: 10 Aug 2022 +Installs: 339 | Stars: 39 | Last update: 10 Aug 2022 Revert closed GitHub issues from purple back to red -Installs: 22 | Stars: 39 | Last update: 11 Aug 2023 +Installs: 23 | Stars: 39 | Last update: 11 Aug 2023 Automatically adds repository size to GitHub's repository summary. @@ -135,22 +135,22 @@ Installs: 20000 | Stars: 1167 | Last update: 26 Jun 2020 Chrome extension to see story points in GitHub projects. -Installs: 632 | Stars: 60 | Last update: 17 Aug 2020 +Installs: 631 | Stars: 60 | Last update: 17 Aug 2020 Generates a pie chart on user profile pages displaying a breakdown of what languages they have used in their repositories. -Installs: 1046 | Stars: 48 | Last update: 16 Jun 2022 +Installs: 1045 | Stars: 48 | Last update: 16 Jun 2022 This extension adds the simplicity of WYSIWYG editing to issues, comments, pull requests, wikis and discussions in GitHub. It accepts Markdown input and offers productive writing, starting with tables. -Installs: 2122 | Stars: 340 | Last update: 14 Jun 2023 +Installs: 2123 | Stars: 340 | Last update: 14 Jun 2023 View and create Linear tickets from any GitHub PR or issue. -Installs: 44 | Stars: 20 | Last update: 12 Apr 2023 +Installs: 46 | Stars: 20 | Last update: 12 Apr 2023 Show [vscode-icons](https://github.com/vscode-icons/vscode-icons) in the repository browser. @@ -160,17 +160,17 @@ Installs: 2000 | Stars: 275 | Last update: 30 Sep 2021 It can make the sub-directories and files of github repository as zip and download it -Installs: 103226 | Stars: 32 | Last update: 21 Aug 2023 +Installs: 103232 | Stars: 32 | Last update: 21 Aug 2023 Create, save, edit, pin, search and delete filters that you commonly use on the Github Issues and Pull Requests pages. You are able to scope filters to be shown globally (on each repo) or only have them show up on the repo you create them on. Pinning filters is also a feature that this extension allows you to do. So if you have several filters you use daily - you have a way to quickly access them, at the top of your list. -Installs: 547 | Stars: n/a | Last update: 22 Aug 2022 +Installs: 559 | Stars: n/a | Last update: 22 Aug 2022 Extension to get back current and longest streak. -Installs: 669 | Stars: 224 | Last update: 10 Jan 2023 +Installs: 668 | Stars: 224 | Last update: 10 Jan 2023 Replace browser new tab screen with GitHub trending projects. @@ -180,7 +180,7 @@ Installs: 2000 | Stars: 341 | Last update: n/a Hide dotfiles from the GitHub file browser. -Installs: 673 | Stars: 315 | Last update: 17 Sep 2021 +Installs: 675 | Stars: 315 | Last update: 17 Sep 2021 Allows you to toggle between the normal GitHub contribution chart and an isometric pixel art version. @@ -190,7 +190,7 @@ Installs: 10000 | Stars: 3385 | Last update: 17 Apr 2023 Chrome extension that adds a button in browser and links this button to a GitHub repository that you will configure, then on any webpage just click this extension button and it will add the given link with the title of the page in that repository. -Installs: 61 | Stars: 231 | Last update: 26 May 2018 +Installs: 60 | Stars: 231 | Last update: 26 May 2018 See forks with the most stars under the names of repositories. @@ -200,12 +200,12 @@ Installs: 1324 | Stars: 554 | Last update: 1 Sep 2021 Show Material icons for files/folders in repository file viewer. Display the same icons from vscode-material-icon-theme VSCode extension. -Installs: 10608 | Stars: 374 | Last update: 30 Aug 2023 +Installs: 10611 | Stars: 375 | Last update: 30 Aug 2023 An extension that creates direct links to imported modules, external or internal, on source code on GitHub. Supports multiple languages, including common ones like Rust, Go, Python and Ruby, but also odd ones like Nim, Haskell, Julia and Elm. -Installs: 47 | Stars: 246 | Last update: 27 Nov 2019 +Installs: 46 | Stars: 246 | Last update: 27 Nov 2019 Chrome extension which helps you not to miss important changes in your news thread related to your repo @@ -215,7 +215,7 @@ Installs: 16 | Stars: 14 | Last update: 1 Oct 2018 A Chrome and Firefox extension to quickly see your notifications in a popup without leaving the current page. -Installs: 424 | Stars: 141 | Last update: 6 Apr 2023 +Installs: 422 | Stars: 141 | Last update: 6 Apr 2023 Displays your GitHub notifications unread count. Supports GitHub Enterprise and an option to only show unread count for issues you're participating in. You can click the icon to quickly see your unread notifications. @@ -230,14 +230,14 @@ Installs: 2 | Stars: 132 | Last update: 16 Jan 2020 OctoLinker is the easiest and best way to navigate between files and projects on GitHub. It supports languages such as JavaScript, Ruby, Go, PHP, JAVA and more. It works with package.json as well as with Gemfiles. -Installs: 32569 | Stars: 5175 | Last update: 13 Nov 2022 +Installs: 32573 | Stars: 5175 | Last update: 13 Nov 2022 OctoPermalinker is a browser extension that searches GitHub comments/files for links to files on branches, and adds a link to where the branch pointed when the comment/file was made/updated. This helps you avoid following a link that was broken after being posted. For context, here's some discussion about broken GitHub links: [Don't link to line numbers in GitHub](https://news.ycombinator.com/item?id=8046710). For example, suppose you're looking at a gist that links to a file on the master branch of a repo. At the time the gist was made, the link worked, but if the file gets removed, the link is broken. OctoPermalinker uses the gist creation date to add a permalink that still works. -Installs: 227 | Stars: 21 | Last update: 20 May 2017 +Installs: 219 | Stars: 21 | Last update: 20 May 2017 The missing IntelliSense hint for GitHub and GitLab @@ -247,22 +247,22 @@ Installs: 4000 | Stars: 961 | Last update: 4 Feb 2022 Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories. -Installs: 337263 | Stars: 22521 | Last update: 16 Aug 2023 +Installs: 337272 | Stars: 22518 | Last update: 16 Aug 2023 Revert GitHub's UI back to its classic look (before the June 23, 2020 update that has a flat, rounded and more whitespaced design). -Installs: 343 | Stars: 221 | Last update: 30 Apr 2023 +Installs: 348 | Stars: 221 | Last update: 30 Apr 2023 This browser extension allows you to open files in your IDE directly from GitHub, assuming the repository you are working on is cloned on your computer. When a fragment of a file is displayed, your IDE opens the file and puts the cursor at the desired line. -Installs: 1047 | Stars: 58 | Last update: 28 Nov 2022 +Installs: 1048 | Stars: 59 | Last update: 28 Nov 2022 Helps you keep track of incoming and outgoing PRs, and notifies you when you receive a pull request on GitHub. -Installs: 737 | Stars: 111 | Last update: 21 Jun 2023 +Installs: 739 | Stars: 111 | Last update: 21 Jun 2023 Browser extension that shows which pull requests contain changes related to a file. @@ -272,17 +272,17 @@ Installs: 42 | Stars: 96 | Last update: 15 Oct 2020 Extension that simplifies the GitHub interface and adds useful features. -Installs: 78194 | Stars: 21711 | Last update: 18 Sep 2023 +Installs: 78198 | Stars: 21719 | Last update: 18 Sep 2023 Are they tabs? Are they spaces? How many? Never wonder again! Renders spaces as `·` and tabs as `→` in all the code on GitHub. -Installs: 602 | Stars: 74 | Last update: 25 Aug 2018 +Installs: 605 | Stars: 74 | Last update: 25 Aug 2018 Introduces the Explore tab in the pull request interface where you can review changes ordered by importance and see the semantic context surrounding each change. -Installs: 33 | Stars: n/a | Last update: 10 Aug 2020 +Installs: 30 | Stars: n/a | Last update: 10 Aug 2020 The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewing code, pull requests, and diffs: @@ -293,7 +293,7 @@ The Sourcegraph browser extension gives GitHub IDE-like powers when you're viewi 4. Hover tooltips 5. File tree navigation -Installs: 101038 | Stars: 8926 | Last update: 15 Apr 2023 +Installs: 101040 | Stars: 8927 | Last update: 15 Apr 2023 Make tab indented code more readable by forcing the tab size to 4 instead of 8. @@ -303,7 +303,7 @@ Installs: 2000 | Stars: 281 | Last update: 25 Sep 2021 Helps you see easily which activities happened since you last visited GitHub. -Installs: 199 | Stars: 31 | Last update: n/a +Installs: 196 | Stars: 31 | Last update: n/a Generate a magic link for your PR and post it on shared Slack channel, to entice reviewers to pick up your PR faster! @@ -318,12 +318,12 @@ Installs: 70000 | Stars: n/a | Last update: 11 Sep 2023 All your issues, PRs, repos and other work documents right in your new tab -Installs: 20175 | Stars: n/a | Last update: 16 Jun 2023 +Installs: 20176 | Stars: n/a | Last update: 16 Jun 2023 file tree for github, and more than that. -Installs: 10437 | Stars: n/a | Last update: 12 Aug 2023 +Installs: 10435 | Stars: n/a | Last update: 12 Aug 2023 Add breakpoints at 1400px, 1600px and 1800px for full GitHub experience on large screens. Also removes the truncating of file and directory names in the repository browser. @@ -333,7 +333,7 @@ Installs: 2000 | Stars: 130 | Last update: 24 Jul 2020 gitpod streamlines developer workflows by providing ready-to-code development environments in your browser - powered by vs code. -Installs: 62479 | Stars: 123 | Last update: 31 Jul 2023 +Installs: 62485 | Stars: 123 | Last update: 31 Jul 2023 When viewing a repository on github.com that has a package.json file, this extension will introspect the dependencies in package.json and display links and description for each dependency, just below the repo's README. @@ -343,4 +343,4 @@ Installs: 2079 | Stars: 706 | Last update: 29 May 2023 Extends GitHub pages with math, diagrams, embedded YouTube videos etc. -Installs: 441 | Stars: 85 | Last update: 22 Aug 2023 +Installs: 451 | Stars: 85 | Last update: 22 Aug 2023 diff --git a/docs/awesome/awesome-cpp.md b/docs/awesome/awesome-cpp.md index 103c31c16d..ee719ea907 100644 --- a/docs/awesome/awesome-cpp.md +++ b/docs/awesome/awesome-cpp.md @@ -299,6 +299,7 @@ A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny ## CSV *Libraries for parsing Comma Separated Value (CSV) files* +* [commata](https://github.com/furfurylic/commata) - Just another header-only C++17 CSV parser. [Unlicense] * [csv2](https://github.com/p-ranav/csv2) - Fast CSV parser for modern C++. [MIT] * [Csv::Parser](https://github.com/ashaduri/csv-parser) - Compile-time and runtime CSV parser written in C++17. [Zlib] * [Fast C++ CSV Parser](https://github.com/ben-strasser/fast-cpp-csv-parser) - Small, easy-to-use and fast header-only library for reading CSV files. [BSD-3-Clause] diff --git a/docs/awesome/awesome-developer-first.md b/docs/awesome/awesome-developer-first.md index 17d1f260fd..ca11020e69 100644 --- a/docs/awesome/awesome-developer-first.md +++ b/docs/awesome/awesome-developer-first.md @@ -228,7 +228,8 @@ For the latest additions [click here](https://github.com/agamm/awesome-developer ## Natural Language Processing *Interactions with natural language.* -* [DialogFlow](https://cloud.google.com/dialogflow) - Voice/text chatbot framework by Google. +* [CometLLM](https://github.com/comet-ml/comet-llm) - UI to log, visualize, and search prompts, prompt templates, prompt variables, and chains. ![Comet](https://img.shields.io/github/contributors-anon/comet-ml/comet-llm?style=flat-square&logo=github&labelColor=%230D1117&color=%23161B22) +* [DialogFlow](https://cloud.google.com/dialogflow) - Voice/text chatbot framework by Google. ## Orchestration *Orchestration tools for (micro) services.* diff --git a/docs/awesome/awesome-game-engine-dev.md b/docs/awesome/awesome-game-engine-dev.md index e3b15cd1d0..c9ea165237 100644 --- a/docs/awesome/awesome-game-engine-dev.md +++ b/docs/awesome/awesome-game-engine-dev.md @@ -362,6 +362,7 @@ _Language specific game engine development libraries / frameworks / code._ - 🎉 [Delaunator-Cpp](https://github.com/soerendd/delaunator-cpp) - Really fast library for Delaunay triangulation of 2D points. - 🔒 [Easy3D](https://github.com/LiangliangNan/Easy3D) - Easy-to-use library for 3D modeling, geometry processing, and rendering. - 🎉 [Extrude](https://github.com/stevinz/extrude) - Converts 2D images into 3D extruded meshes. + - 🔒 [Generator](https://github.com/ilmola/generator) - Procedural geometry generation library for C++11. - 🎉 [Geometric Tools](https://www.geometrictools.com/index.html) - Mathematics, geometry, graphics, image analysis and physics in C++14. - 🎉 [GeometronLib](https://github.com/LukasBanana/GeometronLib) - Meshes for 3D shapes (cube, sphere, etc.) and ray / geometry intersection. - 🔒 [Libigl](https://github.com/libigl/libigl) - Simple geometry processing library. @@ -730,6 +731,7 @@ _Language specific game engine development libraries / frameworks / code._ - 🎉 [Babylon.js](https://github.com/BabylonJS/Babylon.js) 🔥 - Powerful web rendering engine. [[Extensions](https://github.com/BabylonJS/Extensions) | [Website](https://www.babylonjs.com/)] - 🎉 [CopperLicht](https://ambiera.com/copperlicht/) - Open source 3D library for WebGL. [[CopperCube Editor](https://ambiera.com/coppercube/index.html)] - 🎉 [Filament for Web](https://github.com/google/filament/tree/main/web/filament-js) - WebAssembly build of Google's 3D graphics library, Filament. [[Demos](https://google.github.io/filament/webgl/)] + - 🎉 [Four](https://github.com/CodyJasonBennett/four) - Minimal three.js alternative. - 🎉 [Hilo3d](https://github.com/hiloteam/Hilo3d) - WebGL 3D rendering engine by _Alibaba_. - 🎉 [Litescene.js](https://github.com/jagenjo/litescene.js) - WebGL 3D engine library, used by [WebGLStudio](https://webglstudio.org). - 🎉 [LUME](https://github.com/lume/lume) - Simplifies the creation of interactive 2D/3D experiences. @@ -981,14 +983,13 @@ _Exploring specialty game engine / game development topics and features._ - 🎉 [WebGL Fluid Simulation](https://paveldogreat.github.io/WebGL-Fluid-Simulation/) - Play with fluids in your browser (even on mobile). [[Source](https://github.com/PavelDoGreat/WebGL-Fluid-Simulation)] ### Geometry -- Algorithms - - 📚 [Practical Geometry Algorithms](http://geomalgorithms.com/index.html) - Geometries, convex hulls, polyline simplification and more. - CSG (Constructive Solid Geometry) - 📚 [Constructive Solid Geometry](https://en.wikipedia.org/wiki/Constructive_solid_geometry) - Technique using boolean operations to combine primitive objects. - 🎉 [csg.js](https://github.com/evanw/csg.js/) - JavaScript library implementing CSG. [[Examples](https://evanw.github.io/csg.js/)] - 🎉 [three-bvh-csg](https://github.com/gkjohnson/three-bvh-csg) - Fast and dynamic CSG on top of three-mesh-bvh. - 🎉 [three-csgmesh](https://github.com/manthrax/THREE-CSGMesh) - Conversion of the csg.js library for use with Three.js. - Meshes + - 📚 [Geometry, Surfaces, Curves, Polyhedra](https://paulbourke.net/geometry/) - Geometry topics including meshes, shapes, textures and more. - 📚 [Mesh Transforms](https://ciechanow.ski/mesh-transforms/) - Apple's private API for manipulation of UIView meshes. [[Source](https://github.com/olegtyshcneko/CAMeshTransform)] - Smoothing - 📚 [Laplacian Smoothing](http://rodolphe-vaillant.fr/entry/70/laplacian-smoothing-c-code-to-smooth-a-mesh) - Draft notes with C++ code for laplacian smoothing of meshes. diff --git a/docs/awesome/awesome-go.md b/docs/awesome/awesome-go.md index d8cd121600..399b8c91a6 100644 --- a/docs/awesome/awesome-go.md +++ b/docs/awesome/awesome-go.md @@ -1485,6 +1485,7 @@ _Libraries for working with dependency injection._ - [gocontainer](https://github.com/vardius/gocontainer) - Simple Dependency Injection Container. - [goioc/di](https://github.com/goioc/di) - Spring-inspired Dependency Injection Container. - [GoLobby/Container](https://github.com/golobby/container) - GoLobby Container is a lightweight yet powerful IoC dependency injection container for the Go programming language. +- [gontainer](https://github.com/NVIDIA/gontainer) - A dependency injection service container for Go projects. - [google/wire](https://github.com/google/wire) - Automated Initialization in Go. - [HnH/di](https://github.com/HnH/di) - DI container library that is focused on clean API and flexibility. - [kinit](https://github.com/go-kata/kinit) - Customizable dependency injection container with the global mode, cascade initialization and panic-safe finalization. diff --git a/docs/awesome/awesome-godot.md b/docs/awesome/awesome-godot.md index 7a768b0f9e..0d8984c128 100644 --- a/docs/awesome/awesome-godot.md +++ b/docs/awesome/awesome-godot.md @@ -174,7 +174,7 @@ See [Vivraan/godot-lang-support](https://github.com/Vivraan/godot-lang-support). - [Anima](https://github.com/ceceppa/anima) - Run sequential and parallel animations with less code compared to Tween (Godot 3.x). - [Aseprite Wizard](https://github.com/viniciusgerevini/godot-aseprite-wizard) - Plugin for importing animations from Aseprite as SpriteFrames (Godot 3.x). - [AutoColliders](https://github.com/graycastle/godot-AutoColliders) - Allows the automatic generation of colliders for Sprites, with planned expansion to handle 3D meshes in the future (Godot 3.x). -- [BoxCam2D](https://github.com/samdaiya/BoxCam2D) - Simplest way to implement grid-based 2D camera movement (Godot 3.x). +- [BoxCam2D](https://github.com/sarooptech/BoxCam2D) - Simplest way to implement grid-based 2D camera movement (Godot 3.x). - [CRT Shader](https://github.com/hiulit/Godot-3-2D-CRT-Shader) - A Godot shader that simulates CRT Displays with many shader parameters (Godot 3.x). - [Cyclops Level Builder](https://github.com/blackears/cyclopsLevelBuilder) - A level builder for quick prototypes and proof-of-concepts (Godot 4.x). - [Dialogue Manager](https://github.com/nathanhoad/godot_dialogue_manager) - A simple but powerful text based branching dialogue editor and runtime (Godot 3.x, 4.x). diff --git a/docs/awesome/awesome-integration.md b/docs/awesome/awesome-integration.md index 36d7e2b5b8..9d511ac850 100644 --- a/docs/awesome/awesome-integration.md +++ b/docs/awesome/awesome-integration.md @@ -21,7 +21,7 @@ System integration is the process of linking together different IT systems (com - [Apigee](https://cloud.google.com/apigee) - A leading API management solution from Google that provides comprehensive API management capabilities and helps you create, secure, and scale APIs with ease. - [Azure API Management](https://azure.microsoft.com/en-us/services/api-management/) - A hybrid, multicloud management platform for APIs across all environments, which enables you to manage APIs with ease, secure them, and gain insights into their performance. - [DigitMarket API Manager](https://www.torryharris.com/products/digitmarket-api-manager-for-api-management) - A complete package from Torry Harris that helps you manage your APIs and turn them into tools that can drive your business forward. -- [Gravitee.io API Management (⭐54)](https://github.com/gravitee-io/gravitee-api-management) - A flexible, lightweight, and open-source API management solution that provides comprehensive API management capabilities and helps you manage your APIs with ease. +- [Gravitee.io API Management (⭐57)](https://github.com/gravitee-io/gravitee-api-management) - A flexible, lightweight, and open-source API management solution that provides comprehensive API management capabilities and helps you manage your APIs with ease. - [IBM API Connect](https://www.ibm.com/cloud/api-connect) - A complete, intuitive, and scalable API platform that allows you to create, expose, manage, and monetize APIs across clouds. - [Kong Enterprise](https://konghq.com/products/kong-enterprise) - A comprehensive service connectivity platform that provides a range of API management capabilities and allows you to manage APIs, microservices, and service meshes with ease. - [Layer7 API Management](https://www.broadcom.com/products/software/api-management) - A continuous API management solution from Broadcom that provides comprehensive API management capabilities and helps you manage APIs throughout their lifecycle. @@ -38,12 +38,12 @@ System integration is the process of linking together different IT systems (com *API design, documentation, and life-cycle automation tools streamline the process of creating, maintaining, and evolving APIs. These tools offer efficient means to design consistent and scalable APIs, generate comprehensive documentation, and automate various stages of the API life-cycle, enhancing developer experience and promoting API adoption.* - [Dredd (⭐4k)](https://github.com/apiaryio/dredd) - Validate API description docs against backend implementation using this language-agnostic CLI tool. - [OpenAPI-GUI (⭐1.2k)](https://github.com/Mermade/openapi-gui) - Create and validate OpenAPI specs with ease using this intuitive graphical user interface. -- [OpenAPI Diff (⭐646)](https://github.com/OpenAPITools/openapi-diff) - Compare OpenAPI specs with version control and visualize the differences in HTML or Markdown format. +- [OpenAPI Diff (⭐651)](https://github.com/OpenAPITools/openapi-diff) - Compare OpenAPI specs with version control and visualize the differences in HTML or Markdown format. - [OpenAPI Generator (⭐17k)](https://github.com/OpenAPITools/openapi-generator) - Automate the creation of API client libraries, server stubs, documentation and config files with this powerful OpenAPI Spec tool. - [OpenAPI Style Validator (⭐174)](https://github.com/OpenAPITools/openapi-style-validator) - Ensure that your OpenAPI specs meet your organization's standards with this flexible and customizable style validator. - [Spectral (⭐2k)](https://github.com/stoplightio/spectral) - Detect and fix errors in your JSON/YAML files using this linter tool that supports OpenAPI 3.0 & 2.0 and AsyncAPI. - [Swagger Editor (⭐8.3k)](https://github.com/swagger-api/swagger-editor) - Create, describe, and document your API with ease using this open source editor built specifically for OpenAPI-based APIs. -- [Zally (⭐821)](https://github.com/zalando/zally) - Ensure the quality of your OpenAPI specs with this linter tool that provides extensive analysis and feedback. +- [Zally (⭐822)](https://github.com/zalando/zally) - Ensure the quality of your OpenAPI specs with this linter tool that provides extensive analysis and feedback. @@ -51,8 +51,8 @@ System integration is the process of linking together different IT systems (com *Explore a collection of tools and platforms designed to create, maintain, and present clear, concise, and user-friendly documentation for APIs. These resources facilitate seamless collaboration between developers and enable effective communication of API functionalities and specifications.* - [APITree](https://www.apitree.com/) - A tool for managing and sharing API specifications, with version control, API testing automation, and integration with popular API tools. - [DapperDox (⭐381)](https://github.com/DapperDox/dapperdox) - An open-source API documentation generator and server for OpenAPI/Swagger specifications, with customizable documentation, automated updates, and easy sharing. -- [OpenAPI Explorer (⭐224)](https://github.com/Rhosys/openapi-explorer) - A tool for generating user interfaces from OpenAPI specifications, making it easier for software engineers to visualize and interact with APIs. -- [RapiDoc (⭐1.3k)](https://github.com/rapi-doc/RapiDoc) - A tool that generates customizable, interactive API documentation from OpenAPI Specification, with a range of design options. +- [OpenAPI Explorer (⭐225)](https://github.com/Rhosys/openapi-explorer) - A tool for generating user interfaces from OpenAPI specifications, making it easier for software engineers to visualize and interact with APIs. +- [RapiDoc (⭐1.4k)](https://github.com/rapi-doc/RapiDoc) - A tool that generates customizable, interactive API documentation from OpenAPI Specification, with a range of design options. - [Redoc (⭐20k)](https://github.com/Redocly/redoc) - An open-source tool for generating documentation from OpenAPI (fka Swagger) definitions, with customizable themes, language support, and branding. - [Slate (⭐35k)](https://github.com/slatedocs/slate) - A powerful tool that creates static API documentation from markdown, with API reference docs and code samples. - [Stoplight Elements (⭐1.1k)](https://github.com/stoplightio/elements) - Beautiful API documentation powered by OpenAPI and Markdown. Use these UI components to create API reference documentation, or more complete documentation with Markdown articles covering tutorials, how-to guides, etc. @@ -63,7 +63,7 @@ System integration is the process of linking together different IT systems (com ### API Gateway *API Gateways act as intermediaries between client applications and backend services, enabling key features such as request routing, authentication, rate limiting, and caching. They simplify the process of managing, securing, and monitoring APIs by providing a unified entry point for various services.* -- [Apinto (⭐932)](https://github.com/eolinker/goku) - A Golang-based microservice gateway that provides dynamic routing, service orchestration, multi-tenancy management, and API access control. +- [Apinto (⭐945)](https://github.com/eolinker/goku) - A Golang-based microservice gateway that provides dynamic routing, service orchestration, multi-tenancy management, and API access control. - [Ambassador Edge Stack](https://www.getambassador.io/products/edge-stack/api-gateway/) - A Kubernetes-native API Gateway that helps manage APIs at scale with its customizable routing, authentication, and rate-limiting features. - [Apache APISIX (⭐12k)](https://github.com/apache/apisix) - A dynamic, real-time, and high-performance API Gateway that leverages Apache plugins for enhanced functionality. - [Gloo Edge (⭐3.8k)](https://github.com/solo-io/gloo) - An Envoy Proxy-based API Gateway that provides advanced traffic management, security, and observability features for modern microservices architectures. @@ -72,7 +72,7 @@ System integration is the process of linking together different IT systems (com - [Ocelot (⭐7.8k)](https://github.com/ThreeMammals/Ocelot) - A .NET API Gateway that provides a simple and elegant way to manage APIs with its intuitive routing and middleware configuration. - [Spring Cloud Gateway (⭐4.1k)](https://github.com/spring-cloud/spring-cloud-gateway) - An API Gateway built on top of the Spring ecosystem, providing advanced routing and filtering features for Spring applications. - [Traefik (⭐44k)](https://github.com/traefik/traefik) - A modern, open-source API Gateway that is designed to handle dynamic container environments such as Kubernetes, Docker Swarm, and Mesos. It provides load balancing, SSL/TLS termination, rate limiting, circuit breaking, and more. -- [Tyk API Gateway (⭐8.7k)](https://github.com/TykTechnologies/tyk) - An open source Enterprise API Gateway that supports REST, GraphQL, TCP, and gRPC protocols. It provides advanced API management features such as rate limiting, access control, and analytics. +- [Tyk API Gateway (⭐8.8k)](https://github.com/TykTechnologies/tyk) - An open source Enterprise API Gateway that supports REST, GraphQL, TCP, and gRPC protocols. It provides advanced API management features such as rate limiting, access control, and analytics. @@ -88,13 +88,13 @@ System integration is the process of linking together different IT systems (com - [resty (⭐2.6k)](https://github.com/micha/resty) - A Lua framework for building HTTP clients that provides a shell interface for interacting with REST services. - [SoapUI (⭐1.4k)](https://github.com/SmartBear/soapui) - Open-source web service testing application designed for testing SOAP and REST web services. - MQ clients - - [JMSToolBox (⭐178)](https://github.com/jmstoolbox/jmstoolbox) - Universal JMS client designed to interact with a wide range of JMS-based message brokers. + - [JMSToolBox (⭐179)](https://github.com/jmstoolbox/jmstoolbox) - Universal JMS client designed to interact with a wide range of JMS-based message brokers. - [kcat (⭐4.9k)](https://github.com/edenhill/kcat) - Generic non-JVM producer and consumer for Apache Kafka, functioning as a netcat for Kafka. - [MQTT Explorer (⭐2.4k)](https://github.com/thomasnordquist/MQTT-Explorer) - All-round MQTT client with a structured topic overview, suitable for debugging and testing MQTT-based systems. - [Offset Explorer](https://www.kafkatool.com) - GUI application for managing and using Apache Kafka clusters, formerly known as Kafka Tool. - [Service Bus Explorer (⭐1.8k)](https://github.com/paolosalvatori/ServiceBusExplorer) - GUI app for Azure Service Bus, offering advanced features like import/export functionality and the ability to test topic, queues, subscriptions, relay services, notification hubs, and events hubs. - Mocking tools - - [Microcks (⭐932)](https://github.com/microcks/microcks) - Open-source Kubernetes-native tool for API mocking and testing, supporting AsyncAPI, OpenAPI, Postman Collections, etc. + - [Microcks (⭐937)](https://github.com/microcks/microcks) - Open-source Kubernetes-native tool for API mocking and testing, supporting AsyncAPI, OpenAPI, Postman Collections, etc. - [Mockable](https://www.mockable.io/) - Simple configurable service to mock out RESTful API or SOAP web-services. - [Mockoon (⭐5.3k)](https://github.com/mockoon/mockoon) - Easy-to-use tool for designing and running mock REST APIs. - [MockServer (⭐4.2k)](https://github.com/mock-server/mockserver) - Easy mocking of any system you integrate with via HTTP or HTTPS. @@ -106,7 +106,7 @@ System integration is the process of linking together different IT systems (com - [Gatling (⭐6k)](https://github.com/gatling/gatling) - An open-source load testing tool that allows users to write and run load tests as code, providing detailed performance reports to optimize system performance. - [Karate (⭐7.3k)](https://github.com/intuit/karate) - Open-source tool that combines API test-automation, mocks, performance-testing, and even UI automation into a single, unified framework. - [Pyresttest (⭐1.1k)](https://github.com/svanoort/pyresttest) - Java DSL for easy testing of REST services. - - [REST Assured (⭐6.4k)](https://github.com/rest-assured/rest-assured) - Java DSL for easy testing of REST services. + - [REST Assured (⭐6.5k)](https://github.com/rest-assured/rest-assured) - Java DSL for easy testing of REST services. - [Schemathesis (⭐1.8k)](https://github.com/schemathesis/schemathesis) - Python library for property-based testing of API schemas. - [Taurus (⭐1.8k)](https://github.com/Blazemeter/taurus) - An open-source framework for continuous testing that simplifies test execution and management through a user-friendly interface and integrates with various testing tools and frameworks. @@ -114,10 +114,10 @@ System integration is the process of linking together different IT systems (com ### BRE *Business Rules Engines and Business Rules Management Systems (BRMS) are software systems that allow organizations to define, manage, and execute business rules. These rules are used to automate decision-making processes, enforce business policies, and ensure regulatory compliance. A BRMS provides a way for organizations to centrally manage their business rules and make changes to them quickly and easily, without requiring changes to the underlying code. It is a valuable tool for businesses that need to be agile and respond quickly to changing market conditions.* -- [Drools (⭐5.4k)](https://github.com/kiegroup/drools) - Open-source tool that supports Decision Model and Notation (DMN) models at Conformance level 3 with an Eclipse IDE plugin for core development. +- [Drools (⭐5.4k)](https://github.com/apache/incubator-kie-drools) - Open-source tool that supports Decision Model and Notation (DMN) models at Conformance level 3 with an Eclipse IDE plugin for core development. - [Easy Rules (⭐4.5k)](https://github.com/j-easy/easy-rules) - Simple Java rules engine for straightforward rule processing. - [NxBRE (⭐127)](https://github.com/ddossot/NxBRE) - Open-source rule engine specifically designed for the .NET platform. -- [OpenL Tablets (⭐128)](https://github.com/openl-tablets/openl-tablets) - Open-source business rules engine (BRE, BRMS) and decision management system that allows users to define, manage, and execute business rules and decision tables. +- [OpenL Tablets (⭐129)](https://github.com/openl-tablets/openl-tablets) - Open-source business rules engine (BRE, BRMS) and decision management system that allows users to define, manage, and execute business rules and decision tables. @@ -136,10 +136,10 @@ System integration is the process of linking together different IT systems (com ### Data Mapping Solution *Data Mapping tools are used to define and transform data between different systems, applications, and formats. These tools allow for the mapping of data from source to target, allowing for data transformation and integration. This section covers different data mapping solutions that can be used to facilitate data mapping and transformation processes for different use cases.* -- [AltasMap (⭐158)](https://github.com/atlasmap/atlasmap) - A web-based data mapping solution that simplifies integration between Java, XML, CSV, and JSON data sources. Its interactive user interface makes configuring integrations easy. +- [AltasMap (⭐160)](https://github.com/atlasmap/atlasmap) - A web-based data mapping solution that simplifies integration between Java, XML, CSV, and JSON data sources. Its interactive user interface makes configuring integrations easy. - [Altova MapForce](https://www.altova.com/mapforce) - A graphical data mapping tool that can handle any-to-any conversion and integration tasks. It simplifies complex mapping tasks, enabling software engineers to complete projects faster. - [JOLT (⭐1.4k)](https://github.com/bazaarvoice/jolt) - A Java-based JSON-to-JSON transformation library that uses a JSON document as the "specification" for the transform. JOLT provides a simple way for software engineers to transform JSON data. -- [JSLT (⭐564)](https://github.com/schibsted/jslt) - 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. +- [JSLT (⭐565)](https://github.com/schibsted/jslt) - 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. @@ -169,7 +169,7 @@ System integration is the process of linking together different IT systems (com - [Informatica PowerCenter](https://www.informatica.com/products/data-integration/powercenter.html) - A trusted enterprise data integration and management software powering analytics for big data and cloud. - [Microsoft SSIS](https://docs.microsoft.com/en-us/sql/integration-services/sql-server-integration-services) - A reliable platform for building enterprise-level data integration and transformation solutions. - [Oracle Data Integrator](https://www.oracle.com/middleware/technologies/data-integrator.html) - A comprehensive data integration platform that covers all data integration requirements, including batch loads, integration processes, and SOA-enabled data services. -- [Pentaho Data Integration (⭐6.8k)](https://github.com/pentaho/pentaho-kettle) - A user-friendly platform that enables users to ingest, blend, cleanse, and prepare diverse data from any source with visual tools, eliminating the need for coding and complexity. +- [Pentaho Data Integration (⭐6.9k)](https://github.com/pentaho/pentaho-kettle) - A user-friendly platform that enables users to ingest, blend, cleanse, and prepare diverse data from any source with visual tools, eliminating the need for coding and complexity. - [SAS Data Management](https://www.sas.com/en_us/software/data-management.html) - A robust platform that helps transform, integrate, govern, and secure data while improving its overall quality and reliability. - [Stitch](https://www.stitchdata.com/) - A simple yet powerful ETL service that integrates data from dozens of different sources, ideal for businesses of all sizes. - [Talend Data Integration](https://www.talend.com/products/integrate-data/) - A versatile platform that brings data together from multiple sources to power all your business decisions. @@ -266,7 +266,7 @@ System integration is the process of linking together different IT systems (com - [NATS (⭐13k)](https://github.com/nats-io/gnatsd) - A lightweight and high-performance messaging system designed for microservices, IoT, and cloud-native systems. Offers efficient and reliable message delivery and supports multiple messaging protocols. - [Oracle AQ](https://www.oracle.com/database/technologies/advanced-queuing.html) - A messaging system that provides enterprise message functionality and is widely used within the Oracle database. Offers reliable and efficient message delivery and supports multiple messaging styles. - [RabbitMQ (⭐11k)](https://github.com/rabbitmq/rabbitmq-server) - An open-source message broker that implements AMQP and supports multiple messaging protocols and patterns. Offers reliable and efficient message delivery and supports clustering and high availability. -- [Redpanda (⭐7.6k)](https://github.com/vectorizedio/redpanda) - A streaming platform that is Kafka-compatible and does not require Zookeeper or JVM. Offers high-performance and low-latency messaging and supports stream processing and analytics. +- [Redpanda (⭐7.7k)](https://github.com/vectorizedio/redpanda) - A streaming platform that is Kafka-compatible and does not require Zookeeper or JVM. Offers high-performance and low-latency messaging and supports stream processing and analytics. - [Red Hat AMQ](https://www.redhat.com/en/technologies/jboss-middleware/amq) - A messaging system based on open-source communities like Apache ActiveMQ and Apache Kafka. Offers enterprise-grade messaging capabilities with reliable and efficient message delivery. - [TIBCO Enterprise Message Service](https://www.tibco.com/products/tibco-enterprise-message-service) - A standards-based JMS implementation that allows for easy exchange of messages between applications. Offers reliable and efficient message delivery and supports various messaging protocols and patterns. - [VerneMQ (⭐3k)](https://github.com/vernemq/vernemq) - A high-performance distributed MQTT message broker designed for scalability and reliability. Offers efficient and reliable message delivery and supports multiple messaging protocols and patterns. @@ -298,8 +298,8 @@ System integration is the process of linking together different IT systems (com - [Apache Airflow (⭐31k)](https://github.com/apache/airflow) - A platform that allows you to create, schedule, and monitor workflows programmatically, making it easier to manage and automate complex data pipelines. - [Argo Workflows (⭐13k)](https://github.com/argoproj/argo-workflows) - An open-source, container-native workflow engine designed to orchestrate parallel jobs on Kubernetes, making it easier to manage and automate complex workflows in a cloud-native environment. - [Azkaban (⭐4.3k)](https://github.com/azkaban/azkaban) - A distributed workflow manager that helps solve the problem of Hadoop job dependencies, making it easier to schedule and manage workflows in large-scale data processing environments. -- [Bonita (⭐137)](https://github.com/bonitasoft/bonita-engine) - An open-source BPMN engine that comes with a designer and optional development environment, making it easier to build and automate complex business processes. -- [Cadence (⭐7.2k)](https://github.com/uber/cadence) - A fault-tolerant, stateful code platform that makes it easier to build and manage complex, long-running applications. +- [Bonita (⭐138)](https://github.com/bonitasoft/bonita-engine) - An open-source BPMN engine that comes with a designer and optional development environment, making it easier to build and automate complex business processes. +- [Cadence (⭐7.3k)](https://github.com/uber/cadence) - A fault-tolerant, stateful code platform that makes it easier to build and manage complex, long-running applications. - [Camunda (⭐3.5k)](https://github.com/camunda/camunda-bpm-platform) - An open-source workflow and decision automation platform that helps you automate business processes and decisions in a flexible and scalable way. - [Conductor (⭐10k)](https://github.com/Netflix/conductor) - A cloud-based orchestration engine designed to run and manage workflows in a microservices architecture. - [Elsa Core (⭐4.9k)](https://github.com/elsa-workflows/elsa-core) - A library that enables workflow execution in any .NET Core application, making it easier to automate business processes in .NET environments. diff --git a/docs/awesome/awesome-naming.md b/docs/awesome/awesome-naming.md index 3a9d839bb8..1d13106d94 100644 --- a/docs/awesome/awesome-naming.md +++ b/docs/awesome/awesome-naming.md @@ -57,6 +57,7 @@ This is a curated list for when naming things is done right. ## Libraries and Frameworks - [clooney](https://github.com/GoogleChromeLabs/clooney) - A JavaScript library implementing the actor model for concurrent computation. The term is a reference to George Clooney who is also an actor. +- [horcrux](https://github.com/jesseduffield/horcrux) - Splits a file into encrypted fragments that only together can be decrypted again. In the Harry Potter universe, Horcruxes are fragments of a persons soul. To kill the person, all fragments must be destroyed. - [Puppeteer](https://github.com/puppeteer/puppeteer) - A browser automation library. If the browser is the puppet, this is the puppeteer. - [Uglify](https://github.com/mishoo/UglifyJS) - A JavaScript minifier. Removes everything that makes the code readable and pretty to make it smaller. - [uppy](https://github.com/transloadit/uppy) - A dog themed uploader component. The name is a blend of _upload_ and _puppy_. It even comes with a crash recovery plugin called _Golden Retriever_. diff --git a/docs/awesome/awesome-neovim.md b/docs/awesome/awesome-neovim.md index b704de854f..492f73f30b 100644 --- a/docs/awesome/awesome-neovim.md +++ b/docs/awesome/awesome-neovim.md @@ -303,7 +303,7 @@ Tree-sitter is a new system introduced in Neovim 0.5 that incrementally parses y - [rafamadriz/neon](https://github.com/rafamadriz/neon) - Customizable colorscheme with excellent italic and bold support, dark and light variants. Made to work and look good with Tree-sitter. - [tomasiser/vim-code-dark](https://github.com/tomasiser/vim-code-dark) - A dark color scheme heavily inspired by the look of the Dark+ scheme of Visual Studio Code. - [Mofiqul/vscode.nvim](https://github.com/Mofiqul/vscode.nvim) - A Lua port of vim-code-dark colorscheme with vscode light and dark theme. -- [askfiy/visual_studio_code](https://github.com/askfiy/visual_studio_code) - A Neovim theme that highly restores vscode, so that your friends will no longer be surprised that you use Neovim, because they will think you are using vscode. +- [askfiy/visual_studio_code](https://github.com/askfiy/visual_studio_code) - A Neovim theme that highly restores vscode, so that your friends will no longer be surprised that you use Neovim, because they will think you are using vscode. - [marko-cerovac/material.nvim](https://github.com/marko-cerovac/material.nvim) - Material.nvim is a highly configurable colorscheme written in Lua and based on the material palette. - [bluz71/vim-nightfly-colors](https://github.com/bluz71/vim-nightfly-colors) - A dark midnight colorscheme with modern Neovim support including Tree-sitter. - [bluz71/vim-moonfly-colors](https://github.com/bluz71/vim-moonfly-colors) - A dark charcoal colorscheme with modern Neovim support including Tree-sitter. @@ -395,6 +395,7 @@ Tree-sitter is a new system introduced in Neovim 0.5 that incrementally parses y - [Verf/deepwhite.nvim](https://github.com/Verf/deepwhite.nvim) - A light colorscheme inspired by [flatwhite-syntax](https://github.com/biletskyy/flatwhite-syntax) and [elegant-emacs](https://github.com/rougier/elegant-emacs). - [judaew/ronny.nvim](https://github.com/judaew/ronny.nvim) - A dark colorscheme, which mostly was inspired by the Monokai originally created by Wimem Hazenberg. - [ribru17/bamboo.nvim](https://github.com/ribru17/bamboo.nvim) - A warm green theme. +- [cryptomilk/nightcity.nvim](https://github.com/cryptomilk/nightcity.nvim) - A dark colorscheme inspired by Inkpot, Jellybeans, Gruvbox and Tokyonight with LSP support. #### Lua Colorscheme @@ -551,6 +552,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [axieax/urlview.nvim](https://github.com/axieax/urlview.nvim) - Browse all URLs in the current buffer. - [nkakouros-original/numbers.nvim](https://github.com/nkakouros-original/numbers.nvim) - Toggle relativenumber whenever it makes sense. - [ghillb/cybu.nvim](https://github.com/ghillb/cybu.nvim) - Displays a notification window with context when cycling buffers. +- [sontungexpt/url-open](https://github.com/sontungexpt/url-open) - Open URLs under the cursor and create highlight effects for them. - [crusj/bookmarks.nvim](https://github.com/crusj/bookmarks.nvim) - Remember file locations and sort by time and frequency. - [xiyaowong/virtcolumn.nvim](https://github.com/xiyaowong/virtcolumn.nvim) - Display a line as colorcolumn. - [m-demare/attempt.nvim](https://github.com/m-demare/attempt.nvim) - Manage and run temporary buffers. @@ -593,6 +595,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [LoricAndre/OneTerm.nvim](https://github.com/LoricAndre/OneTerm.nvim) - Plugin framework for running commands in the terminal. - [nikvdp/neomux](https://github.com/nikvdp/neomux) - Control Neovim from shells running inside Neovim. - [willothy/flatten.nvim](https://github.com/willothy/flatten.nvim) - Open files from terminal buffers in your current Neovim instance instead of launching a nested instance. +- [willothy/wezterm.nvim](https://github.com/willothy/wezterm.nvim) - Functions for interacting with Wezterm. - [akinsho/nvim-toggleterm.lua](https://github.com/akinsho/nvim-toggleterm.lua) - A Neovim Lua plugin to help easily manage multiple terminal windows. - [norcalli/nvim-terminal.lua](https://github.com/norcalli/nvim-terminal.lua) - A high performance filetype mode which leverages conceal and highlights your buffer with the correct color codes. - [numToStr/FTerm.nvim](https://github.com/numToStr/FTerm.nvim) - No nonsense floating terminal written in Lua. @@ -605,6 +608,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [nyngwang/NeoTerm.lua](https://github.com/nyngwang/NeoTerm.lua) - Attach a terminal for each **buffer**, now with stable toggle and astonishing cursor restoring. - [idanarye/nvim-channelot](https://github.com/idanarye/nvim-channelot) - Operate Neovim jobs from Lua coroutines. - [chomosuke/term-edit.nvim](https://github.com/chomosuke/term-edit.nvim) - Allowing you to edit your command in the terminal just like any other buffer. +- [mikesmithgh/kitty-scrollback.nvim](https://github.com/mikesmithgh/kitty-scrollback.nvim) - Open your Kitty scrollback buffer. Ameowzing. ### Debugging @@ -706,6 +710,7 @@ These colorschemes may not specialize in Tree-sitter directly but are written in - [aaronhallaert/advanced-git-search.nvim](https://github.com/aaronhallaert/advanced-git-search.nvim) - Search your git history by commit content, message and author with Telescope. - [linrongbin16/gitlinker.nvim](https://github.com/linrongbin16/gitlinker.nvim) - Generate sharable file permalinks (with line ranges) for git host websites, a fork of "ruifm's gitlinker", refactored with pattern based rule engine, windows support and other enhancements. - [9seconds/repolink.nvim](https://github.com/9seconds/repolink.nvim) - Generate shareable HTTP permalinks for various Git web frontends. +- [chrisgrieser/nvim-tinygit](https://github.com/chrisgrieser/nvim-tinygit) - Lightweight and nimble git client. #### GitHub diff --git a/docs/awesome/awesome-python-data-science.md b/docs/awesome/awesome-python-data-science.md index d4281723f2..a19fb6bfbb 100644 --- a/docs/awesome/awesome-python-data-science.md +++ b/docs/awesome/awesome-python-data-science.md @@ -26,8 +26,6 @@ * [mlpack](https://github.com/mlpack/mlpack) - A scalable C++ machine learning library (Python bindings). * [dlib](https://github.com/davisking/dlib) - Toolkit for making real-world machine learning and data analysis applications in C++ (Python bindings). * [pyGAM](https://github.com/dswah/pyGAM) - Generalized Additive Models in Python. -* [Karate Club](https://github.com/benedekrozemberczki/karateclub) - An unsupervised machine learning library for graph-structured data. -* [Little Ball of Fur](https://github.com/benedekrozemberczki/littleballoffur) - A library for sampling graph structured data. ### Automated Machine Learning * [MLBox](https://github.com/AxeldeRomblay/MLBox) - A powerful Automated Machine Learning python library. @@ -63,14 +61,33 @@ * [nnabla](https://github.com/sony/nnabla) - Neural Network Libraries by Sony. * [Caffe](https://github.com/BVLC/caffe) - A fast open framework for deep learning. -**[DISCONTINUED PROJECTS](https://github.com/krzjoa/awesome-python-data-science/blob/master/other/deprecated.md#deep-learning)** +## Reinforcement Learning +* [Gymnasium](https://github.com/Farama-Foundation/Gymnasium) - An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly [Gym](https://github.com/openai/gym)). +* [Stable Baselines3](https://github.com/DLR-RM/stable-baselines3) - A set of improved implementations of reinforcement learning algorithms based on OpenAI Baselines. +* [RLlib](https://ray.readthedocs.io/en/latest/rllib.html) - Scalable Reinforcement Learning. +* [Acme](https://github.com/google-deepmind/acme) - A library of reinforcement learning components and agents. +* [Catalyst-RL](https://github.com/catalyst-team/catalyst-rl) - PyTorch framework for RL research. +* [d3rlpy](https://github.com/takuseno/d3rlpy) - An offline deep reinforcement learning library. +* [Tianshou](https://github.com/thu-ml/tianshou/#comprehensive-functionality) - An elegant PyTorch deep reinforcement learning library. +* [Dopamine](https://github.com/google/dopamine) - A research framework for fast prototyping of reinforcement learning algorithms. +* [garage](https://github.com/rlworkgroup/garage) - A toolkit for reproducible reinforcement learning research. +* [Horizon](https://github.com/facebookresearch/Horizon) - A platform for Applied Reinforcement Learning. -## Web Scraping -* [BeautifulSoup](https://www.crummy.com/software/BeautifulSoup/bs4/doc/): The easiest library to scrape static websites for beginners -* [Scrapy](https://scrapy.org/): Fast and extensible scraping library. Can write rules and create customized scraper without touching the core -* [Selenium](https://selenium-python.readthedocs.io/installation.html#introduction): Use Selenium Python API to access all functionalities of Selenium WebDriver in an intuitive way like a real user. -* [Pattern](https://github.com/clips/pattern): High level scraping for well-establish websites such as Google, Twitter, and Wikipedia. Also has NLP, machine learning algorithms, and visualization -* [twitterscraper](https://github.com/taspinar/twitterscraper): Efficient library to scrape Twitter +## Graph Machine Learning +* [dgl](https://github.com/dmlc/dgl) - Python package built to ease deep learning on graph, on top of existing DL frameworks. +* [Karate Club](https://github.com/benedekrozemberczki/karateclub) - An unsupervised machine learning library for graph-structured data. +* [Little Ball of Fur](https://github.com/benedekrozemberczki/littleballoffur) - A library for sampling graph structured data. + +## Probabilistic Graphical Models +* [pgmpy](https://github.com/pgmpy/pgmpy) - A python library for working with Probabilistic Graphical Models. +* [pyAgrum](https://agrum.gitlab.io/) - A GRaphical Universal Modeler. + +## Probabilistic Methods +* [PyMC](https://github.com/pymc-devs/pymc) - Bayesian Stochastic Modelling in Python. +* [PyStan](https://github.com/stan-dev/pystan) - Bayesian inference using the No-U-Turn sampler (Python interface). +* [emcee](https://github.com/dfm/emcee) - The Python ensemble sampling toolkit for affine-invariant MCMC. +* [hsmmlearn](https://github.com/jvkersch/hsmmlearn) - A library for hidden semi-Markov models with explicit durations. +* [pyhsmm](https://github.com/mattjj/pyhsmm) - Bayesian inference in HSMMs and HMMs. ## Data Manipulation @@ -165,28 +182,7 @@ * [FlashLight](https://github.com/dlguys/flashlight) - Visualization Tool for your NeuralNetwork. * [tensorboard-pytorch](https://github.com/lanpa/tensorboard-pytorch) - Tensorboard for PyTorch (and chainer, mxnet, numpy, ...). -## Reinforcement Learning -* [Gymnasium](https://github.com/Farama-Foundation/Gymnasium) - An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly [Gym](https://github.com/openai/gym)). -* [Stable Baselines3](https://github.com/DLR-RM/stable-baselines3) - A set of improved implementations of reinforcement learning algorithms based on OpenAI Baselines. -* [RLlib](https://ray.readthedocs.io/en/latest/rllib.html) - Scalable Reinforcement Learning. -* [Acme](https://github.com/google-deepmind/acme) - A library of reinforcement learning components and agents. -* [Catalyst-RL](https://github.com/catalyst-team/catalyst-rl) - PyTorch framework for RL research. -* [d3rlpy](https://github.com/takuseno/d3rlpy) - An offline deep reinforcement learning library. -* [Tianshou](https://github.com/thu-ml/tianshou/#comprehensive-functionality) - An elegant PyTorch deep reinforcement learning library. -* [Dopamine](https://github.com/google/dopamine) - A research framework for fast prototyping of reinforcement learning algorithms. -* [garage](https://github.com/rlworkgroup/garage) - A toolkit for reproducible reinforcement learning research. -* [Horizon](https://github.com/facebookresearch/Horizon) - A platform for Applied Reinforcement Learning. - -## Probabilistic Graphical Models -* [pgmpy](https://github.com/pgmpy/pgmpy) - A python library for working with Probabilistic Graphical Models. -* [pyAgrum](https://agrum.gitlab.io/) - A GRaphical Universal Modeler. -## Probabilistic Methods -* [PyMC](https://github.com/pymc-devs/pymc) - Bayesian Stochastic Modelling in Python. -* [PyStan](https://github.com/stan-dev/pystan) - Bayesian inference using the No-U-Turn sampler (Python interface). -* [emcee](https://github.com/dfm/emcee) - The Python ensemble sampling toolkit for affine-invariant MCMC. -* [hsmmlearn](https://github.com/jvkersch/hsmmlearn) - A library for hidden semi-Markov models with explicit durations. -* [pyhsmm](https://github.com/mattjj/pyhsmm) - Bayesian inference in HSMMs and HMMs. ## Genetic Programming * [DEAP](https://github.com/DEAP/deap) - Distributed Evolutionary Algorithms in Python. @@ -295,6 +291,13 @@ * [adaptive](https://github.com/python-adaptive/adaptive) - Tools for adaptive and parallel samping of mathematical functions. * [NumExpr](https://github.com/pydata/numexpr) - A fast numerical expression evaluator for NumPy that comes with an integrated computing virtual machine to speed calculations up by avoiding memory allocation for intermediate results. +## Web Scraping +* [BeautifulSoup](https://www.crummy.com/software/BeautifulSoup/bs4/doc/): The easiest library to scrape static websites for beginners +* [Scrapy](https://scrapy.org/): Fast and extensible scraping library. Can write rules and create customized scraper without touching the core +* [Selenium](https://selenium-python.readthedocs.io/installation.html#introduction): Use Selenium Python API to access all functionalities of Selenium WebDriver in an intuitive way like a real user. +* [Pattern](https://github.com/clips/pattern): High level scraping for well-establish websites such as Google, Twitter, and Wikipedia. Also has NLP, machine learning algorithms, and visualization +* [twitterscraper](https://github.com/taspinar/twitterscraper): Efficient library to scrape Twitter + ## Spatial Analysis * [PySal](https://github.com/pysal/pysal) - Python Spatial Analysis Library. diff --git a/docs/awesome/awesome-selfhosted.md b/docs/awesome/awesome-selfhosted.md index 29555e50fd..c471fb26de 100644 --- a/docs/awesome/awesome-selfhosted.md +++ b/docs/awesome/awesome-selfhosted.md @@ -42,7 +42,7 @@ _Related: [Database Management](#database-management), [Personal Dashboards](#pe - [Netron](https://netron.app/) - Visualizer for neural network and machine learning models. ([Source Code](https://github.com/lutzroeder/netron)) `MIT` `Python/Nodejs` - [Offen](https://www.offen.dev/) - Fair, lightweight and open web analytics tool. Gain insights while your users have full access to their data. ([Demo](https://www.offen.dev/try-demo/), [Source Code](https://github.com/offen/offen)) `Apache-2.0` `Go/Docker` - [Open Web Analytics](http://www.openwebanalytics.com/) - Web analytics framework that lets you stay in control of how you instrument and analyze the use of your websites and applications. ([Source Code](https://github.com/Open-Web-Analytics/Open-Web-Analytics)) `GPL-2.0` `PHP` -- [Plausible Analytics](https://plausible.io/) - Simple, open-source, lightweight (< 1 KB) and privacy-friendly web analytics. ([Source Code](https://github.com/plausible/analytics/)) `MIT` `Elixir` +- [Plausible Analytics](https://plausible.io/) - Simple, open-source, lightweight (< 1 KB) and privacy-friendly web analytics. ([Source Code](https://github.com/plausible/analytics/)) `AGPL-3.0` `Elixir` - [PoeticMetric](https://www.poeticmetric.com) - Free as in freedom, open source, privacy-first and regulation-compliant web analytics tool. ([Demo](https://www.poeticmetric.com/s?d=www.poeticmetric.com), [Source Code](https://github.com/th0th/poeticmetric)) `AGPL-3.0` `Docker` - [PostHog](https://posthog.com) - Product analytics, session recording, feature flagging and a/b testing that you can self-host (alternative to Mixpanel/Amplitude/Heap/HotJar/Optimizely). ([Source Code](https://github.com/posthog/posthog)) `MIT` `Python` - [Redash](http://redash.io) - Connect and query your data sources, build dashboards to visualize data and share them with your company. ([Source Code](https://github.com/getredash/redash)) `BSD-2-Clause` `Docker` diff --git a/docs/awesome/free-for-dev.md b/docs/awesome/free-for-dev.md index e5b20b8f33..8a03a1d900 100644 --- a/docs/awesome/free-for-dev.md +++ b/docs/awesome/free-for-dev.md @@ -98,6 +98,17 @@ This list is the result of Pull Requests, reviews, ideas and work done by 1100+ * Log Analysis - 500MB of daily log * Full, detailed list - https://www.ibm.com/cloud/free/ + * [Cloudflare](https://www.cloudflare.com/) + * [Application Services](https://www.cloudflare.com/plans/) - Free DNS for unlimited number of domains, DDoS Protection, CDN along with free SSL, Firewall rules and pagerules, WAF, Bot Mitigation, Free Unmetered Rate Limiting - 1 rule per domain, Analytics, Email forwarding + * [Zero Trust & SASE](https://www.cloudflare.com/plans/zero-trust-services/) - Up to 50 Users, 24 hours of activity logging, 3 network locations + * [Cloudflare Tunnel](https://www.cloudflare.com/products/tunnel/) - You can expose locally running HTTP port over a tunnel to a random subdomain on trycloudflare.com use [Quick Tunnels](https://developers.cloudflare.com/cloudflare-one/connections/connect-apps/run-tunnel/trycloudflare), No account required. More feature (TCP tunnel, Load balancing , VPN) in [Zero Trust](https://www.cloudflare.com/products/zero-trust/) Free Plan. + * [Workers](https://developers.cloudflare.com/workers/) - Deploy serverless code for free on Cloudflare's global network.100k requests per day. + * [Workers KV](https://developers.cloudflare.com/kv) - 100k read requests per day, 1000 write requests per day, 1000 delete requests per day, 1000 list requests per day, 1 GB stored data + * [R2](https://developers.cloudflare.com/r2/) - 10 GB per month, 1 million Class A operations per month, 10 million Class B operations per month + * [D1](https://developers.cloudflare.com/d1/) - 5 million rows read per day, 100k rows written per day, 1 GB storage + * [Pages](https://developers.cloudflare.com/pages/) - Develop and deploy your web apps on Cloudflare's fast, secure global network. 500 builds per month, 100 custom domains, Integrated SSL, unlimited free seats, unlimited preview deployments, and full-stack capability via Cloudflare Workers integration. + * [Queues](https://developers.cloudflare.com/queues/) - 1 million operations per month + ## Cloud management solutions * [Brainboard](https://www.brainboard.co) - Collaborative solution to visually build and manage cloud infrastructures from end-to-end. @@ -409,6 +420,7 @@ This list is the result of Pull Requests, reviews, ideas and work done by 1100+ * [Hygraph](https://hygraph.com/) - Offers free tier for small projects. GraphQL first API. Move away from legacy solutions to the GraphQL native Headless CMS - and deliver omnichannel content API first. * [Squidex](https://squidex.io/) - Offers free tier for small projects. API / GraphQL first. Open source, and based on event sourcing (versing every changes automatically). * [InstaWP](https://instawp.com/) - Launch a WordPress site in a few seconds. A free tier with: 5 Active Sites, 500 MB Space, 48 hrs Site Expiry. + * [Storyblok](https://www.storyblok.com) - A Headless CMS for developers and marketers that works with all modern frameworks. The Community (free) tier offers Management API, Visual Editor, 10 Datasources, Custom Field Types, Internationalization (unlimited languages/locales), Asset Manager (up to 2500 assets), Image Optimizing Service, Search Query, Webhook + 250GB Traffic/month included. ## Code Generation @@ -870,11 +882,11 @@ This list is the result of Pull Requests, reviews, ideas and work done by 1100+ ## Feature Toggles Management Platforms - * [ConfigCat](https://configcat.com) - ConfigCat is a developer-centric feature flag service with unlimited team size, awesome support, and a reasonable price tag. Free plan up to 10 flags, 2 environments, 1 product and 5 Million requests per month. - * [Flagsmith](https://flagsmith.com) - Release features with confidence; manage feature flags across web, mobile, and server side applications. Use our hosted API, deploy to your own private cloud, or run on-premise. - * [GrowthBook](https://growthbook.io) - Open source feature flag and A/B testing provider with built-in Bayesian statistical analysis engine. Free for up to 3 users, unlimited feature flags and experiments. - * [Molasses](https://www.molasses.app) - Powerful feature flags and A/B testing. Free up to 3 environments with 5 feature flags each. - * [Toggled.dev](https://www.toggled.dev) - Enterprise ready, scalable and multi-regional feature toggles management platform. Free plan up to 10 flags, 2 environments, unlimited requests. SDK, analytics dashboard, release calendar, Slack notifications and all other features are included in the endless free plan. + * [ConfigCat](https://configcat.com) - ConfigCat is a developer-centric feature flag service with unlimited team size, awesome support, and a reasonable price tag. Free plan up to 10 flags, 2 environments, 1 product and 5 Million requests per month. + * [Flagsmith](https://flagsmith.com) - Release features with confidence; manage feature flags across web, mobile, and server side applications. Use our hosted API, deploy to your own private cloud, or run on-premise. + * [GrowthBook](https://growthbook.io) - Open source feature flag and A/B testing provider with built-in Bayesian statistical analysis engine. Free for up to 3 users, unlimited feature flags and experiments. + * [Molasses](https://www.molasses.app) - Powerful feature flags and A/B testing. Free up to 3 environments with 5 feature flags each. + * [Toggled.dev](https://www.toggled.dev) - Enterprise ready, scalable and multi-regional feature toggles management platform. Free plan up to 10 flags, 2 environments, unlimited requests. SDK, analytics dashboard, release calendar, Slack notifications and all other features are included in the endless free plan. ## Font @@ -933,16 +945,6 @@ This list is the result of Pull Requests, reviews, ideas and work done by 1100+ * [bootstrapcdn.com](https://www.bootstrapcdn.com/) — CDN for bootstrap, bootswatch and fontawesome.io * [cdnjs.com](https://cdnjs.com/) — Simple. Fast. Reliable. Content delivery at its finest. cdnjs is a free and open-source CDN service trusted by over 11% of all websites, powered by Cloudflare. - * [Cloudflare](https://www.cloudflare.com/) - * CDN along with free SSL - * Free DNS for unlimited number of domains - * Firewall rules and pagerules - * Analytics - * Email forwarding - * Free Unmetered Rate Limiting - 1 rule per domain - * [Cloudflare Pages](https://pages.cloudflare.com/) — Free web hosting (JAMstack platform) for frontend developers to collaborate and deploy websites. 1 build at a time, 500 builds/month, unlimited sites, unlimited requests, unlimited bandwidth. - * [Cloudflare Workers](https://workers.cloudflare.com/) — Deploy serverless code for free on Cloudflare's global network. 100,000 free requests per day with a workers.dev subdomain. - * [Cloudflare Tunnel](https://www.cloudflare.com/products/tunnel/) - You can expose locally running HTTP port over a tunnel to a random subdomain on trycloudflare.com use [Quick Tunnels](https://developers.cloudflare.com/cloudflare-one/connections/connect-apps/run-tunnel/trycloudflare), No account required. More feature (TCP tunnel, Load balancing , VPN) in [Zero Trust](https://www.cloudflare.com/products/zero-trust/) Free Plan. * [developers.google.com](https://developers.google.com/speed/libraries/) — The Google Hosted Libraries is a content distribution network for the most popular, Open Source JavaScript libraries * [Stellate](https://stellate.co/) - Stellate is blazing fast, reliable CDN for your GraphQL API and Free for 2 services. * [jsdelivr.com](https://www.jsdelivr.com/) — A free, fast, and reliable CDN for open source. Supports npm, GitHub, WordPress, Deno, and more. @@ -1487,6 +1489,7 @@ Update Time, 5 active automations, webhooks. ## Analytics, Events and Statistics + * [Dwh.dev](https://dwh.dev) - Data Cloud Observability Solution (Snowflake). Free for personal use. * [Hightouch](https://hightouch.com/) - Hightouch is a Reverse ETL platform that helps you sync your customer data from your data warehouse to your CRM, marketing, and support tools. Free tier that offers you one destination to sync data to. * [Avo](https://avo.app/) — Simplified analytics release workflow. Single-source-of-truth tracking plan, type safe analytics tracking library, in-app debuggers, data observability to catch all data issues before you release. Free for 2 workspace members and 1 hour data observability lookback. * [Branch](https://branch.io) — Mobile Analytics Platform. Free Tier offers upto 10K Mobile App Users with deep-linking & other services. @@ -1710,6 +1713,7 @@ Update Time, 5 active automations, webhooks. ## Other Free Resources + * [Buff.tools](https://buff.tools/) - An all-in-one digital toolbox featuring Web, SEO, AI, Domain Management, unit conversion, calculators, and Image Manipulation Tools. * [ElevateAI](https://www.elevateai.com) - Get up to 200 hours of audio transcription for free every month. * [get.localhost.direct](https://get.localhost.direct) — A better `*.localhost.direct` Wildcard public CA signed SSL cert for localhost development with sub-domain support * [Framacloud](https://degooglisons-internet.org/en/list/) — A list of Free/Libre Open Source Software and SaaS by the French non-profit [Framasoft](https://framasoft.org/en/).