lancelet / wgpu-hsLinks
Haskell bindings to WGPU Native
☆22Updated 4 months ago
Alternatives and similar repositories for wgpu-hs
Users that are interested in wgpu-hs are comparing it to the libraries listed below
Sorting:
- Godot4 haskell bindings☆16Updated last month
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆75Updated this week
- Flexible and convenient HTML generation☆12Updated 2 years ago
- Haskell bindings for the SDL3 library.☆17Updated 3 weeks ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!☆108Updated last week
- dependent type theory experiment☆26Updated last year
- Haskell wrapper for iced☆36Updated 7 months ago
- Handy macro to generate C-FFI bindings to Rust for Haskell☆70Updated last week
- ☆16Updated 2 years ago
- ☆18Updated last year
- ☆17Updated 2 years ago
- Strongly typed routes for Rust☆36Updated 4 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆70Updated last year
- ☆21Updated 7 months ago
- Haskell ECS using sparse sets☆15Updated 3 years ago
- A functional scripting language.☆17Updated 11 months ago
- Haskell implementation of the KDL Document Language☆27Updated 3 weeks ago
- Provides a Refl encoding in Rust☆68Updated 2 years ago
- Command line interface library in Idris☆32Updated last year
- Phase vocoder in Haskell☆18Updated 4 years ago
- Inigo: A Package Manager for Idris2☆62Updated 3 years ago
- Wasm library for PureScript☆29Updated last year
- A modular game engine and ECS for Haskell☆135Updated last week
- A bidirectional type checker☆66Updated 8 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆62Updated last year
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆118Updated 6 years ago
- Javascript DOM bindings for Idris2☆53Updated 2 months ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Updated 7 years ago