ARC Community Project
☆22Aug 2, 2024Updated last year
Alternatives and similar repositories for arc
Users that are interested in arc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- slowly building a set of infinite riddle generators for data-hungry methods☆14Nov 15, 2022Updated 3 years ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 years ago
- ☆46Nov 19, 2022Updated 3 years ago
- Data and code for attempting to solve the Abstract Reasoning Corpus (ARC) Challenge.☆16Oct 18, 2022Updated 3 years ago
- Code for "Multi-scale Abstract Reasoning" paper☆12Oct 17, 2022Updated 3 years ago
- Quacee quantum computing language☆11Mar 16, 2017Updated 9 years ago
- ☆23Apr 4, 2024Updated last year
- Like ARC, but code to generate visual puzzles. 1D puzzles first.☆22Aug 17, 2024Updated last year
- Scheme to Common Lisp☆20Dec 16, 2023Updated 2 years ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- Port of Cyc to Common Lisp☆23Sep 1, 2020Updated 5 years ago
- PyTorch interface for TrueGrad Optimizers☆43Aug 8, 2023Updated 2 years ago
- my solution for Abstaction and reasoning challenge on kaggle☆10Jun 23, 2024Updated last year
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago
- Code for 1st place solution to Kaggle's Abstraction and Reasoning Challenge☆164Jul 10, 2025Updated 8 months ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Code used to run experiments for the ICLR 2023 paper "Computational Language Acquisition with Theory of Mind".☆15Apr 27, 2023Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆99May 20, 2023Updated 2 years ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆25Updated this week
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- A toolkit for finding and analysing the grammars of emergent languages.☆11Nov 16, 2020Updated 5 years ago
- Abstract Reasoning with Graph Abstractions (ARGA) implementation☆61Jul 5, 2024Updated last year
- Playing Pokemon Red with Reinforcement Learning☆21Jul 28, 2025Updated 7 months ago
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Dockerfile language service for providing an API to create feature-rich Dockerfile editors in JavaScript.☆16Feb 7, 2026Updated last month
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- 百度汉语爬虫，爬取unicode字符集中所有汉字及所有汉字所成所有词的信息，信息包括拼音、释义、百科释义、英文翻译☆11Dec 23, 2019Updated 6 years ago
- A WAM (Warren Abstract Machine for Prolog) written in Common Lisp☆13Mar 24, 2019Updated 6 years ago
- Our solution of the Kaggle Abstraction and Reasoning Challenge☆23May 30, 2020Updated 5 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Jun 24, 2013Updated 12 years ago
- Evaluating majors LLMs on the Abstraction and Reasoning Corpus☆17Nov 9, 2023Updated 2 years ago
- Effective Abstract Reasoning with Dual-Contrast Network☆11Jun 25, 2021Updated 4 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Oct 1, 2025Updated 5 months ago
- Tools for working with the Abstraction & Reasoning Corpus☆215Aug 22, 2025Updated 7 months ago
- Reimplementation of `Improving language models by retrieving from trillions of tokens`☆19Nov 16, 2022Updated 3 years ago
- Example programs for FPGAOL☆14Mar 29, 2021Updated 4 years ago
- JSK planning packages☆13Oct 7, 2025Updated 5 months ago
- Rule-based Intelligent Tutoring System☆11Mar 28, 2015Updated 10 years ago
- Optional types for Prolog☆11Aug 14, 2018Updated 7 years ago