Haskell OSS

vesting-contract - Minimal Tezos vesting contracts github.com/tqtezos/vesting-c…

eclair-lang - An experimental, minimal Datalog implementation in Haskell github.com/luc-tielen/eclair…

sprite-lang - An tutorial-style implementation of liquid/refinement types for a subset of Oc... github.com/ranjitjhala/sprit…

msc-automating-induction-via-reflection - github.com/joe-hauns/msc-aut…

komposition - The video editor built for screencasters github.com/owickstrom/kompos…

disco - Distant Socialing github.com/storm-framework/d…

ghc-tcplugin-api - An interface for GHC type-checking plugins github.com/sheaf/ghc-tcplugi…

tla-transmutation - Elixir code generation from TLA+ specifications github.com/gabrielamafra/tla…

makemistakestolearnhaskell - Make Mistakes to Learn Haskell - 失敗しなが�... github.com/haskell-jp/makemi…

massalia - An intermediate haskell framework for designing GraphQL APIs github.com/theobat/massalia

pg-entity - A pleasant PostgreSQL database layer for Haskell github.com/tchoutri/pg-entit…

nbe-edsl - Normalization by Evaluation for Embedded Domain-specific Languages github.com/nachivpn/nbe-edsl

icfpc2021 - github.com/nobsun/icfpc2021

cycle-detection - extracting cycles as trees in linear time github.com/riz0id/cycle-dete…

z-data - array, slices and text github.com/zhaskell/z-data

peregrine - EDSL for automated, low-latency trading github.com/charles-cooper/pe…