Apanatshka
Research Software Engineer at Delft University of Technology. Working on PL tech and SAT/CP solving.
@tudelft-pl The Netherlands
Pinned Repositories
Apanatshka.github.io
C3P
A C-compatible code preprocessor
CamlLight-spoofax
Assignment as part of my Honours Program, implementing a Caml Light compiler in the Spoofax language workbench
dnfa
Deterministic and Non-Deterministic Finite Automata -- implemented in Rust
elm-list-ndet
Nondeterministic values / cartesian combinable lists
elm-signal-extra
(defunct as of Elm 0.17) Signal-related, advanced and convenience functions
elm-spoofax
The Elm programming language in the Spoofax language workbench
extreme-pong
Browser game using the game of Pong as a base and adding ideas. Project for submission to the final round of UNITT 2012.
parsing
Parsing exploration.
phybas-graviz
Physics Based Graph Visualisation. Implemented in Elm!
Apanatshka's Repositories
Apanatshka/dnfa
Deterministic and Non-Deterministic Finite Automata -- implemented in Rust
Apanatshka/Apanatshka.github.io
Apanatshka/aho-corasick
A fast implementation of Aho-Corasick in Rust.
Apanatshka/binread
Apanatshka/blog
My personal blog
Apanatshka/collegerama
Watch Collegerama offline
Apanatshka/declare-your-language
Apanatshka/eclipsegen
Generate Eclipse instances in Python
Apanatshka/flatzinc
🫓 A parser for the FlatZinc modelling language
Apanatshka/mavenpy
Wrapper for calling Maven from Python.
Apanatshka/mb-rep
Apanatshka/metaborg-api-usage
Apanatshka/metaborg-pygments
Pygments Lexers for MetaBorg Languages
Apanatshka/metaborg-tiger
Apanatshka/metaborg-while
Definition of the WHILE language in Spoofax
Apanatshka/mvnd
Maven Daemon
Apanatshka/nabl
Spoofax' Name Binding Language
Apanatshka/pluto
Apanatshka/sdf
Apanatshka/sep-comp-bench-project
Spoofax project with checked in generated file and small changes per commit to benchmark separate compilation of Stratego
Apanatshka/shawshank
Apanatshka/spoofax-jasmin
Eclipse editor for JasminXT, an assembler for the Java Virtual Machine.
Apanatshka/spoofax-pie
Spoofax implementation using PIE pipelines
Apanatshka/spoofax-releng
Metaborg Release Engineering
Apanatshka/tokei
A program that allows you to count your code, quickly.
Apanatshka/TUDelft-CS4200-2019.github.io
website for compiler construction course
Apanatshka/ungrammar
Apanatshka/webdsl
WebDSL compiler
Apanatshka/website
Source for my website written in rust
Apanatshka/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org