- Bengaluru, India
- @nileshtrivedi
- @[email protected]
- https://nilesh.trivedi.link/
Stars
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- Dart
- Dockerfile
- Elixir
- Go
- HTML
- Haskell
- Haxe
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Lua
- MDX
- Makefile
- Markdown
- OCaml
- Objective-C
- Objective-C++
- PHP
- PLpgSQL
- Prolog
- Python
- R
- ReScript
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Starlark
- Svelte
- Swift
- TeX
- Toit
- TypeScript
- Vue
- Zig
🦜🔗 Build context-aware reasoning applications
A latent text-to-image diffusion model
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
A guidance language for controlling large language models.
The repository provides code for running inference with the Meta Segment Anything Model 2 (SAM 2), links for downloading the trained model checkpoints, and example notebooks that show how to use th…
Examples and guides for using the Gemini API
Sweep: open-source AI-powered Software Developer for small features and bug fixes.
The fastest way to create an HTML app
A Bulletproof Way to Generate Structured JSON from Language Models
SoTA LLM for converting natural language questions to SQL queries
A Production-ready Reinforcement Learning AI Agent Library brought by the Applied Reinforcement Learning team at Meta.
AG2 (formerly AutoGen): The Open-Source AgentOS. Join us at: https://discord.gg/pAbnFJrkgZ
Vision utilities for web interaction agents 👀
A collection of reference Jupyter notebooks and demo AI/ML applications for enterprise use cases: marketing, pricing, supply chain, smart manufacturing, and more.
PiML (Python Interpretable Machine Learning) toolbox for model development & diagnostics
A deep dive into embeddings starting from fundamentals
Reverse Engineering the Abstraction and Reasoning Corpus
Collection of Tree of Thoughts prompting techniques I've found useful to start with, then stylize, then iterate
Tools based on AI for helping with Lean 4