Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Theomat's full-sized avatar
28 followers · 30 following

Organizations

@SynthesisLab

Block or report Theomat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Theomat/README.md
  • 👋 Hi, I’m Théo Matricon
  • 👀 I’m interested in Program Synthesis also known as code generation
  • 🌱 I’m currently a Postdoc at INRIA Rennes in the DiverSE team
  • See my website for more information

Pinned Loading

  1. SynthesisLab/DeepSynth2 SynthesisLab/DeepSynth2 Public

    General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

    Python 19 5

  2. nathanael-fijalkow/DeepSynth nathanael-fijalkow/DeepSynth Public

    General-purpose program synthesiser

    Slash 48 10

  3. SynthesisLab/wikicoder SynthesisLab/wikicoder Public

    Synthesis of string manipulation programs from examples with outside knowledge!

    Python 3

  4. pltpublish pltpublish Public

    Utility package that takes care of configuring Matplotlib for publication-ready figures!

    Python 3

  5. SynthesisLab/grape SynthesisLab/grape Public

    GRAmmar for Program synthEsis (GRAPE)

    Python 1

  6. sbsur sbsur Public

    Stochastic Beam Search + Unique Randomizer

    Cython