bchallenor / funslang
Funslang is a pure functional shading language for graphics processors. It borrows heavily from ML and Haskell.
☆43Updated 4 years ago
Alternatives and similar repositories for funslang
Users that are interested in funslang are comparing it to the libraries listed below
Sorting:
- A strongly-typed, functional rendering/game engine☆26Updated 10 years ago
- A drawing engine in Haskell☆142Updated 3 years ago
- Binding to WebGL for purescript.☆46Updated 6 years ago
- Example row-polymorphism implementations☆61Updated last year
- Documentation for Concur☆65Updated 11 months ago
- ☆41Updated 7 years ago
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Updated last year
- UI experiments for coda☆66Updated 3 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- A Real-Time Rendering framework written in Haskell☆53Updated last year
- Simple games implemented in purescript☆15Updated 6 years ago
- Recursion schemes in ATS☆9Updated 3 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- learning cuda☆18Updated 8 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Updated 4 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- Lambda calculus at the type level.☆20Updated 7 years ago
- A library for interactively creating graphics visualizations☆22Updated 5 years ago
- Low-level low-overhead haskell bindings to vulkan API☆64Updated 4 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 8 years ago
- A nice Haskell graphics API. There's always room for jello.☆41Updated 6 years ago
- A test framework for Idris☆54Updated 6 years ago
- A compiler for a simple language using llvm☆35Updated last year
- Purescript bindings for Threejs☆32Updated 6 years ago
- Js libraries for idris☆49Updated 5 years ago
- Modular softsynth☆62Updated 9 years ago
- Executable examples for Elerea.☆18Updated 8 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- NanoVG Haskell bindings☆22Updated last year