justinchiu

justinchiu's Stars

• vllm-project/vllm

  A high-throughput and memory-efficient inference and serving engine for LLMs

  Language:Python32.7k2695.7k5k

• openai/openai-python

  The official Python library for the OpenAI API

  Language:Python23.7k3098373.4k

• stanfordnlp/dspy

  DSPy: The framework for programming—not prompting—language models

  Language:Python20.5k1528901.5k

• diff-usion/Awesome-Diffusion-Models

  A collection of resources and papers on Diffusion Models

  Language:HTML11.3k26848953

• sgl-project/sglang

  SGLang is a fast serving framework for large language models and vision language models.

  Language:Python6.8k61775615

• google-deepmind/alphageometry

  Language:Python4.2k54130478

• jbhuang0604/awesome-tips

  3.5k994196

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k43331139

• facebookresearch/theseus

  A library for differentiable nonlinear optimization

  Language:Python1.8k30194130

• cvlab-columbia/viper

  Code for the paper "ViperGPT: Visual Inference via Python Execution for Reasoning"

  Language:Jupyter Notebook1.7k8847119

• sustcsonglin/flash-linear-attention

  Efficient implementations of state-of-the-art linear attention models in Pytorch and Triton

  Language:Python1.5k286771

• google-research/deduplicate-text-datasets

  Language:Rust1.1k1342112

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++1k154893

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++94141859211

• kakoune-lsp/kakoune-lsp

  Kakoune Language Server Protocol Client

  Language:Rust62120520116

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell57033589

• JaxGaussianProcesses/GPJax

  Gaussian processes in JAX.

  Language:Python468417454

• haskell-effectful/effectful

  An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

  Language:Haskell401158428

• leopard-ai/betty

  Betty: an automatic differentiation library for generalized meta-learning and multilevel optimization

  Language:Python33481227

• namin/llm-verified-with-monte-carlo-tree-search

  LLM verified with Monte Carlo Tree Search

  Language:Jupyter Notebook2568628

• leanprover-community/aesop

  White-box automation for Lean 4

  Language:Lean22196427

• stanford-crfm/haliax

  Named Tensors for Legible Deep Learning in JAX

  Language:Python15484712

• lupantech/PromptPG

  Data and code for the ICLR 2023 paper "Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning".

  Language:Python1474420

• google-deepmind/PGMax

  Loopy belief propagation for factor graphs on discrete variables in JAX

  Language:Jupyter Notebook1337811

• QuantEcon/book-dp1-public-companion

  Dynamic Programming Volume 1

  Language:Julia10981323

• jlin816/dialop

  DialOp: Decision-oriented dialogue environments for collaborative language agents

  Language:Python103106

• gpoesia/peano

  An environment for learning formal mathematical reasoning from scratch

  Language:Python57535

• omaclaren/open-learning-material

  Some teaching material and other educational resources

  Language:Jupyter Notebook41304

• isjakewong/awesome-discrete-diffusion-models

  A curated list for awesome discrete diffusion models resources.

  40401

• semorrison/lean-training-data

  Language:Lean34329