AMGAS14
Follow
Lists (32)
Agile
2 repositories
AI
16 repositories
AI Agents
4 repositories
ARC
11 repositories
Back-End
5 repositories
Category Theory
14 repositories
Clean code
1 repository
Coding Interview
4 repositories
Comp Scientific Discovery
1 repository
Data Engineering
1 repository
Deep Learning
4 repositories
DEVOPS
1 repository
Flask
2 repositories
Front-End
5 repositories
Functional Programming
1 repository
LLMOPS
7 repositories
LLMs
26 repositories
LLMs Datasets
1 repository
Machine Learning
8 repositories
Moonshot
NLP
9 repositories
OSS
1 repository
Papers Implementation
1 repository
Programming Languages
2 repositories
Projects
8 repositories
PyTorch
1 repository
Saas
8 repositories
Software Engineering
5 repositories
Technical Blogging
2 repositories
Tips and Tricks
6 repositories
Tools
3 repositories
Web Design
1 repository
Starred repositories
AdalFlow: The library to build & auto-optimize LLM applications.
A project to map out the relations between different equational theories of Magmas.
Domain Specific Language for the Abstraction and Reasoning Corpus
Books that makes heavy use of visuals for scientific communication
Open source annotation tool for machine learning practitioners.
An independent AI research program created by Harshit.
Dataset published in paper "FinRED: A Dataset for Relation Extraction in Financial Domain"
Data and code for EMNLP 2022 paper "ConvFinQA: Exploring the Chain of Numerical Reasoning in Conversational Finance Question Answering"
The Enterprise-Grade Production-Ready Multi-Agent Orchestration Framework Join our Community: https://discord.com/servers/agora-999382051935506503
A package for defining deep learning models using categorical algebraic expressions.
Links, guidance, and advice about universal algebra learning and research
10
Updated Oct 16, 2018
Composio equip's your AI agents & LLMs with 100+ high-quality integrations via function calling
Diagrams for visualizing neural network architecture (Created with diagrams.net)
An awesome & curated list of best LLMOps tools for developers
An inference server for your machine learning models, including support for multiple frameworks, multi-model serving and more
A curated list of Large Language Model (LLM) Interpretability resources.
ML and DL related contests, competitions and conference challenges.
The PyTorch implementation of Generative Pre-trained Transformers (GPTs) using Kolmogorov-Arnold Networks (KANs) for language modeling
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
An axiom-free formalization of category theory in Coq for personal study and practical work
