Who am I?
My name is Michał Moskal (Michal Moskal in ASCII). I'm a PhD student at the
Computer Science Institute of the
University of Wroclaw, Poland.
I also work at European Microsoft Innovation Center
on the Verifing C Compiler project.
I used to be
a PLD Linux developer,
leader of the Nemerle project
and the sole developer of Fx7 SMT solver.
You can contact me at:
michal.moskal@gmail.com.
My jid is the same.
Projects
You can find links to several more
or less mine projects here.
-
Nemerle programming language, design in progress.
Homepage
-
Fx7 theorem prover:
Homepage [en]
Homepage [pl]
-
DML - Dialog Meta Language, tool similar to dialog(1) for making text-mode
windows from shell. You can find source
here.
-
XSPP - XSLT Pre Processor. Makes writing XSLT stylesheets easier (at least for me).
Written in OCaml. More info.
-
Ksi langauge and GCC frontend. Source code
can be found here.
-
BSP minimalist script processor for use in Linux kernel booting from initrd.
Source.
-
Gont programming language, development frozen. Home page.
-
Y Window. Definitely dead. Home page.
I was also involved in writing installer for PLD Linux,
You can also have a look at my CV.
There are also few other projects (all abandoned), with even less interest for
humanity then those listed above. You can find them
here.
Photo galleries
- More recent galleries (West Coast, Stupkalnis, Kuchary, Paris, EC) are at Paulina's webpage
- Several galleries from Washington state, where I was from July to December 2007
-
Google map with links to pictures
- 2007.05.25 Cliffs of Moher and other places in Western Ireland
- 2007.04.28 Wicklow Mountains (hills I would say), Ireland
- 2007.04.15 Enniskerry, Ireland
- 2007.02.25 Dublin, Ireland
- 2007.01.13-17 Nice, France (and the camera clock is screwed)
- 2006.11.18,19 Fall
- 2006.10.29 Some pictures of Wroclaw + something else
- 2006.10.01 Trip to Turkey
-
Free Ukraine, manifestation, Wroclaw 24.11.2004
-
Pictures and videos of our cat
-
Our flat, before/after
-
Gorgany (Ukraine)
-
The Tatra excursion
-
Daruma (Sasza's chamster)
-
Sasza's home in Oborniki
-
Bike excursion to Dybiec
Results from my raytracer
Other photos are also available
but not announced.