Pinned Repositories
Adder
For presentation
ats-practice
Example ATS practice program with a focus on user interaction with contrained types.
backbone--snap--sunroof--acid-state
Example generating Javascript with Sunroof on Snap and acid-state.
haskell-src-query
minix
Fork of Minix for Exokernel/Unikernel/Single-server Microkernel expirimenation
ops
ops - build and run nanos unikernels
ops-documentation
Documentation for Nano VMs Ops
purescript-html
A Direct Port of the BlazeHTML API for Haskell
SednaDBXML
Haskell bindings to the fantastic Sedna Native XML Database
snaplet-sedna
A Sedna XML database snaplet.
ExternalReality's Repositories
ExternalReality/SednaDBXML
Haskell bindings to the fantastic Sedna Native XML Database
ExternalReality/purescript-html
A Direct Port of the BlazeHTML API for Haskell
ExternalReality/snaplet-sedna
A Sedna XML database snaplet.
ExternalReality/UUAG-example
Example of calculating statistics over a highly nested structure using UUAG
ExternalReality/backbone--snap--sunroof--acid-state
Example generating Javascript with Sunroof on Snap and acid-state.
ExternalReality/dbmigrations
A library and program for the creation, management, and installation of schema updates (called migrations) for a relational database.
ExternalReality/ghcjs
Haskell to JavaScript compiler, based on GHC
ExternalReality/GHCJS-WEBROUTS
ExternalReality/hlint
Haskell source code suggestions
ExternalReality/inflections-hs
Rails-like inflections for Haskell
ExternalReality/pipes-stm
ExternalReality/Shelly.hs
Haskell shell scripting
ExternalReality/snap-chat-single
ExternalReality/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
ExternalReality/structured-haskell-mode
Structured editing minor mode for Haskell in Emacs