lukaszcz.github.io - Homepage of Łukasz Czajka

Description: Homepage of Łukasz Czajka.

Example domain paragraphs

compiler engineer, programming language designer, proof automation specialist, researcher in computational logic

Hello! My name is Łukasz Czajka. I’m a compiler engineer and a programming language designer. I used to work full-time in academia doing research in broadly understood computational logic , which I still pursue as a hobby.

Currently, I work on the design and implementation of the functional programming language Juvix .

Links to lukaszcz.github.io (2)

coqhammer.github.io CoqHammer | Proof Automation for Dependent Type Theory
pascaladt.github.io PascalAdt | Library of algorithms and data structures for Free Pascal