Alternatives and similar repositories for haskell-pdk

Users that are interested in haskell-pdk are comparing it to the libraries listed below

• unisoncomputing / share-api
  Unison Share's backend server
  ☆31Updated this week
• jaredly / unison.rs
  ☆71Updated 3 years ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆155Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated last year
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• unisoncomputing / share-ui
  The UI for Unison Share
  ☆34Updated this week
• unisonweb / ucm-desktop
  A desktop app companion to the UCM CLI
  ☆64Updated 2 months ago
• cblp / crdt
  ☆44Updated 5 years ago
• purescript / registry
  Registry of PureScript packages and metadata about them
  ☆50Updated this week
• unisonweb / base_v1
  Unison base libraries, published using V1 codebase format
  ☆24Updated 5 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆94Updated 2 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 2 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆10Updated 10 months ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 7 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆29Updated last year
• bgamari / dhall-gitlab-ci
  A Dhall encoding of the GitLab CI configuration schema
  ☆49Updated 2 years ago
• roc-lang / rbt
  Roc Build Tool
  ☆49Updated 3 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆32Updated 2 years ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• eqlog / eqlog
  Datalog with equality for rust
  ☆72Updated last month
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 4 months ago
• matthunz / conduct
  A cross-platform driver for Tauri in Haskell
  ☆52Updated last year
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆49Updated 4 years ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆25Updated last month
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago
• hasura / graphql-parser-hs
  A GraphQL query parser for Haskell
  ☆59Updated 3 years ago