Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology

https://github.com/mrcjkb/haskell-tools.nvim

Supercharge your Haskell experience in neovim!
dap debug-adapter-protocol fast-tags haskell hoogle language-server language-server-protocol lsp lsp-client lua neovim neovim-plugin nvim plugin repl tagfunc telescope vim
Added: over 1 year ago - Last Synced: about 1 year ago - Created: October 15, 2022

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Lua
  • Commits: 550
  • Committers: 16
  • Issues: 39
  • Pull Requests: 64
  • Owner: mrcjkb
  • Stars: 402
  • Forks: 17
  • Packages: 0
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: about 1 year 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/chchch/sanskrit-alignment

Sequence alignment and textual reconstruction for Sanskrit texts
haskell javascript philology phylogeny sequence-alignment
Added: over 1 year ago - Last Synced: about 1 year ago - Created: June 24, 2020

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: JavaScript
  • Commits: 273
  • Committers: 4
  • Issues: 5
  • Pull Requests: 15
  • Owner: chchch
  • Stars: 9
  • Forks: 3
  • Packages: 0
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: about 1 year 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