igraves/monad-resumption

Resumption and Reactive-Resumption Monads for the Haskell programming language.

Language: Haskell - Size: 28.3 KB - Last synced: 11 days ago - Pushed: over 4 years ago - Stars: 9 - Forks: 1

igraves/babylon Fork of openjdk/babylon

https://openjdk.org/projects/babylon

Size: 1.08 GB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

igraves/jdk Fork of openjdk/jdk

JDK main-line development

Language: Java - Size: 1.06 GB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

igraves/ingress-intel-total-conversion Fork of iitc-project/ingress-intel-total-conversion

ingress.com/intel total conversion user script with some new features. Should allow easier extension of the intel map.

Language: JavaScript - Size: 9.2 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

igraves/Hubris Fork of mwotton/Hubris

Bridge from Ruby to Haskell

Language: Haskell - Size: 62.5 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

igraves/hdcpu16

A Haskell toolchain for Notch's DCPU-16

Language: Haskell - Size: 105 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 2 - Forks: 0

igraves/igraves.github.io

Nonsense that I post to github

Language: HTML - Size: 1.87 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

igraves/census-api Fork of censusreporter/census-api

The home for the API that powers the Census Reporter project.

Size: 26.9 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

igraves/ice_cube Fork of ice-cube-ruby/ice_cube

Ruby Date Recurrence Library - Allows easy creation of recurrence rules and fast querying

Language: Ruby - Size: 3.99 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/friggeri-cv Fork of adrianforsius/friggeri-cv

A LaTeX curriculum vitae/resume template

Size: 91.8 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/Type-on-Strap Fork of sylhare/Type-on-Strap

🎨 Simplistic, responsive jekyll based open source theme

Language: HTML - Size: 85.8 MB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

igraves/wreq Fork of jsantos17/wreq

Wreq with OAuth1 Support

Language: Haskell - Size: 451 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

igraves/geos-1 Fork of georust/geos

Rust bindings for GEOS

Language: Rust - Size: 504 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 1

igraves/radian Fork of system-f/radian

A floating-point newtype to represent measurements in radians

Language: Haskell - Size: 19.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/SFND_Lidar_Obstacle_Detection Fork of udacity/SFND_Lidar_Obstacle_Detection

Language: C++ - Size: 190 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

igraves/dotfiles Fork of holman/dotfiles

@holman does dotfiles

Language: Shell - Size: 504 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

igraves/geos Fork of ewestern/geos

This is a Haskell binding to Geos, the open-source geometry library

Language: Haskell - Size: 751 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/geodetic Fork of NICTA/geodetic

Geodetic calculations including Vincenty and Great Circle using a Latitude and Longitude pair.

Language: Haskell - Size: 50.8 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/coordinate Fork of qfpl/coordinate

A representation of latitude and longitude

Language: Haskell - Size: 104 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/optional Fork of tonymorris/optional

Using type-classes for optional function arguments.

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/stackage Fork of commercialhaskell/stackage

"Stable Hackage": vetted consistent packages from Hackage

Language: Shell - Size: 13.2 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/clipper Fork of chetant/clipper

Haskell bindings for clipper

Language: C++ - Size: 46.9 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/cassava Fork of haskell-hvr/cassava

A CSV parsing and encoding library optimized for ease of use and high performance

Language: Haskell - Size: 551 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

igraves/peparser-haskell

A Portable Executable (Microsoft Binary Executable file) header parser in Haskell.

Language: Haskell - Size: 357 KB - Last synced: about 1 month ago - Pushed: over 9 years ago - Stars: 9 - Forks: 4

igraves/fay-d3

D3.js bindings for fay

Language: Haskell - Size: 102 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 0 - Forks: 0

igraves/blog Fork of HubPress/hubpress.io

A web application to build your blog on GitHub

Language: JavaScript - Size: 2.19 MB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

igraves/ReWire

A Haskell-to-VHDL compiler.

Language: VHDL - Size: 4.71 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

igraves/vhdl-gizmos

VHDL Gadgets that I'd like to track on.

Language: VHDL - Size: 141 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

igraves/DLX-Assembler Fork of mbcrawfo/DLX-Assembler

An assembler for the DLX assembly language.

Language: Python - Size: 153 KB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0

igraves/commercialhaskell Fork of commercialhaskell/commercialhaskell

A special interest group for companies and individuals interested in commercial usage of Haskell

Size: 146 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

igraves/draconis-resumptions

Resumptions and Reactive Resumptions in Idris

Language: Idris - Size: 129 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

igraves/haskell.sty Fork of mchakravarty/haskell.sty

LaTeX style file to typeset functional languages like Haskell

Language: TeX - Size: 298 KB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 0 - Forks: 0

igraves/neil Fork of ndmitchell/neil

General tools for Neil

Size: 924 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

igraves/flow-arrow

Enumerators and Streams based on Reactive Resumptions

Language: Haskell - Size: 314 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 1 - Forks: 0

igraves/hruby

A Haskell-based Ruby Interpreter

Size: 148 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

igraves/relay-server

Language: Haskell - Size: 191 KB - Last synced: about 1 year ago - Pushed: about 10 years ago - Stars: 0 - Forks: 0

igraves/http-reverse-proxy Fork of fpco/http-reverse-proxy

Reverse proxy HTTP requests, either over raw sockets or with WAI

Language: Haskell - Size: 143 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/yesod Fork of yesodweb/yesod

A RESTful Haskell web framework built on WAI.

Language: Haskell - Size: 7.89 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/ruby-duration Fork of blueroot/ruby-duration

Immutable type that represents some amount of time with accuracy in seconds.

Language: Ruby - Size: 125 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 1 - Forks: 0

igraves/haskell_talk

Quick introductory talk to dev/como on Haskell and Monads

Language: JavaScript - Size: 480 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/ghc Fork of ghc/ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list ([email protected])

Language: Haskell - Size: 93.9 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/while_language

Haskell Implementation of a While Language

Language: Haskell - Size: 172 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 1

igraves/ark-tweet-nlp Fork of brendano/ark-tweet-nlp

CMU ARK Twitter Part-of-Speech Tagger

Language: Java - Size: 96.2 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/HandsomeSoup Fork of egonSchiele/HandsomeSoup

Easy HTML parsing for Haskell

Language: Haskell - Size: 164 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/rabin-haskell

A Haskell implementation of the Rabin Cryptosystem

Language: Haskell - Size: 1.74 MB - Last synced: about 1 year ago - Pushed: about 11 years ago - Stars: 1 - Forks: 0

igraves/isa-smt

isa-smt

Language: Haskell - Size: 142 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

igraves/EulerSolutions

Project Euler Solutions in Haskell

Language: Haskell - Size: 102 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 1 - Forks: 0

igraves/haskell-minisat Fork of msakai/haskell-minisat

Low-level Haskell binding of MInisat

Language: C++ - Size: 161 KB - Last synced: about 1 year ago - Pushed: over 12 years ago - Stars: 1 - Forks: 0