Popular repositories Loading

1. dafny-gitpod dafny-gitpod Public

   dafny docker image for use with gitpod.io

   Python 1

2. constructive-algebra constructive-algebra Public

   Github mirror of http://hackage.haskell.org/package/constructive-algebra source code

   Haskell

3. ansible-on-alpine ansible-on-alpine Public

   Basic ansible installation on Alpine linux. Saves having multiple ~400MB virtualenvs around the place.

   Dockerfile

4. bashdb bashdb Public

   Shell

5. pandoc-types pandoc-types Public

   Forked from jgm/pandoc-types

   types for representing structured documents

   Haskell

6. elm-stlc elm-stlc Public

   Forked from brendanzab/elm-stlc

   Bidirectional type checker for the simply typed lambda calculus

   Elm