Top 15 program-synthesis Open-Source Projects

• ARC

  18 2,180 0.0 JavaScript

  The Abstraction and Reasoning Corpus

Project mention: AMA: I'm Dave Greene, an Accidental Expert on Conway's Game of Life | news.ycombinator.com | 2024-04-23

It's great for generating synthetic data for training LLMs for solving Abstraction & Reasoning Corpus (ARC) by François Chollet. Game of life helps the LLMs with a 2D understanding of the world.

https://github.com/fchollet/ARC

• PythonProgrammingPuzzles

  11 951 5.4 Python

  A Dataset of Python Challenges for AI Research

  

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• evalplus

  3 902 9.3 Python

  EvalPlus for rigourous evaluation of LLM-synthesized code

  

Project mention: The AI Reproducibility Crisis in GPT-3.5/GPT-4 Research | news.ycombinator.com | 2023-08-25

*Further Reading*:

- [GPT-4's decline over time (HackerNews)](https://news.ycombinator.com/item?id=36786407)

- [GPT-4 downgrade discussions (OpenAI Forums)](https://community.openai.com/t/gpt-4-has-been-severely-downg...)

- [Behavioral changes in ChatGPT (arXiv)](https://arxiv.org/abs/2307.09009)

- [Zero-Shot Replication Effort (Github)](https://github.com/emrgnt-cmplxty/zero-shot-replication)

- [Inconsistencies in GPT-4 HumanEval (Github)](https://github.com/evalplus/evalplus/issues/15)

- [Early experiments with GPT-4 (arXiv)](https://arxiv.org/abs/2303.12712)

- [GPT-4 Technical Report (arXiv)](https://arxiv.org/abs/2303.08774)

• prose

  4 611 7.2 C#

  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. (by microsoft)

  

• parsel

  7 376 0.0 Python

  Code for Parsel 🐍 - generate complex programs with language models (by ezelikman)

• suggest.el

  1 362 4.8 Emacs Lisp

  discover elisp functions that do what you want

• apps

  1 334 0.0 Python

  APPS: Automated Programming Progress Standard (NeurIPS 2021) (by hendrycks)

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• Popper

  1 175 9.5 Python

  An inductive logic programming system (by logic-and-learning-lab)

  

• sel

  3 162 9.6 Common Lisp

  Programmatic modification and evaluation of software

  

• suslik

  1 121 0.0 Scala

  Synthesis of Heap-Manipulating Programs from Separation Logic

  

• monitors4codegen

  2 150 7.5 Python

  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.

  

Project mention: Show HN: Multilspy – Cross platform framework to develop Language Server Clients | news.ycombinator.com | 2024-05-10

• rbsyn

  1 94 4.5 Ruby

  Program synthesis for Ruby

• deepdistilling

  1 71 4.9 Python

  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

Project mention: Deep distilling: Automated discovery of algorithms from data | news.ycombinator.com | 2024-02-19

• ARC-Game

  5 62 0.0 JavaScript

  The Abstraction and Reasoning Corpus made into a web game

• GAS

  2 52 3.2 Python

  Generative Art Synthesizer - a python program that generates python programs that generates generative art

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

program-synthesis related posts

• AMA: I'm Dave Greene, an Accidental Expert on Conway's Game of Life

  3 projects | news.ycombinator.com | 23 Apr 2024

• [microblog] Reasoner.js: a functional-logic framework for automated reasoning

  1 project | /r/ProgrammingLanguages | 19 Nov 2023

• The AI Reproducibility Crisis in GPT-3.5/GPT-4 Research

  4 projects | news.ycombinator.com | 25 Aug 2023

• Large Language Models As General Pattern Machines

  1 project | news.ycombinator.com | 20 Aug 2023

• [Checkpoint] Reasoner.js typed graph rewriting system got variables

  1 project | /r/ProgrammingLanguages | 3 Aug 2023

• Last chance of contributing to the ARC 2 dataset, ends 30 June 2023

  1 project | news.ycombinator.com | 27 Jun 2023

• Official WizardCoder-15B-V1.0 Released! Can Achieve 59.8% Pass@1 on HumanEval!

  5 projects | /r/LocalLLaMA | 15 Jun 2023
• A note from our sponsor - SaaSHub
  www.saashub.com | 16 May 2024

  SaaSHub helps you find the best software and product alternatives Learn more →

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com