XujieSi

XujieSi's Stars

• src-d/awesome-machine-learning-on-source-code

  Cool links & research papers related to Machine Learning applied to source code (MLonCode)

  6.3k35730843

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10310.1k650

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1192.3k644

• ghc/ghc

  Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

  Language:Haskell3.1k1430706

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k812.8k262

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k234

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k655.5k357

• google-deepmind/dnc

  A TensorFlow implementation of the Differentiable Neural Computer.

  Language:Python2.5k16537441

• fsharp/fsharp

  Please file issues or pull requests here: https://github.com/dotnet/fsharp

  Language:F#2.2k149543318

• brylevkirill/notes

  Learn about Machine Learning and Artificial Intelligence

  916740236

• DiffSharp/DiffSharp

  DiffSharp: Differentiable Functional Programming

  Language:F#5894016767

• boogie-org/boogie

  Boogie

  Language:Boogie51430272112

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq4422330493

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C44120203131

• kentsommer/pytorch-value-iteration-networks

  Pytorch implementation of Value Iteration Networks (NIPS 2016 best paper)

  Language:Python31891162

• dselsam/neurosat

  NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

  Language:Python26815757

• backtracking/ocamlgraph

  OCaml graph library

  Language:OCaml234168560

• codespecs/daikon

  Dynamic detection of likely invariants

  Language:C214810154

• ultimate-pa/ultimate

  The Ultimate program analysis framework.

  Language:Java1993158541

• jhjourdan/C11parser

  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml

  Language:OCaml192131717

• Frama-C/Frama-C-snapshot

  Release snapshots of the Frama-C platform for source code analysis

  Language:OCaml167164038

• ASSERT-KTH/CodRep

  58069 Java source code diffs. http://arxiv.org/pdf/1807.03200

  91212215

• niudd/ICML-2017-Papers

  https://2017.icml.cc/Conferences/2017/Schedule

  728035

• andrewliao11/awesome-neural-programming

  A curated list of awesome neural programming resources

  55604

• 51alg/TerpreT

  Language:Python42427

• rishabhs/sygus-comp14

  Language:C++409919

• marcelosousa/descartes

  descartes: the cartesian hoare logic prover

  Language:Java12713

• aztek/voogie

  A verification conditions generator for Boogie programs

  Language:Haskell5400

• anaoaktree/vcgen

  Generator of verification conditions in Python

  Language:JavaScript3100

• sunjun-group/loopInvariant

  Language:C1300