Shangyint

Shangyint's Stars

• geekan/MetaGPT

  🌟 The Multi-Agent Framework: First AI Software Company, Towards Natural Language Programming

  Language:Python44.7k8936615.3k

• lm-sys/FastChat

  An open platform for training, serving, and evaluating large language models. Release repo for Vicuna and Chatbot Arena.

  Language:Python36.8k3501.8k4.5k

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k61327167

• srush/Tensor-Puzzles

  Solve puzzles. Improve your pytorch.

  Language:Jupyter Notebook3.3k1320275

• openxla/xla

  A machine learning compiler for GPUs, CPUs, and ML accelerators

  Language:C++2.7k41362427

• facebookresearch/DPR

  Dense Passage Retriever - is a set of tools and models for open domain Q&A task.

  Language:Python1.7k23210302

• ksluckow/awesome-symbolic-execution

  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

  1.3k616138

• evalplus/evalplus

  Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

  Language:Python1.2k8180109

• google-deepmind/funsearch

  Language:Jupyter Notebook716196130

• rohanpadhye/JQF

  JQF + Zest: Coverage-guided semantic fuzzing for Java.

  Language:Java66619182112

• rubberduck-ai/rubberduck-vscode

  Use AI-powered code edits, explanations, code generation, error diagnosis, and chat in Visual Studio Code with the official OpenAI API.

  Language:TypeScript60698476

• lean-dojo/LeanDojo

  Tool for data extraction and interacting with Lean programmatically.

  Language:Python565136389

• bsilverthorn/maccarone

  AI-managed code blocks in Python ⏪⏩

  Language:Python471627

• jax-ml/jax-triton

  jax-triton contains integrations between JAX and OpenAI Triton

  Language:Python338205536

• mc-imperial/jfs

  Constraint solver based on coverage-guided fuzzing

  Language:C++239173720

• hcs0/Hackers-Delight

  Code to accompany Hacker's Delight 2nd Edition by Henry S Warren. PS: Will have my notes etc when I go through it.

  1856239

• verse-lang/verse

  The Verse Programming Language

  Language:C++1661513

• fuzzland/audit_gpt

  Fine-tuning GPT for Smart Contract Auditing

  Language:Jupyter Notebook1417023

• uwsampl/SparseTIR

  SparseTIR: Sparse Tensor Compiler for Deep Learning

  Language:Python13167114

• Consensys/daedaluzz

  Benchmark Generator for Smart-Contract Fuzzers

  Language:Solidity1223011

• suquark/llm4phd

  Examples and instructions about use LLMs (especially ChatGPT) for PhD

  108201

• dust-engine/dust

  A research project trying to push the boundaries of voxel geometry and interactivity. Experimental real-time global illumination renderer powered by Rust, Vulkan and Bevy.

  Language:Rust90786

• Kraks/diamond-lang

  A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.

  Language:Scala43931

• effect-handlers/effect-handlers-bench

  Benchmark repository of polyglot effect handler examples

  Language:Haskell214269

• neu-se/CONFETTI

  Language:Java19101

• rhyme-lang/rhyme

  Language:JavaScript18231

• euphoric-hardware/simcommand

  SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.

  Language:SystemVerilog14311

• tart-proj/tart

  tart: tensor abstracted relations and topologies

  Language:Python10100

• manishshettym/yappy

  yappy: yet another program analyzer for python

  Language:Python6210

• yzh119/bibfetch

  Fetch bibtex entries from academic search engines like dblp.

  Language:Python3200