Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:
☆210Jun 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- Dungeons of Wor, the remake of the classic Wizard of Wor using FRP.☆16Jun 19, 2016Updated 9 years ago
- Quake 3 map viewer in Haskell using LambdaCube 3D☆70Jan 12, 2023Updated 3 years ago
- Run cabal inside nix-shell☆14Jul 26, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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…☆47Mar 29, 2026Updated last week
- Executable examples for Elerea.☆18Jun 19, 2016Updated 9 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- A simple FRP library providing leak-free first-class streams.☆114Jun 18, 2016Updated 9 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- ☆29Jul 1, 2015Updated 10 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Feb 2, 2017Updated 9 years ago
- Event-driven bidirectional channels☆14Feb 17, 2016Updated 10 years ago
- A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.☆279Feb 14, 2026Updated last month
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams☆20Mar 24, 2022Updated 4 years ago
- Alleviate your back pain using Haskell and a webcam☆50Aug 24, 2020Updated 5 years ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆121May 31, 2025Updated 10 months ago
- Experiments in Idris / Unity integration.☆49Sep 26, 2016Updated 9 years ago
- A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development☆59Feb 12, 2020Updated 6 years ago
- A simple tool for visualising differences in Criterion benchmark results☆15Apr 11, 2025Updated 11 months ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Dynamic linking and runtime evaluation of Haskell, and C, including dependency chasing and package resolution.☆53Sep 13, 2023Updated 2 years ago
- A functionally reactive game engine, with headgear to protect you from the headache of game development provided.☆598Dec 1, 2018Updated 7 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- Contravariant functors☆11Oct 27, 2022Updated 3 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- United Monoids☆24Oct 2, 2022Updated 3 years ago
- Nikki and the Robots platformer game☆123Jun 19, 2022Updated 3 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 10 years ago
- A multi paradigm scripting language for elm☆15Oct 1, 2021Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell bindings for Dear Imgui☆11Dec 19, 2019Updated 6 years ago
- A 9K demoscene intro in Javascript (and framework for future 4-64K intros)☆24Apr 29, 2012Updated 13 years ago
- ☆32Aug 19, 2023Updated 2 years ago
- Core library of new GPipe, encapsulating OpenGl and providing a type safe minimal library☆162Sep 12, 2023Updated 2 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- Just a place to throw general notes that don't belong to any particular library☆21Oct 25, 2014Updated 11 years ago
- Binding to WebGL for purescript.☆46Aug 3, 2018Updated 7 years ago