Vytautas Astrauskas's repositories
prose
Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Microsoft Program Synthesis using Example SDK.
vagrant-gitlab-runner
Vagrant setup for running GitLab runner.
nmadb-registration
Common stuff for NMADB Django registration apps.
dotfiles
@holman does dotfiles
rust-playground
The Rust Playground
docker-rust-mdbook
A docker container for building mdBook projects.
inkscape-export-layers
Export selected layers from Inkscape SVG.
docker-rust
Docker container for working on rust projects.
rust-PyConLt-2017
Repository for the Rust presentation in PyConLt 2017.
jcute
Java Concolic Unit Testing Engine
mypy
Optional static typing for Python
homebrew-viper
Homebrew tap for Viper.
mypy-issue-1252
mypy issue 1252 test log.
vim-silver
Silver syntax highlighting for VIM
nmadb-utils
Django utilities application for NMADB.
nmadb-entrance
Django application for entrance to NMA.
Algoritm--teorija
Adomo Birštuno Algoritmų teorijos paskaitų konspektas
docker-z3-debian-packaging
Docker image for creating Z3 Theorem Prover Debian packages.
nmadb-contacts
Django contacts application for NMADB.
nmadb-automation
Django celery based automation tools for NMADB.
nmadb-academics
Django academics information management application for NMADB.
nmadb-session-reg
Django session registration application for NMADB.
docker-ispin
iSpin in the docker container
docker-eclipse
Eclipse IDE in a Docker container
mif-starter
XeLaTeX šablonas MIF dokumentams.
scala-investigations
Playing around with Scala compiler.
file-tracker
Program that allows to track immutable file history.
skaitiniai-metodai
Skaitinių metodų konspektas.