Skip to content

tsg-ut/icfpc-2024-lambda-esolang

Repository files navigation

ICFPC 2024 Team TSG codes

Solutions

Solutions of my team exists in solutions.

ICFP Language Parser and Evaluator

The OCaml part of the code is based on https://github.com/satos---jp/lambda_esolang

Setup

  1. install opam
  2. $ opam switch create . && opam install .

How to use

$ cat i
B$ B$ L# L$ v# B. SB%,,/ S}Q/2,$_ IK
$ dune exec ./bin/icfpc.exe < i

How to Lambda Pachinko

$ dune exec -- ./bin/icfpc_lambdaman.exe -i 17

ICFPC Web UI (hakatashi waiwai tool)

This tool implements the following functionarity.

  • Universe Communitation Tool
  • ICFP Language Parser and Evaluator (in TypeScript)
  • Naive compression algorithm for several type of inputs
  • Testcase and AC results viewer
  • 3d language simulator
  • 3d language visualiser

How to run

cd tools
npm install
npx tsc
npx tsx server.ts

Solvers

Lambdaman Dumb Solver

cd solvers
g++ lambdaman_dumb.cpp -o lambdaman_dumb
./lambdaman_dumb < ../testcases/lambdaman20 > out.txt

Spaceship Beam Search Solver

solvers/spaceship

Spaceship Visualizer

tools/spaceship-visualiver