Pinned Loading

1. SAT_solver SAT_solver Public

   Satisfiability solver or SAT solver is a classic tool that works on Boolean formulas.

   Python

2. Sudoku Sudoku Public

   Program to solve Sudoku puzzles.

   Python

3. Transformers Transformers Public

   Inference

   Jupyter Notebook

4. RAG-with-LLM RAG-with-LLM Public

   Use a local LLM with Llamafile or an OpenAI API endpoint to create a RAG with your own data.

   Jupyter Notebook

5. LangChain-Hugging-Face-Local-Pipelines LangChain-Hugging-Face-Local-Pipelines Public

   Jupyter Notebook

6. 6.100A_Introduction_to_Computer_Science_and_Programming_in_Python 6.100A_Introduction_to_Computer_Science_and_Programming_in_Python Public

   Solutions to Problem Sets

   Python