AMGAS14

composio

Composio equips agents with well-crafted tools empowering them to tackle complex tasks

Neural-Network-Architecture-Diagrams

Diagrams for visualizing neural network architecture (Created with diagrams.net)

Awesome-LLMOps

An awesome & curated list of best LLMOps tools for developers

LLM101n

LLM101n: Let's build a Storyteller

moeut

MLServer

An inference server for your machine learning models, including support for multiple frameworks, multi-model serving and more

DIffUCO

awesome-llm-interpretability

A curated list of Large Language Model (LLM) Interpretability resources.

ml-contests-conf

ML and DL related contests, competitions and conference challenges.

kan-gpt

The PyTorch implementation of Generative Pre-trained Transformers (GPTs) using Kolmogorov-Arnold Networks (KANs) for language modeling

pykan

Kolmogorov Arnold Networks

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

idris-ct

formally verified category theory library

catgrad

a categorical deep learning compiler

coq

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 development of machine-checked proofs.

category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

catgpt

learn-discrete

Graduate topics course on learning discrete latent structure.

DeepSynth

General-purpose program synthesiser

saas-startup-checklist

SaaS Startup Checklist

awesome-github-profile-readme

😎 A curated list of awesome GitHub Profile which updates in real time

awesome-newsletters

A list of amazing Newsletters

awesome-guidelines

A curated list of high quality coding style conventions and standards.

estimation-checklist

A simple collaborative checklist for questions to always ask during estimation of projects or large-grained features

editor.js

A block-style editor with clean JSON output

awesome-editorjs

🤩 A curated list of awesome Editor.js tools, libraries and resources.

llm-full-stack-tutorial

D-Flask

A docker container skeleton for Flask micro-services

LLMDataHub

A quick guide (especially) for trending instruction finetuning datasets

awesome-ai-agents

A list of AI autonomous agents