MaxOw/Idris-dev
A Dependently Typed Functional Programming Language
Developer Profile
MaxOw
Discovered public repositories for MaxOw in the GitHub catalog.
MaxOw/nixpkgs
Nix Packages collection
MaxOw/Idris-WebGL
WebGL bindings for Idris.
MaxOw/SetOperations
Polyhedral Set Operations
MaxOw/MarchingCubes
Marching cubes algorithm.
MaxOw/stm-lifted
STM Generalized with MonadIO
MaxOw/awesomium-example
Public repository.
MaxOw/awesomium-glut
Utilities for integrating Awesomium with GLUT.
MaxOw/awesomium
Bindings to Awesomium for Haskell
MaxOw/awesomium-raw
Raw bindings to Awesomium for Haskell