Beast code in Giters

Feifan Xu's repositories

超级速查表 - 编程语言、框架和开发工具的速查表，单个文件包含一切你需要知道的东西 :zap:

Language:ShellMIT100

A fast and certifying solver for quantified Boolean formulas.

Language:CNOASSERTION000

DeepBugs is a framework for learning bug detectors from an existing code corpus.

Language:JavaScriptMIT000

source code for 'Improving automatic source code summarization via deep reinforcement learning'

Language:Python000

CRNN (CNN+RNN) for OCR using Keras

Language:Python000

Sample Code for Gated Graph Neural Networks

Language:PythonMIT000

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

Language:PythonApache-2.0000

Elegant C++11 Syntactic-Sugar for Mixed-Language Programming with Python, SQLite and Bash

Language:CGPL-3.0800

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.

Language:C++NOASSERTION000