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: about 2 months ago - Pushed at: about 1 year ago - Stars: 251 - Forks: 25

erp12/pyshgp

Push Genetic Programming in Python.

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

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: 2 days ago - Pushed at: over 4 years ago - Stars: 54 - Forks: 5

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

SinaMirrazavi/SESODS_lib

Learning second order dynamical system

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

MrVPlusOne/Escher-Scala

Recursive Program Synthesis using input-output examples

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

Zeta611/redemon-ui

🧙‍♀️ Reactive Synthesis by Demonstration for UI

Language: TypeScript - Size: 1.06 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 5 - Forks: 0

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: 12 months ago - Pushed at: 12 months ago - Stars: 4 - Forks: 1

Foundry376/ghkids

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

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

Joshua27/ProBramSynthesis

Program Synthesis for B in ProB

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

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

igr/void

-=[ void ]=-

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

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: 4 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Seagat2011/SHAUGHNESSY

A general purpose declarative programming language

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