Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
5 "assistants" Awesome Lists
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
automated-theorem-provers constructive-mathematics dependent-types formal-verification logic proof-assistants prover reasoning rust theorem-prover
279 stars
9 forks
580 projects
Last updated: 30 May 2024
awesome-cabal
π« A curated list of awesome resources for the Haskell Cabal build tool.
awesome awesome-list cabal cabal-assistants haskell haskell-cabal
115 stars
7 forks
152 projects
Last updated: 12 Apr 2024
artificial-intelligence-library
Artificial Intelligence Library β a meticulously curated library featuring over 320 top-tier AI platforms across 16 distinct categories.
assistants audio-editing awesome awesome-list code-assistants developer-tools drawings education healthcare image
39 stars
3 forks
323 projects
Last updated: 30 Apr 2024
awesome-coding-assistants
Awesome curated list of coding assistants and related resources
ai-assistant ai-assistants awesome-list code-completion code-generation codex coding-assistant list llm llms
33 stars
4 forks
58 projects
Last updated: 20 May 2024
awesome-ai-tools
π΄VERY LARGE AI TOOL LIST! π΄ extensive collection of tools and resources covering a broad range of applications in the world of artificial intelligence (AI) and machine learning (ML). This list encompasses a variety of categories, including educational resources specific to AI and ML, advanced tools for photo and video generation, chatbots, etc.
ai-education ai-music-generation ai-research ai-video-generation artificial-intelligence chatbots code-assistants computer-vision data-science deep-learning
5 stars
0 forks
456 projects
Last updated: 28 Mar 2024