Skip to content

@f-me Formal methods

Change the repository type filter

All

    Repositories list

    39 repositories

    • dmcc

      Public
      Haskell bindings for AVAYA DMCC API and WebSockets server for AVAYA
      telephonywebsocketsavaya
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •7•11•0•0•Updated May 11, 2021May 11, 2021

    • carma-public

      Public
      Public mirror of CaRMa (CRM for roadside assistance)
      crmhaskell
      Haskell
      •4•8•0•0•Updated Jul 14, 2020Jul 14, 2020

    • websockets-snap

      Public
      Snap integration for the websockets library
      Haskell
      •
      Other
      •20•0•0•0•Updated May 14, 2018May 14, 2018

    • snap-extras

      Public
      A collection of handler, splice and other primitive helpers that are commonly needed in web applications
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •17•0•0•0•Updated Mar 30, 2018Mar 30, 2018

    • websockets

      Public
      A Haskell library for creating WebSocket-capable servers
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •113•0•0•0•Updated Feb 7, 2018Feb 7, 2018

    • hs-weather-api

      Public
      api for google weather implemented in haskell
      Haskell
      •
      MIT License
      •3•0•0•0•Updated Oct 1, 2017Oct 1, 2017

    • openlayers-2-build

      Public
      A fork with build files for using by NPM (added package.json)
      npmbuildjsecmascriptnpm-packageopenlayers2
      JavaScript
      •
      Other
      •1•0•0•0•Updated Aug 7, 2017Aug 7, 2017

    • carma-models

      Public archive
      CRUD and model definitions for CaRMa (OBSOLETE, merged to carma)
      Haskell
      •1•4•0•0•Updated Oct 26, 2016Oct 26, 2016

    • ramc-mobile-app-gen

      Public
      Build tools for RAMC mobile apps.
      JavaScript
      •0•0•0•0•Updated Feb 21, 2016Feb 21, 2016

    • ramc-cli

      Public
      Android app for RAMC clients
      Java
      •0•0•0•0•Updated Feb 21, 2016Feb 21, 2016

    • weather-svc

      Public
      Caching proxy for some weather API
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jan 19, 2016Jan 19, 2016

    • pg-simple-alt-qq

      Public
      On the way to better QuasiQuoter for postgresql-simple
      Haskell
      •2•0•0•0•Updated Dec 24, 2015Dec 24, 2015

    • snap-core

      Public
      Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •84•0•0•0•Updated Dec 24, 2015Dec 24, 2015

    • hformat

      Public
      Simple Haskell formatting
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Nov 7, 2015Nov 7, 2015

    • carma-http

      Public archive
      Access local CaRMa using HTTP API (OBSOLETE, merged to carma)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Aug 12, 2015Aug 12, 2015

    • carma-mobile-server

      Public archive
      Standalone daemon add-on for CaRMa handling HTTP requests from mobile partners and clients. (OBSOLETE, merged to carma)
      Haskell
      •0•0•0•0•Updated Jul 29, 2015Jul 29, 2015

    • sms-svc

      Public
      Haskell
      •1•0•0•0•Updated Jun 23, 2015Jun 23, 2015

    • digestive-functors-heist

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Apr 3, 2015Apr 3, 2015

    • carma-dict

      Public
      Load and query CaRMa dictionaries (OBSOLETE, merged to carma)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Feb 2, 2015Feb 2, 2015

    • mail-svc

      Public
      Haskell
      •1•0•0•0•Updated Jan 19, 2015Jan 19, 2015

    • cabal-meta

      Public
      avoid cabal dependency hell by installing all your cabal dependencies at the same time
      Haskell
      •
      Other
      •10•0•0•0•Updated Oct 8, 2014Oct 8, 2014

    • carma-sync

      Public archive
      Redis/PostgreSQL synchronization (OBSOLETE)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Aug 31, 2014Aug 31, 2014

    • postgresql-sync-map

      Public archive
      Synchronizing two key-value containers (OBSOLETE)
      Haskell
      •1•1•0•0•Updated Aug 31, 2014Aug 31, 2014

    • social_integration

      Public
      Ruby
      •0•0•0•0•Updated Aug 5, 2014Aug 5, 2014

    • carma-partner-import

      Public
      CaRMa partner import library and tool (OBSOLETE/unused)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 22, 2014Jun 22, 2014

    • xlsx

      Public
      Simple and incomplete Excel file parser/writer
      Haskell
      •
      MIT License
      •63•0•1•0•Updated Jun 21, 2014Jun 21, 2014

    • ramc-par

      Public
      Android app for RAMC partners (GPS tracker)
      Java
      •0•0•8•0•Updated Jan 28, 2014Jan 28, 2014

    • vin-parser

      Public
      Legacy VIN parser & bulk uploader (OBSOLETE)
      Haskell
      •1•2•1•0•Updated Nov 6, 2013Nov 6, 2013

    • snaplet-simple-log

      Public
      Simple log for Haskell in snaplet (OBSOLETE)
      Haskell
      •1•0•0•0•Updated Nov 6, 2013Nov 6, 2013

    • simple-log

      Public
      Simple logging in Haskell (OBSOLETE)
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•0•0•0•Updated Mar 27, 2013Mar 27, 2013