klukaszek / sdl3-hsLinks
Haskell bindings for the SDL3 library.
☆14Updated last week
Alternatives and similar repositories for sdl3-hs
Users that are interested in sdl3-hs are comparing it to the libraries listed below
Sorting:
- Godot4 haskell bindings☆14Updated last year
- The game of Notakto, made in Haskell with Apecs and Raylib☆25Updated last year
- Haskell ECS using sparse sets☆14Updated 2 years ago
- Flake that allows you to get started with Mach engine quickly.☆16Updated 4 months ago
- Haskell bindings to WGPU Native☆20Updated 3 years ago
- C style wrapper for winit - Cross-platform window creation and management in Rust☆14Updated 6 months ago
- ☆19Updated 2 months ago
- Purescript compiler back-end for Lua☆56Updated 3 months ago
- A Haskell libary for fast arrowized FRP based on signal functions☆18Updated last year
- A cross-platform driver for Tauri in Haskell☆52Updated last year
- Exploratory project to gather Haskell links☆10Updated 2 months ago
- Command line interface library in Idris☆31Updated last year
- A functional scripting language.☆17Updated 6 months ago
- Lua backend for Idris 2☆28Updated 2 years ago
- Typelevel Brainfuck; Brainfuck implemented solely in Haskell's type system (no TemplateHaskell)☆17Updated last year
- Embedding of python interpreter into haskell programs☆13Updated 3 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Wasm library for PureScript☆29Updated last year
- Idris Version Manager☆16Updated 5 months ago
- ☆16Updated 2 years ago
- IDE support for the functional logic programming language Curry☆31Updated 3 months ago
- A simple demo of Nixifying a multi-package Haskell project☆20Updated 4 months ago
- ☆13Updated 2 years ago
- A fast Haskell library for parsing ByteStrings☆10Updated 3 years ago
- A Haskell module for PortMidi audio library.☆13Updated last year
- NanoVG Haskell bindings☆22Updated 2 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆71Updated last week
- ☆18Updated last year
- Single Page Web Applications in Idris☆25Updated 10 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆26Updated 7 months ago