Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:
☆211Jun 23, 2018Updated 7 years ago
Alternatives and similar repositories for lambdacube-edsl
Users that are interested in lambdacube-edsl are comparing it to the libraries listed below
Sorting:
- LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:☆87Oct 9, 2023Updated 2 years ago
- OpenGL 3.3 Core Profile backend for LambdaCube 3D☆24Oct 29, 2023Updated 2 years ago
- Quake 3 map viewer in Haskell using LambdaCube 3D☆70Jan 12, 2023Updated 3 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation syst…☆47Feb 7, 2026Updated last month
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- Dungeons of Wor, the remake of the classic Wizard of Wor using FRP.☆16Jun 19, 2016Updated 9 years ago
- ☆29Jul 1, 2015Updated 10 years ago
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 3 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 8 years ago
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Sep 13, 2023Updated 2 years ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆120May 31, 2025Updated 9 months ago
- A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.☆278Feb 14, 2026Updated 3 weeks ago
- A simple FRP library providing leak-free first-class streams.☆114Jun 18, 2016Updated 9 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development☆59Feb 12, 2020Updated 6 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆22Dec 15, 2025Updated 2 months ago
- ☆22May 25, 2024Updated last year
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- Type-safe, type-level and stateless Haskell graphics framework☆108Mar 7, 2017Updated 9 years ago
- Lisp Interface to Electron.☆27Jan 18, 2026Updated last month
- Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library☆162Sep 12, 2023Updated 2 years ago
- A lightweight, cross-platform, OpenGL-based 2D game engine in Haskell☆99Sep 1, 2023Updated 2 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- StumpWM Debugger☆11Apr 19, 2025Updated 10 months ago
- SRFI libraries for Chez Scheme☆10Mar 21, 2010Updated 15 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Clojure-style anonymous function literal for Elisp☆12Jan 21, 2015Updated 11 years ago