projedi/haskell-mvm
An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/
Developer Profile
projedi
Discovered public repositories for projedi in the GitHub catalog.
projedi/zathura
a document viewer
projedi/girara
user interface library
projedi/headphone-event
A small service that uses pulseaudio to monitor headphone insert/remove events and execute an action. Currently actions are hardcoded.
projedi/backlightd
Currently a small setuid-root program to change brightness up/down. All config is in the source file. Sometime in the future it might become a dbus-powered daemon monitoring backlight.
projedi/poisson-reconstruction
Poisson surface reconstruction - http://www.cs.jhu.edu/~misha/Code/PoissonRecon/Version5.71/ (just to play with the code)
projedi/nasm
Unofficial mirror(in master) of http://repo.or.cz/w/nasm.git
projedi/fluidsynth-hs-complete
(WIP) Complete Haskell bindings to fluidsynth v1.1.6
projedi/libpng
Unofficial mirror(in master) of http://git.code.sf.net/p/libpng/code .
projedi/osg
OpenSceneGraph git mirror
projedi/openvrml
Unofficial mirror(in master) of svn repository http://svn.openvrml.org/viewvc/openvrml/ No tags or branches were imported because of some errors.
projedi/libzippp
C++ wrapper for libzip
projedi/masters-thesis
Experiment on exporting Agda into Haskell(a la Coq extraction) - paper and presentations in Russian and theory scratchpad in English
projedi/Agda-2.3.2.2-haskell-export
Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2
projedi/OpenCTM
OpenCTM is a file format, a software library and a tool set for compression of 3D triangle meshes. The geometry is compressed to a fraction of comparable file formats (3DS, STL, COLLADA...), and the format is accessible through a simple, portable API
projedi/libzip
**DEPRECATED** in favor of the official mirror https://github.com/nih-at/libzip
projedi/graphics-hw03
Public repository.
projedi/graphics-hw02
Public repository.
projedi/geometry-kirkpatrick
Homework for computational geometry - implementation of Kirkpatrick triangulation refinement algorithm.
projedi/clang_navigate
Navigating C code using clang API. (AU devdays project)
projedi/graphics-hw01
Public repository.
projedi/type-inference-rank2
Implementation of Kfoury, Wells '93 type inference algorithm for rank-2 System F. Link to the original paper http://www.macs.hw.ac.uk/~jbw/papers/#Kfo+Wel:LFP-1994
projedi/DB
Database Management System project
projedi/check-recogniser
Public repository.
projedi/antishake
Public repository.
projedi/qxmpp-ffmpeg
Public repository.
projedi/videochat
Yeah, this project is dead.
projedi/stabilization
Public repository.
projedi/cfg-files
See https://github.com/projedi/dotfiles which has superseded this. For keeping /etc too I suggest http://joeyh.name/code/etckeeper/