Several experiments on #program-synthesis reside in this place.
- src/galang/gen.py contains simplified implementation of TF-Coder's Synthesis Algorithm
- Install Nix package manager
- Clone this repo and it's submodules:
git clone --recursive https://github.com/grwlf/galaxy-lang && cd galaxy-lang
- Type
nix-shell
to build/fetch dependencies and enter development shell.- Default settings enable CUDA support. In order to disable it one could
nix-shell --arg with_cuda false
.
- Default settings enable CUDA support. In order to disable it one could
- Compile Protobuf wrappers
protoc src/galang/serbin.proto --python_out=.
- Run
./ipython.sh
helper to enter IPython shell. - ... (work is in progress)
Program Synthesis
Nix
Python
- Protocol buffers docs, proto2
- Protocol buffers docs, proto3
- https://www.datadoghq.com/blog/engineering/protobuf-parsing-in-python/
- Struct
Pytorch
Pandas
Altair
LaTeX
- LaTeX-Tutorial
- Algorithms
- UtilSnips
- Vim+LaTex guide (in Russian)
- Minted
- A4Paper
- Literate programming:
- Problems
- Math fonts
- HTML
Math
- Mean and Variance
- Sample Mean and Variance
- MathExchange question asking about Uniformity checks
- Kolmogorov-Smirnov test
- vega/altair#984
- https://math.stackexchange.com/questions/3973622/explain-the-behavior-of-ks-test-when-testing-for-uniformity
- Nix+SOCKS proxy:
ALL_PROXY=socks5h://localhost:8001 nix-prefetch-url <URL>
nix-shell
- Sharing sessions between pyblock and pyconsole
- Labels in PythonTex