mrd

Research scientist at Utrecht University and Cambridge University. See also https://huggingface.co/mdanish for Huggingface-based models and demos.

Utrecht UniversityUtrecht, NL

Pinned Repositories

camfort
Light-weight verification and transformation tools for Fortran
Language:Haskell126 11 14415
ats2-mode
Emacs mode for ATS2
Language:Emacs Lisp7 3 27
fishtank
An OpenGL-based demo of a 3D fishtank written in Haskell
Language:Haskell3 2 00
geocode-google
Geocoding using the Google Web API (for Haskell)
Language:Haskell8 3 20
haskell-quaternion
Quaternion library meant for Haskell graphics and game programming
Language:Haskell4 2 00
hcullide
Haskell implementation of the CULLIDE algorithm
Language:Haskell20
puppy
Barebones programming on the Beagle Board
Language:C8 2 10
terrier
ARM-based operating system - fork of http://github.com/mrd/puppy
Language:C15 6 30
percept
Homepage of the human perception and street view imagery project
6 2 00
percept-knn-model
K-Nearest-Neighbour model of Percept-generated data
Language:Python00

mrd's Repositories

mrd/terrier
ARM-based operating system - fork of http://github.com/mrd/puppy
Language:C15 6 30
mrd/geocode-google
Geocoding using the Google Web API (for Haskell)
Language:Haskell8 3 20
mrd/puppy
Barebones programming on the Beagle Board
Language:C8 2 10
mrd/haskell-quaternion
Quaternion library meant for Haskell graphics and game programming
Language:Haskell4 2 00
mrd/fishtank
An OpenGL-based demo of a 3D fishtank written in Haskell
Language:Haskell3 2 00
mrd/hcullide
Haskell implementation of the CULLIDE algorithm
Language:Haskell20
mrd/quest
The Quest Operating System
Language:C2 2 01
mrd/simutrans-experimental
Sources for the Experimental branch of the popular game Simutrans
Language:C++2 2 00
mrd/ATS-Postiats
Another implementation of ATS
Language:ATS10
mrd/strafunski
Automatically exported from code.google.com/p/strafunski
Language:Haskell1 1 0
mrd/tracksim
Language:Haskell1
mrd/cornucopia-lib
Automatically exported from code.google.com/p/cornucopia-lib
Language:C++1 5
mrd/fgl
A Functional Graph Library for Haskell
Language:Haskell2 0
mrd/giffy
A Rails-based Slack bot
Language:Ruby2 0
mrd/gtfsToCSV
Convert GTFS realtime vehicle locations to CSV
Language:C2 0
mrd/happy
The Happy parser generator for Haskell
Language:Haskell2 0
mrd/history_surfer
Browse git history to find bugs
Language:Ruby2 0
mrd/language-fortran
Haskell parser and manipulation functions for Fortran code
Language:Yacc2 0
mrd/LateNightT
Late Night T Data Challenge
mrd/naps-camfort
Open source Fortan analysis and transformation library written in Haskell
Language:Haskell2 0
mrd/rtbus
2 0
mrd/seL4
The seL4 microkernel
Language:C
mrd/stack
The Haskell Tool Stack
Language:Haskell2 0
mrd/TypeChef
Type checking ifdef variability
Language:C2 0
mrd/uip
The historical uIP sources
Language:C2 0