dvitin home page [dimitris vytiniotis]

--# new (Haskell stuff mostly)

• Interpreter and typechecker for Calculus of Constructions.
• Interpreter and typechecker for the infamous X-lang of kyrginis and nickie.
• Interpreter and typechecker for Simply Typed Lambda Calculus.
• Hack: How to reduce the # of recursive calls!
• Cryptography:Zero Knowledge Proof Systems (In Greek)

• A traffic generator module for the Linux kernel (uses eth0 and overrides arp)
• A Calvin (C-style language) compiler
• A neural net simulation ( hopfield net )
• Loop parallelization project with mpi ( parlab 2001 project )
• Presentation on Virtual Interface Architecture ( VIA )
• Silly text based radio station for the internet (!) (Java based)

• Advanced clustering techniques in large/spatial/object-oriented databases (essay)
• XML based search engine for athens' cinemas with output to browser/mobile
• Other neural net simulations (hopfield, morita but rather dissapointing)
• Operating systems projects
• Empix OS system projects
• Matlab neural net simulations
• Diploma thesis on IN Service Creation Environments
• NTUA Schematopoihsis project
• Html, pdf and txt indexing app based on lucene lib
• Web based document handling app based on Xforms (an XML api)
• Various courses reports (hm ...)

• GNU's Not Unix www.gnu.org
• Linux www.linux.org
• Haskell (!) www.haskell.org
• Zmag (political) www.zmag.org
• Indymedia (political) www.indymedia.org
• cableP's stuff
• vim quick reference card
• A great NEW(!) guide to the Linux Memory Management(1MB)
• Greek Linux www.hellug.gr
• A friend's site (with all the projects I don't have :-)) pol
• search in gOOglE

• with a couple of friends in Spain last year (2002)
edited with vi

---


dvitin@softlab
home