Programming

I have quite a lot of open-source projects available on my github account. Some of them are:

• PyC: A compiler for a subset of C into x86-64 assembly (written in Python) - Work in progress
• Polyglot - a collections of examples in different programming languages. E.g.:
  • Connect Four - testing of some fundamental game tree traversal techniques (written in Python)
• A simple sudoku solver GUI in React
• MiniTorrent - a Bittorent client written in Erlang
• RoCoQo - a simple proof shell written in OCaml
• Agda: some example developments, examples of dependently-typed programming, a reflection API for the semiring solver, some Emacs Lisp functions to enhance the agda-mode, a small formalization of the "Representing monads" paper by Andrzej Filinski
• GoStat - a Haskell program for generating the opening tree of 9x9 go games
• Combinatory Logic - A Common Lisp program for solving combinator equations using simple search
• Some old notes on difference languages, OSs etc

Languages I'm currently using:

• JavaScript (TypeScript)
• Python

Languages I'm currently learning:

• Rust

My favorite programming languages and proof assistants:

• Agda
• Haskell
• Coq
• OCaml
• Erlang

My master thesis was about the operational semantics of Ltac, the tactic language of Coq. The thesis and the PPDP article (written together with Dariusz Biernacki and Małgorzata Biernacka) is available on my former homepage.