Popular repositories Loading

1. SATSolver SATSolver Public

   This is a repository containing a DPLL implementation of a SAT Solver using different types of decision heuristics

   C++

2. Quiz-Generator Quiz-Generator Public

   A Quiz Generator powered by EvaDB

   Jupyter Notebook

3. evadb-fork evadb-fork Public

   Forked from georgia-tech-db/evadb

   Database system for AI-powered apps

   Python

4. pytorch-examples pytorch-examples Public

   Forked from pytorch/examples

   A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

   Python

5. Stock-Ticker-10K-Analyzer Stock-Ticker-10K-Analyzer Public

   This is a project to analyze the 10-K filings of companies using LLMs

   Python

6. sarathi-serve sarathi-serve Public

   Forked from microsoft/sarathi-serve

   A low-latency & high-throughput serving engine for LLMs

   Python