Shane Pearman's repositories
glium-sdl2-hack
An unsafe backend for SDL + Glium that makes it possible to collect input events on the main thread while rendering on a child thread
simple-bmp
Create and write 32-bit RGBA BMP files
ats2-mode
Emacs mode for ATS2
Language:Emacs Lisp000
book
A textbook on informal homotopy type theory
000
camelcasemotion
Fork of CamelCaseMotion plugin with search functions modified to ignore mid-word digits (changes in skip_digits branch)
Language:VimL000
cgdb
Console front-end to the GNU debugger
Language:C++GPL-2.0000
cmeta
Syntactic macros for C
Language:Racket000
gl-idris
Fork of gl-idris made to compile on a system running Linux Mint 17.3
Language:IdrisMIT000
gl-utils-c
A collection of OpenGL utility functions
idr-utils
Miscellaneous Idris utility types and functions
Language:IdrisApache-2.0000
SDL2-idris
Fork of SDL2-idris made to compile on a system running Linux Mint 17.3
simple-array
Simple wrapper around Data.IOArray mutable arrays
Language:IdrisApache-2.0000
vim-markdown
Markdown Vim Mode
Language:Vim script000