extism / haskell-pdkLinks
Extism Plug-in development kit (PDK) for Haskell
☆10Updated 8 months ago
Alternatives and similar repositories for haskell-pdk
Users that are interested in haskell-pdk are comparing it to the libraries listed below
Sorting:
- ☆70Updated 3 years ago
- Unison Share's backend server☆28Updated last week
- Haskell bindings to binaryen.☆14Updated 4 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆73Updated 10 months ago
- Wasm library for PureScript☆28Updated last year
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago
- Skeleton app with contrived client/server examples☆20Updated 3 years ago
- Haskell WebAssembly Toolkit☆155Updated 10 months ago
- Imagine a Dependently Typed Python☆11Updated 7 months ago
- ☆15Updated last month
- Registry of PureScript packages and metadata about them☆48Updated 2 weeks ago
- Finite state machines as graphs☆60Updated 5 years ago
- A desktop app companion to the UCM CLI☆58Updated last month
- A structural editor for JSON values☆77Updated 3 years ago
- A GraphQL query parser for Haskell☆59Updated 3 years ago
- ☆43Updated 4 years ago
- A Dhall encoding of the GitLab CI configuration schema☆49Updated 2 years ago
- Type level natural numbers and booleans☆34Updated 6 years ago
- Shared design system and core components for Unison Local and Unison Share☆26Updated last week
- high-powered optics in a small package☆53Updated 2 months ago
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Go foreign export implementations for the standard library☆33Updated 2 years ago
- The UI for Unison Share☆33Updated last week
- The Yatima Standard Library☆20Updated last year
- Cap'n Proto for Haskell☆95Updated 2 years ago
- ☆17Updated 2 years ago
- An HTTP library for idris☆39Updated 6 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- A TOML parser for Idris 2☆17Updated last year
- Kotlin-backend for PureScript☆80Updated 4 years ago