Formal methods

Formal methods

Loading…

ApacheConf 0 0

system

Various scripts used for deployment

Updated

Haskell 2 1

carma-models

CRUD and model definitions for CaRMa

Updated

Haskell 0 0

sms-svc

Updated

Haskell 0 1

smsdirect

forked from mvoidex/smsdirect

SMSDirect library

Updated

Haskell 1 0

dmcc

AVAYA DMCC XML API implementation and WebSockets server

Updated

Haskell 0 0

carma-mobile-server

Standalone daemon add-on for CaRMa handling HTTP requests from mobile partners and clients.

Updated

Haskell 0 2

hs-weather-api

forked from cvb/hs-weather-api

api for google weather implemented in haskell

Updated

Haskell 0 0

carma-http

Access local CaRMa using HTTP API

Updated

Haskell 0 12

snap-extras

forked from ozataman/snap-extras

A collection of handler, splice and other primitive helpers that are commonly needed in web applications

Updated

Haskell 0 1

hformat

forked from mvoidex/hformat

Simple Haskell formatting

Updated

Haskell 0 0

carma-dict

Load and query CaRMa dictionaries

Updated

Haskell 0 0

mail-svc

Updated

Haskell 0 10

cabal-meta

forked from yesodweb/cabal-meta

avoid cabal dependency hell by installing all your cabal dependencies at the same time

Updated

Haskell 0 9

websockets-snap

forked from jaspervdj/websockets-snap

Snap integration for the websockets library

Updated

Haskell 0 1

pg-simple-alt-qq

forked from jorpic/pg-simple-alt-qq

On the way to better QuasiQuoter for postgresql-simple

Updated

Haskell 0 35

postgresql-simple

forked from lpsmith/postgresql-simple

Mid-level client library for accessing PostgreSQL from Haskell

Updated

Haskell 0 1

carma-sync

forked from mvoidex/carma-sync

Redis/PostgreSQL synchronization (OBSOLETE)

Updated

Haskell 1 1

postgresql-sync-map

forked from mvoidex/postgresql-sync-map

Synchronizing two key-value containers (OBSOLETE)

Updated

JavaScript 0 1

ramc-mobile-app-gen

Build tools for RAMC mobile apps.

Updated

Haskell 0 52

snap-core

forked from cvb/snap-core

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

Updated