An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: programming-by-example

Foundry376/ghkids

Monorepo for codako.org - Cocoa / Stagecast Creator reimagined on a modern stack

Language: TypeScript - Size: 45.5 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 2 - Forks: 4

schasins/helena

A Chrome extension for writing custom web scraping programs and web automation programs. Just demonstrate how to collect the first row of data, then let the extension write the program for collecting all rows.

Language: JavaScript - Size: 504 MB - Last synced at: 28 days ago - Pushed at: about 1 year ago - Stars: 251 - Forks: 25

SinaMirrazavi/SESODS_lib

Learning second order dynamical system

Language: MATLAB - Size: 46.8 MB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 11 - Forks: 1

erp12/pyshgp

Push Genetic Programming in Python.

Language: Python - Size: 6.32 MB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 75 - Forks: 23

igr/void

-=[ void ]=-

Language: Java - Size: 437 KB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 1

UChicago-PL/smyth

Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.

Language: OCaml - Size: 10.7 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 54 - Forks: 5

orel-adivi/CorSys

Synthesizing best-effort Python expressions while weighting the chance for mistakes in given user outputs.

Language: Python - Size: 1.28 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 4 - Forks: 1

dnezam/functional-pbd

Language: Python - Size: 983 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

Joshua27/ProBramSynthesis

Program Synthesis for B in ProB

Language: Java - Size: 62.5 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 0

umich-dbgroup/foofah

Foofah: programming-by-example data transformation program synthesizer

Language: CSS - Size: 4.31 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 25 - Forks: 10

leonard-namolaru/produire-programme-selon-exemples

[Note : 15 /20] Projet UE Programmation Fonctionnelle Avancée (Université Paris Cité, M1) : Au lieu de faire écrire un programme par un programmeur, un utilisateur donne quelques exemples d’une entrée et de la sortie attendue du programme. Puis, le programme va produire un programme qui est cohérent avec les exemples fournis.

Language: OCaml - Size: 17.6 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

MrVPlusOne/Escher-Scala

Recursive Program Synthesis using input-output examples

Language: Scala - Size: 3.56 MB - Last synced at: 2 months ago - Pushed at: about 8 years ago - Stars: 7 - Forks: 5

Seagat2011/SHAUGHNESSY

A general purpose declarative programming language

Size: 53.7 KB - Last synced at: 2 months ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0