mcaibar

mcaibar's Stars

• Future-House/paper-qa

  High accuracy RAG for answering questions from scientific documents with citations

  Language:Python5.5k518

• project-numina/aimo-progress-prize

  Language:Jupyter Notebook26018

• leanprover-community/ProofWidgets4

  Helper toolkit for creating your own Lean 4 UserWidgets

  Language:Lean10324

• Wandmalfarbe/pandoc-latex-template

  A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

  Language:TeX6.1k959

• memfreeme/memfree

  MemFree - Hybrid AI Search Engine

  Language:TypeScript29034

• run-llama/llama_index

  LlamaIndex is a data framework for your LLM applications

  Language:Python35.5k5k

• lumina-ai-inc/benchmark

  Language:Python355

• SakanaAI/AI-Scientist

  The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑‍🔬

  Language:Jupyter Notebook7.5k997

• QwenLM/Qwen2-Math

  A series of math-specific large language models of our Qwen2 series.

  Language:Python43831

• opensemanticsearch/open-semantic-search

  Open Source research tool to search, browse, analyze and explore large document collections by Semantic Search Engine and Open Source Text Mining & Text Analytics platform (Integrates ETL for document processing, OCR for images & PDF, named entity recognition for persons, organizations & locations, metadata management by thesaurus & ontologies, search user interface & search apps for fulltext search, faceted search & knowledge graph)

  Language:Shell957167

• leanprover/verso

  Lean documentation authoring tool

  Language:Lean11013

• Nutlope/llamatutor

  An AI personal tutor built with Llama 3.1

  Language:TypeScript1.3k185

• jujumilk3/leaked-system-prompts

  Collection of leaked system prompts

  1k124

• karpathy/LLM101n

  LLM101n: Let's build a Storyteller

  28.3k1.5k

• PatrickMassot/leanblueprint

  plasTeX plugin to build formalization blueprints.

  Language:Python15525

• PatrickMassot/math2001

  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

  1

• PatrickMassot/GlimpseOfLean

  An introduction to theorem proving in Lean for the impatient.

  Language:Lean9244

• We-Math/We-Math

  Code and data of We-Math

  Language:Python1197

• trotsky1997/MathBlackBox

  Language:Python47057

• ItzCrazyKns/Perplexica

  Perplexica is an AI-powered search engine. It is an Open source alternative to Perplexity AI

  Language:TypeScript13.4k1.3k

• InternLM/InternLM-Math

  State-of-the-art bilingual open-sourced Math reasoning LLMs.

  Language:Python41125

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript3479

• jacobhilton/deep_learning_curriculum

  Language model alignment-focused deep learning curriculum

  1.2k102

• Nutlope/turboseek

  An AI search engine inspired by Perplexity

  Language:TypeScript850115

• openai/simple-evals

  Language:Python1.5k131

• developersdigest/llm-answer-engine

  Build a Perplexity-Inspired Answer Engine Using Next.js, Groq, Llama-3, Langchain, OpenAI, Upstash, Brave & Serper

  Language:TypeScript4.5k725

• openai/openai-cookbook

  Examples and guides for using the OpenAI API

  Language:MDX58.6k9.3k

• danielmiessler/fabric

  fabric is an open-source framework for augmenting humans using AI. It provides a modular framework for solving specific problems using a crowdsourced set of AI prompts that can be used anywhere.

  Language:Go22.8k2.4k

• xai-org/grok-1

  Grok open release

  Language:Python49.4k8.3k

• binary-husky/gpt_academic

  为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, moss等。

  Language:Python64k7.9k