alt-romes / ghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine
☆44Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for ghengin
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆66Updated 11 months ago
- 📊 Haskell dependencies build times profiler☆74Updated last year
- Haskell library for type-inference with Hindley-Milner type-system.☆33Updated 5 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆88Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Set breakpoints using a GHC plugin☆47Updated 6 months ago
- ☆73Updated this week
- Example of using Yampa and GHC Wasm backend to create a simple web app.☆15Updated 11 months ago
- Tools for building 3D interactive programs in Haskell☆67Updated 7 months ago
- ☆37Updated this week
- LLVM code generation in Haskell☆50Updated 3 weeks ago
- typed finite-state machine☆14Updated this week
- Source material for Certainty by Construction☆37Updated 10 months ago
- Chapelure is a diagnostic library for Haskell☆44Updated last year
- Extend Cabal build-depends from the command line☆55Updated last week
- Interpret Haskell programs into any cartesian closed category.☆57Updated last week
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 months ago
- Implementing a small functional language with a combinator based graph-reduction machine☆28Updated 11 months ago
- A modern Haskell debugger☆29Updated last year
- A Terminal User Interface for the Glasgow Haskell Compiler Interactive Mode☆57Updated this week
- ☆40Updated last year
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Featherlight benchmark framework, drop-in replacement for criterion and gauge.☆80Updated 2 weeks ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- Typed HTML with simplified layout, and easy composable styles. Inspired by Tailwindcss and Elm UI☆37Updated 3 weeks ago
- An interface for GHC type-checking plugins☆20Updated 3 weeks ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- ☆22Updated 10 months ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆82Updated this week
- Help the Haskell community coordinate volunteers, open source projects, and help community managers source speakers.☆26Updated last year