Pinned Repositories
blog
My Personal Website
CRL
The Component Retrieval Language: Simplifying Complex Software Assembly
dotfiles
evil-god-state
fluidinfo.rb
Fluidinfo in Ruby!
located-base
pyGravatar
A python module for interacting with Gravatar
target
Generate test-suites from refinement types.
liquidhaskell
Liquid Types For Haskell
gridaphobe's Repositories
gridaphobe/evil-god-state
gridaphobe/CRL
The Component Retrieval Language: Simplifying Complex Software Assembly
gridaphobe/dotfiles
gridaphobe/located-base
gridaphobe/blog
My Personal Website
gridaphobe/ghc-srcspan-plugin
gridaphobe/bad-socket
gridaphobe/nofib
gridaphobe/aeson
A fast Haskell JSON library
gridaphobe/AMQP-CPP
C++ library for asynchronous non-blocking communication with RabbitMQ
gridaphobe/confluent-kafka-python
Confluent's Kafka Python Client
gridaphobe/dante
gridaphobe/emacs.g
The Emacs Collective
gridaphobe/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org)
gridaphobe/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
gridaphobe/hackage-server
Hackage-Server: A Haskell Package Repository
gridaphobe/haddock
Mirror of haddock repository. DO NOT SUBMIT PULL REQUESTS HERE. Use http://github.com/haskell/haddock instead!
gridaphobe/hdevtools
Persistent GHC-powered background server for FAST haskell development tools
gridaphobe/hs-asn1
ASN1 Raw/BER/DER/CER reader/writer in haskell
gridaphobe/librdkafka
The Apache Kafka C/C++ library
gridaphobe/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
gridaphobe/nixpkgs
Nix Packages collection
gridaphobe/ocaml
Read-only mirror of INRIA SVN
gridaphobe/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
gridaphobe/OpenGrok
Main {OpenGrok git repository
gridaphobe/packages-array
Mirror of packages-array repository. DO NOT SUBMIT PULL REQUESTS HERE
gridaphobe/packages-stm
Mirror of packages-stm repository. DO NOT SUBMIT PULL REQUESTS HERE
gridaphobe/rsat
gridaphobe/scala
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
gridaphobe/thesis