iraikov/TAL
An implementation of Morrisett's Typed Assembly Language
Developer Profile
iraikov
Discovered public repositories for iraikov in the GitHub catalog.
iraikov/AoPL
A book on programming languages, using Haskell
iraikov/secdm
Arithmetic expression compiler based on the SECD machine
iraikov/nineml-schema
Prototype XML schemas for NineML
iraikov/iocaml
ocaml kernel for ipython
iraikov/ftree
finger trees in Racket
iraikov/dana
Distributed (Asynchronous) Numerical Adaptive computing framework
iraikov/mpi-mlton
MPI bindings for Standard ML / MLton
iraikov/harlan
A language for GPU computing.
iraikov/awful-survey
An awful app to make web surveys
iraikov/FeedEx
Simple and modern Android feed reader, based on Sparse rss.
iraikov/kdtree
KD tree implementation in Standard ML / MLton
iraikov/arraysort
Array merge sort implementation in Standard ML / MLton
iraikov/randmtzig
Standard ML / MLton bindings for an implementation of the MT19937 random number generator with Marsaglia and Tang's Ziggurat algorithm
iraikov/nvector
Standard ML bindings for the SUNDIALS NVector object
iraikov/rklib
Runge-Kutta methods in Standard ML
iraikov/tensor
Standard ML tensor/multidimensional array library
iraikov/model-ci
Continuous integration scripts for neuron models
iraikov/nineml
Support code for the NineML model description language.
iraikov/vfgen-nest
Extensions to the VFGEN program to support code generation for the NEST simulator