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/haskell-src-query
ExternalReality/Adder
For presentation
ExternalReality/ats-practice
Example ATS practice program with a focus on user interaction with contrained types.
ExternalReality/arduino-ats
ATS programing on Arduino
ExternalReality/blobstore
This package provides a Mongo GridFS-backed blob storage engine.
ExternalReality/bundlechanges
A Go library to generate the list of changes required to deploy a bundle
ExternalReality/cabal
Official upstream development repository for Cabal and cabal-install
ExternalReality/charmstore
The charm store server.
ExternalReality/cmd
A command line implementation framework
ExternalReality/docs
Juju documentation, found online at https://jujucharms.com/docs
ExternalReality/dynamodb-reflect
Convert Go values to AWS DynamoDB attribute values using reflection
ExternalReality/features
A simple application that manages feature requests
ExternalReality/form-to-obj
Zero-dependency, small utility to convert a form into a JavaScript object
ExternalReality/gomaasapi
Go bindings for talking to MAAS
ExternalReality/goose
goose (Go OpenStack Exchange) - Go bindings for talking to OpenStack.
ExternalReality/haskell-emacs
Write Emacs extensions in Haskell
ExternalReality/homebrew-core
🍻 Default formulae for the missing package manager for macOS
ExternalReality/lxd
Daemon based on liblxc offering a REST API to manage containers
ExternalReality/macaroon-bakery
We bake 'em sweet, we bake 'em nice
ExternalReality/mgo
The MongoDB driver for Go
ExternalReality/persona
Persona is a secure, distributed, and easy to use identification system.
ExternalReality/pictures
Little S3 Picture Downloading Nanoservice To Practice Erlang
ExternalReality/replicaset
Create and manage mongodb replicasets.
ExternalReality/rubyFizzBuzz
FizzBuzz with Contract
ExternalReality/SmallAnswers
A small question selecting application
ExternalReality/testing
Testing gocheck suites and checkers used across juju projects
ExternalReality/txn
ExternalReality/utils
General utility functions
ExternalReality/version
ExternalReality/ymacs
Ymacs is an^W the most Emacs-like code/text editor for the Web