GitHub repository: mistzzt/program-synthesis-nur
Primary language: Nix
Created: 2024-03-12T03:00:58Z
Description: Nix Derivations of Common Program Synthesis Tools