Quake 3 map viewer in Haskell using LambdaCube 3D
☆70Jan 12, 2023Updated 3 years ago
Alternatives and similar repositories for lambdacube-quake3
Users that are interested in lambdacube-quake3 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
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- Kleene algebra, regular expressions☆33Nov 18, 2023Updated 2 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- ☆18Aug 31, 2022Updated 3 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated last month
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- OpenGL 3.3 Core Profile backend for LambdaCube 3D☆24Oct 29, 2023Updated 2 years ago
- Automatically generated Nix expressions for Hackage☆20Updated this week
- ☆24Feb 3, 2016Updated 10 years ago
- Classic games recreated in netwire☆95Feb 7, 2017Updated 9 years ago
- Ghosts of Departed Proofs☆63Nov 26, 2020Updated 5 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- Fast Haskell XML parser☆124Jul 16, 2023Updated 2 years ago
- An API that wraps webgl and opengl☆11Oct 22, 2017Updated 8 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Deriving via☆33Aug 6, 2018Updated 7 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- An Atari VCS 2600 emulator written in Haskell☆18Feb 16, 2022Updated 4 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- Hackage search engine☆56Feb 19, 2018Updated 8 years ago