Topic: program-synthesis Goto Github
Some thing interesting about program-synthesis
Some thing interesting about program-synthesis
program-synthesis,Aix-bench, the Java benchmark for code synthesis problem.
Organization: aixcoder-plugin
program-synthesis,A Hybrid between Grammar-Guided and Strongly-Typed Genetic Programming in Python
User: alcides
program-synthesis,A Python framework for program synthesis with a focus on Automated Machine Learning.
Organization: autogoal
Home Page: https://autogoal.github.io
program-synthesis,Program synthesis tools and utilities for LLVM.
User: baltoli
program-synthesis,BigCodeBench: The Next Generation of HumanEval
Organization: bigcode-project
Home Page: https://bigcode-bench.github.io/
program-synthesis,SOTA OpenSource code generation model on par with GPT-4 & Beating Google Gemini Ultra, Claude -2 etc.
Organization: budecosystem
program-synthesis,A Gymnasium-based Environment of the Abstraction and Reasoning Corpus (ARC)
User: confeitohs
program-synthesis,The collection synthesizer
Organization: cozysynthesizer
Home Page: https://cozy.uwplse.org
program-synthesis,Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
User: crazydonkey200
program-synthesis,Deepcoder paper implementation
User: dkamm
program-synthesis,Rigourous evaluation of LLM-synthesized code - NeurIPS 2023
Organization: evalplus
Home Page: https://evalplus.github.io
program-synthesis,EvoEval: Evolving Coding Benchmarks via LLM
Organization: evo-eval
Home Page: https://evo-eval.github.io/
program-synthesis,An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
Organization: evoasm
program-synthesis,Code for Parsel 🐍 - generate complex programs with language models
User: ezelikman
program-synthesis,The Abstraction and Reasoning Corpus
User: fchollet
program-synthesis,A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS 2019.
User: flxsosa
Home Page: https://papers.nips.cc/paper/9116-write-execute-assess-program-synthesis-with-a-repl
program-synthesis,🌌️Fuzz4All: Universal Fuzzing with Large Language Models
Organization: fuzz4all
Home Page: https://fuzz4all.github.io/
program-synthesis,PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.
Organization: google-research
program-synthesis,Programmatic modification and evaluation of software
Organization: grammatech
Home Page: https://grammatech.github.io/sel/#Top
program-synthesis,APPS: Automated Programming Progress Standard (NeurIPS 2021)
User: hendrycks
program-synthesis,Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
User: hiroakimikami
program-synthesis,Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
User: inventitech
program-synthesis,Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"
Organization: ise-uiuc
program-synthesis,λ² is a tool for synthesizing functional programs from input-output examples.
User: jfeser
program-synthesis,An inductive logic programming system
Organization: logic-and-learning-lab
program-synthesis,Metagol - an inductive logic programming system
Organization: metagol
program-synthesis,Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.
Organization: microsoft
program-synthesis,Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
Organization: microsoft
Home Page: https://microsoft.github.io/prose/
program-synthesis,A Dataset of Python Challenges for AI Research
Organization: microsoft
program-synthesis,A relation-aware semantic parsing model from English to SQL
Organization: microsoft
Home Page: https://arxiv.org/abs/1911.04942
program-synthesis,Towards AI-Assisted Synthesis of Verified Dafny Methods
Organization: mondego
Home Page: https://dafny-synthesis.web.app/
program-synthesis,Program Synthesis
Organization: nearai
Home Page: http://near.ai
program-synthesis,Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
User: nerdimite
program-synthesis,Program synthesis for Ruby
User: ngsankha
program-synthesis,Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms
User: pauljblazek
Home Page: https://rdcu.be/dy2Go
program-synthesis,An curated list of papers on program synthesis.
User: praveenkulkarni1996
program-synthesis,Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
User: primaryobjects
program-synthesis,Multimodal Graph Network (MGN): Code repo, examples from the paper
User: raeidsaqur
program-synthesis,Direct Manipulation Programming for HTML/SVG
User: ravichugh
Home Page: http://ravichugh.github.io/sketch-n-sketch
program-synthesis,A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
User: rbavishi
program-synthesis,OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas
User: rbavishi
program-synthesis,An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim
User: shaohua0116
Home Page: https://shaohua0116.github.io/demo2program/
program-synthesis,Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Organization: tygus
program-synthesis,Synthesis of Heap-Manipulating Programs from Separation Logic
Organization: tygus
program-synthesis,Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
Organization: uchicago-pl
Home Page: https://uchicago-pl.github.io/smyth
program-synthesis,FPGA synthesis tool powered by program synthesis
Organization: uwsampl
program-synthesis,The Abstraction and Reasoning Corpus made into a web game
User: volotat
Home Page: https://volotat.github.io/ARC-Game/
program-synthesis,Generative Art Synthesizer - a python program that generates python programs that generates generative art
User: volotat
program-synthesis,discover elisp functions that do what you want
User: wilfred
program-synthesis,Code for Neural Inverse Knitting: From Images to Manufacturing Instructions
User: xionluhnis
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.