corey

corey's Stars

• deepseek-ai/DeepSeek-R1

  77.7k55234710.1k

• abi/screenshot-to-code

  Drop in a screenshot and convert it to clean code (HTML/Tailwind/React/Vue)

  Language:Python68.4k4083648.4k

• jax-ml/jax

  Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

  Language:Python31.3k3336k2.9k

• mediar-ai/screenpipe

  AI app store powered by 24/7 desktop history. open source | 100% local | dev friendly | 24/7 screen, mic recording

  Language:TypeScript12.2k69689837

• activepieces/activepieces

  Your friendliest open source AI automation tool ✨ Workflow automation tool 200+ integration / Enterprise automation tool / Zapier Alternative

  Language:TypeScript11.5k741.7k1.5k

• nicbarker/clay

  High performance UI layout library in C.

  Language:C10.9k63132386

• getmaxun/maxun

  Open-source no-code web data extraction platform. Turn websites to APIs & spreadsheets with no-code robots in minutes.

  Language:TypeScript9.2k61132716

• browserbase/stagehand

  An AI web browsing framework focused on simplicity and extensibility.

  Language:TypeScript7.8k40107372

• simplescaling/s1

  s1: Simple test-time scaling

  Language:Python5.4k4949615

• deepseek-ai/DeepSeek-V2

  DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model

  4.8k40100482

• CanadaHonk/porffor

  A from-scratch experimental AOT JS engine, written in JS

  Language:JavaScript3.2k3714663

• MoonshotAI/Kimi-k1.5

  3k4515175

• eastlondoner/cursor-tools

  Give Cursor Agent an AI Team and Advanced Skills

  Language:TypeScript2.2k1723103

• AgentOps-AI/AgentStack

  The fastest way to build robust AI agents

  Language:Python1.7k15129141

• agamm/awesome-developer-first

  A curated list of awesome developer-first tools products.

  1.2k4022159

• exa-labs/company-researcher

  Company Researcher tool helps you instantly understand any company inside out.

  Language:TypeScript1.1k4395

• ZihanWang314/RAGEN

  RAGEN is the first open-source reproduction of DeepSeek-R1 on AGENT training.

  Language:Python8539759

• PaulPauls/llama3_interpretability_sae

  A complete end-to-end pipeline for LLM interpretability with sparse autoencoders (SAEs) using Llama 3.2, written in pure PyTorch and fully reproducible.

  6045135

• haskell-effectful/effectful

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

  Language:Haskell410149029

• aya-prover/aya-dev

  A proof assistant and a dependently-typed language

  Language:Java3011042918

• tensorgi/T6

  The official implementation of Tensor ProducT ATTenTion Transformer (T6)

  Language:Python2958527

• statusfailed/catgrad

  a categorical deep learning compiler

  Language:Python194826

• agentsea/r1-computer-use

  Applying the ideas of Deepseek R1 to computer use

  Language:Python185707

• ufmg-smite/lean-smt

  Tactics for discharging Lean goals into SMT solvers.

  Language:Lean16471720

• HigherOrderCO/HVM3

  HVM3

  Language:Haskell15011914

• faiface/par-lang

  Toy process language with an interactive playground for exploring concurrency

  Language:Rust1014

• polarity-lang/polarity

  A Language with Dependent Data and Codata Types

  Language:Rust8021165

• raffg/multi_armed_bandit

  Monte Carlo simulations of several different multi-armed bandit algorithms and a comparison with classical statistical A/B testing

  Language:Jupyter Notebook773021

• mikearnaldi/vite-remix-effect

  Language:TypeScript57515

• Lobelia-Earth/url-state-codecs

  Codecs for encoding arbitrary state trees into URL parameters and back again.

  Language:TypeScript111