Alternatives and similar repositories for haskell-pdk

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

• jaredly / unison.rs
  ☆70Updated 3 years ago
• unisoncomputing / share-api
  Unison Share's backend server
  ☆28Updated this week
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• SPY / haskell-wasm
  Haskell WebAssembly Toolkit
  ☆154Updated 9 months ago
• SPY / idris-codegen-wasm
  WebAssembly Code Generation Backend for Idris Compiler
  ☆82Updated 7 years ago
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated last year
• justinwoo / prefetch-github
  A helper to save me some keystrokes from nix-prefetch-git.
  ☆13Updated 6 years ago
• uwap / idris-http
  An HTTP library for idris
  ☆39Updated 6 years ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆56Updated last year
• purescm / purescm
  Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).
  ☆73Updated 9 months ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆31Updated last year
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• bgamari / dhall-gitlab-ci
  A Dhall encoding of the GitLab CI configuration schema
  ☆49Updated last year
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• MercuryTechnologies / hs-temporal-sdk
  Unofficial Temporal Haskell SDK
  ☆37Updated 2 weeks ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 6 months ago
• cblp / crdt
  ☆43Updated 4 years ago
• pheymann / specdris
  A test framework for Idris
  ☆55Updated 6 years ago
• zenhack / haskell-capnp
  Cap'n Proto for Haskell
  ☆95Updated 2 years ago
• snoyberg / routetype-rs
  Strongly typed routes for Rust
  ☆36Updated 4 years ago
• kritzcreek / purescript-wasm
  Wasm library for PureScript
  ☆28Updated last year
• id3as / demo-ps
  Skeleton app with contrived client/server examples
  ☆20Updated 2 years ago
• ChrisPenner / jet
  A structural editor for JSON values
  ☆77Updated 3 years ago
• id3as / purescript-backend-erl
  ☆15Updated last month
• vmchale / github-actions-dhall
  Dhall helpers for github actions
  ☆54Updated last year
• elba / elba
  A package manager for Idris
  ☆186Updated 5 years ago
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated last month
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• gonzaw / extensible-records
  Extensible records for Idris
  ☆25Updated 4 years ago