Program Synthesis
5 projects
Showing 5 of 5 projects
Awesome Machine Learning On Source Code
A curated list of research papers, datasets, and software projects for machine learning applied to source code (MLonCode).
#research-papers#code-embeddings#mloncode
Stars6.6k
Forks832
Last commit5 years ago
Software-Evolution-LibraryCommon Lisp
A library for programmatic modification and evaluation of software across source code, assembly, and binary formats.
#software-analysis#software-evolution#assembly-analysis
Stars200
Forks25
Last commit15 days ago
FiatRocq Prover
A Coq library for deductive synthesis of correct-by-construction abstract data types and parsers.
#correct-by-construction#coq#automated-reasoning
Stars160
Forks34
Last commit1 month ago
monkeysPython
A strongly-typed genetic programming framework for Python that makes evolutionary algorithms accessible and fun.
#ai#ipynb#metaprogramming
Stars124
Forks14
Last commit8 years ago
FungpClojure
A genetic programming library for Clojure that evolves programs using mutation, reproduction, and fitness functions.
#functional-programming#clojure-library#evolutionary-algorithms
Stars100
Forks12
Last commit12 years ago
Related Tags
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.