acowley

acowley's Stars

• eczarny/spectacle

  Spectacle allows you to organize your windows without using a mouse.

  Language:Objective-C13.6k1760837

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k59590193

• pikatchu/LinearML

  Functional language for parallel programming

  Language:OCaml43226837

• ekmett/ad

  Automatic Differentiation

  Language:Haskell372266573

• liamoc/learn-you-an-agda

  Learn you an Agda (and achieve enlightenment)

  Language:Agda314291133

• acowley/roshask

  Haskell client library for the ROS robotics framework.

  Language:Haskell107163518

• bsl/GLFW-b

  Haskell bindings to GLFW

  Language:Haskell7185032

• rafl/git-commit-mode

  Language:Emacs Lisp497413

• acowley/GLUtil

  Utility functions for working with OpenGL BufferObjects, GLSL shaders, and textures.

  Language:Haskell40101916

• NicolasT/paxos

  A Haskell library implementing several Paxos-related algorithms

  Language:Haskell25704

• sinelaw/HOpenCV

  Haskell bindings for OpenCV

  Language:Haskell229213

• acowley/HOpenCV

  Haskell bindings for OpenCV

  Language:Haskell13603

• luqui/collada

  A Haskell module for loading and rendering Collada 3D model files

  Language:Haskell32