Skip to content
@f-me

Formal methods

Pinned Loading

  1. carma-public Public

    Public mirror of CaRMa (CRM for roadside assistance)

    Haskell 8 4

  2. dmcc Public

    Haskell bindings for AVAYA DMCC API and WebSockets server for AVAYA

    Haskell 11 7

  3. weather-svc Public

    Caching proxy for some weather API

    Haskell

Repositories

Showing 10 of 39 repositories
  • dmcc Public

    Haskell bindings for AVAYA DMCC API and WebSockets server for AVAYA

    Haskell 11 BSD-3-Clause 7 0 0 Updated May 11, 2021
  • carma-public Public

    Public mirror of CaRMa (CRM for roadside assistance)

    Haskell 8 4 0 0 Updated Jul 14, 2020
  • websockets-snap Public Forked from jaspervdj/websockets-snap

    Snap integration for the websockets library

    Haskell 0 20 0 0 Updated May 14, 2018
  • snap-extras Public Forked from ozataman/snap-extras

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

    Haskell 0 BSD-3-Clause 18 0 0 Updated Mar 30, 2018
  • websockets Public Forked from jaspervdj/websockets

    A Haskell library for creating WebSocket-capable servers

    Haskell 0 BSD-3-Clause 116 0 0 Updated Feb 7, 2018
  • hs-weather-api Public Forked from cvb/hs-weather-api

    api for google weather implemented in haskell

    Haskell 0 MIT 3 0 0 Updated Oct 1, 2017
  • openlayers-2-build Public

    A fork with build files for using by NPM (added package.json)

    JavaScript 0 1 0 0 Updated Aug 7, 2017
  • carma-models Public archive

    CRUD and model definitions for CaRMa (OBSOLETE, merged to carma)

    Haskell 4 1 0 0 Updated Oct 26, 2016
  • ramc-mobile-app-gen Public

    Build tools for RAMC mobile apps.

    JavaScript 0 0 0 0 Updated Feb 21, 2016
  • ramc-cli Public

    Android app for RAMC clients

    Java 0 0 0 0 Updated Feb 21, 2016
View all repositories

Top languages

Loading…

Most used topics

Loading…