Łukasz Czajka

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

Below is an incomplete list of open source software I’ve written by myself or significantly contributed to.

  • Juvix: A functional language for declarative decentralized applications. I was one of the main developers.
  • CoqHammer: An automated reasoning system for Coq. In cooperation with Cezary Kaliszyk.
  • Coinduction: A Coq plugin which helps with proofs by coinduction.
  • HCPL: A prototypical proof checker and programming language based on illative combinatory logic.
  • PascalAdt: A library of data structures and algorithms for the Free Pascal compiler.
  • SrcDoc: A documentation generator a la Doxygen for Free Pascal and Delphi.
  • Dict2: A dictionary viewing application for Linux.