Beast code in Giters

Cliff Harvey's repositories

destroid

A space shooter based on the classic Asteroids

Language:ElmGPL-2.035 30

xquant

Dependently-typed structures for quantum physics in Idris

Language:IdrisMIT13 30

dark-condensate-syntax

A dark syntax theme for the Atom editor optimized for Haskell

Language:CSSMIT1 20

elm-lesson

Language:Elm1 20

codo-notation

Codo notation for programming with comonads in Haskell

Language:HaskellBSD-2-Clause000

elm-export

Create Elm types and JSON decoders from Haskell source.

Language:HaskellEPL-1.0000

haskell-opaleye

Language:HaskellNOASSERTION020

Microsoft-Translator-Haskell

Haskell interface for Bing Translator

Language:HaskellBSD-3-Clause000

open

Filopodia open-source monorepo

Language:HaskellMIT020

reflex-platform

Language:NixBSD-3-Clause000

servant

Main repository for the servant libraries. Web API combinators, with servers, clients and documentation

Language:Haskell020

servant-swagger-ui

Provide embedded swagger UI for servant and swagger

Language:JavaScriptNOASSERTION020

shiva

Practice a foreign language by reading the news

Language:HaskellMIT020

slack-api

Haskell bindings to the Slack RTM API

Language:HaskellMIT000

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:ShellMIT000

xalg

Nascent platform for DSL-based computer algebra

Language:HaskellMIT000

XivNamer

File-renaming script for papers downloaded from arXiv math/physics preprint archive

Language:RubyMIT000