Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology

https://github.com/morloc-project/morloc

A typed, polyglot, functional language
code-generation functional-language interoperability language ontologies polyglot programming-language type-system
Added: over 1 year ago - Last Synced: 11 months ago - Created: December 02, 2016

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Haskell
  • Commits: 2195
  • Committers: 5
  • Issues: 16
  • Pull Requests: 3
  • Owner: morloc-project
  • Stars: 193
  • Forks: 4
  • Packages: 1
  • Downloads: 181
https://github.com/hstreamdb/hstream

HStreamDB is an open-source, cloud-native streaming database for IoT and beyond. Modernize your data stack for real-time applications.
data-processing database distributed-database distributed-systems financial-analysis haskell hstreamdb iot iot-database kafka materialized-view real-time realtime-database scale sql stream-processing streaming streaming-data streaming-database
Added: over 1 year ago - Last Synced: 11 months ago - Created: August 31, 2020

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Haskell
  • Commits: 1717
  • Committers: 22
  • Issues: 9
  • Pull Requests: 455
  • Owner: hstreamdb
  • Stars: 691
  • Forks: 56
  • Packages: 2
  • Downloads: 78
https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.
haskell sbv smt verification
Added: over 1 year ago - Last Synced: 11 months ago - Created: November 09, 2015

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Haskell
  • Commits: 448
  • Committers: 6
  • Issues: 25
  • Pull Requests: 3
  • Owner: LeventErkok
  • Stars: 44
  • Forks: 7
  • Packages: 1
  • Downloads: 6,173