The InCoder Server for OpenTau
A socket for the Rust client in OpenTau for type-inference using InCoder.
The code was originally written by @arjunguha and later adapted by @mhyee, https://github.com/nuprl/TypeWeaver
To run independently:
- clone this repo
git clone https://github.com/GammaTauAI/incoder-server && cd incoder-server- install dependencies
pip install -r ./requirements.txt- start the socket
python ./main.py <socket path>- test the socket with a request
python ./test_socket.py <socket path>