zhiyufan

zhiyufan's Stars

• nus-apr/auto-code-rover

  A project structure aware autonomous software engineer aiming for autonomous program improvement. Resolved 30.67% tasks (pass@1) in SWE-bench lite and 38.40% tasks (pass@1) in SWE-bench verified with each task costs less than $0.7.

  Language:Python2.7k284

• aorwall/SWE-bench-docker

  Language:Python7920

• streamjoin/nusthesis

  A LaTeX template for thesis of the National University of Singapore (NUS)

  Language:TeX11631

• zhiyufan/Verifix

  Language:C74

• vasanthk/how-web-works

  What happens behind the scenes when we type www.google.com in a browser?

  16.1k1.7k

• pascal-lab/Tai-e-assignments

  Tai-e assignments for static program analysis

  Language:Java1.1k252

• google-deepmind/code_contests

  Language:C++2.1k204

• IBM/Project_CodeNet

  This repository is to support contributions for tools for the Project CodeNet dataset hosted in DAX

  Language:Python1.5k193

• soachishti/moss.py

  Python client for Moss: A System for Detecting Software Similarity

  Language:Python38775

• xalanq/cf-tool

  :bar_chart: Codeforces CLI (Submit, Parse, Test, etc.). Support Contests, Gym, Groups, acmsguru, Windows, macOS, Linux, 7 MB

  Language:Go1.3k226

• SpoonLabs/astor

  Automatic program repair for Java with generate-and-validate techniques :v::v:: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

  Language:Java206106

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1.5k

• imbushuo/mac-precision-touchpad

  Windows Precision Touchpad Driver Implementation for Apple MacBook / Magic Trackpad

  Language:C9k569

• anishathalye/dotbot

  A tool that bootstraps your dotfiles ⚡️

  Language:Python7.1k294

• lanshifu/MultiDexTest

  MultiDex

  Language:Java31765

• opentrace-community/opentrace-android

  OpenTrace Android app. Reference implementation of the BlueTrace protocol.

  Language:Kotlin576223

• SkyTubeTeam/SkyTube

  Copylefted libre / open source YouTube player for Android

  Language:Java2.4k329

• DroidTest/TimeMachine

  Time-travel Testing

  Language:Python10626

• SUSTech-Application/2019-Fall

  https://SUSTech-Application.github.io/2019-Fall

  Language:JavaScript23240

• SUSTech-Application/SUSTech-Alumni-Map

  SUSTech Alumni Map. Join us! 🌎

  Language:HTML248

• shadowsocks/shadowsocks-android

  A shadowsocks client for Android

  Language:Kotlin35.2k11.6k

• zhiyufan/GooglePlayReviewsCrawler

  A Google Play Reviews Crawler, written in Python 3.6

  Language:Python52

• F4bwDP6a6W/FLY_US

  美国大学备考资料 How to apply US colleges

  Language:HTML3k783

• mjl/particle_filter_demo

  Example of a simple particle filter for robot location, Stanford's Intro to AI

  Language:Python242107

• ageron/handson-ml

  ⛔️ DEPRECATED – See https://github.com/ageron/handson-ml3 instead.

  Language:Jupyter Notebook25.2k12.9k

• tensorflow/tensorflow

  An Open Source Machine Learning Framework for Everyone

  Language:C++186k74.3k

• mnielsen/neural-networks-and-deep-learning

  Code samples for my book "Neural Networks and Deep Learning"

  Language:Python16k6.6k