Skip to content
View Theomat's full-sized avatar
29 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/DeepSynth SynthesisLab/DeepSynth Public

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

    Python 21 5

  2. pltpublish pltpublish Public

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

    Python 4

  3. reeval reeval Public

    Reliable and Efficient EVALuations

    Python 2

  4. rtsm rtsm Public

    Ranked Test Suite Minimisation (RTSM)

    Python

  5. labri-progress/agent-mining labri-progress/agent-mining Public

    Heuristics and datasets for mining agent coding traces

    Python 1

  6. ADA-research/DikeBenchmarker ADA-research/DikeBenchmarker Public

    Dike Benchmarker

    Python 1