deepcoderDeepcoder paper implementation
Stars: ✭ 96 (-88.81%)
neuro-symbolic-ai-socNeuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Stars: ✭ 41 (-95.22%)
ArcThe Abstraction and Reasoning Corpus
Stars: ✭ 1,598 (+86.25%)
autogoalA Python framework for program synthesis with a focus on Automated Machine Learning.
Stars: ✭ 153 (-82.17%)
appsAPPS: Automated Programming Progress Standard (NeurIPS 2021)
Stars: ✭ 174 (-79.72%)
L2λ² is a tool for synthesizing functional programs from input-output examples.
Stars: ✭ 59 (-93.12%)
suslikSynthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (-87.53%)
plurPLUR (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.
Stars: ✭ 67 (-92.19%)
PopperPopper is an inductive logic programming (ILP) system.
Stars: ✭ 95 (-88.93%)
GASGenerative Art Synthesizer - a python program that generates python programs that generates generative art
Stars: ✭ 42 (-95.1%)
neural inverse knittingCode for Neural Inverse Knitting: From Images to Manufacturing Instructions
Stars: ✭ 30 (-96.5%)
42@rsapkf's linkroll.
Stars: ✭ 1,906 (+122.14%)
AdventOfCodeBaseTemplate repository for solving Advent of Code puzzles, which automatically handles input retrieval and output.
Stars: ✭ 33 (-96.15%)
AoCHelperHelper .NET library for solving Advent of Code puzzles
Stars: ✭ 22 (-97.44%)
unity-puzzlesystem-assetThe asset for the Unity Engine that allows to quickly create customisable puzzles.
Stars: ✭ 21 (-97.55%)
icieCompetitive programming IDE-as-a-VS-Code-plugin
Stars: ✭ 81 (-90.56%)
TeamReferenceTeam reference for Competitive Programming. Algorithms implementations very used in the ACM-ICPC contests. Latex template to build your own team reference.
Stars: ✭ 29 (-96.62%)