Cristiano Calcagno

genTypeScript. Auto generation of type-safe bindings between Reason and Typescript.

REInfer. Runtime Extended Inference for json data.

arc-agi-2-abstraction-dataset. Collection of ARC-AGI-2 solvers and abstractions produced by refinement

arc-challenge. Python

reanalyze-esy-example. Example native project for reanalyze which builds with esy.

rescript-motoko. Mareo game with a frontend written in ReScript and backend written in Motoko

mareo. HTML 5 canvas implementation of Mario in Reason + Bucklescript

arc-code-golf-solutions. 400 ARC task solutions for Google Code Golf 2025

rescript-compiler-experiments. OCaml

compositional-program-synthesis. Python

ReasonablyTyped. :diamond_shape_with_a_dot_inside: Converts Flow and TypeScript definitions to Reason interfaces

arc-dsl. Domain Specific Language for the Abstraction and Reasoning Corpus

reason-language-server. A language server for reason, in reason

genFlow.