hauxir / haskell-tetrisView external linksLinks
Tetris game written in Haskell using ncurses
☆72Oct 5, 2019Updated 6 years ago
Alternatives and similar repositories for haskell-tetris
Users that are interested in haskell-tetris are comparing it to the libraries listed below
Sorting:
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 7 years ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Jul 22, 2018Updated 7 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Tools for working with regular grids/graphs/lattices.☆108Sep 3, 2022Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆18Mar 8, 2018Updated 7 years ago
- Template for Hindley-Milner based languages☆39Dec 7, 2021Updated 4 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Haskell XML library☆27Feb 1, 2019Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 3 years ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 3 years ago
- The Elements of Statistical Learning in Haskell☆13Nov 29, 2017Updated 8 years ago
- TODO☆23Oct 10, 2015Updated 10 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- Sort any Traversable container☆42Jun 22, 2022Updated 3 years ago
- Filling and manupulation with histograms☆17Mar 10, 2025Updated 11 months ago
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- Haskell Module: Integer.IsPositive☆14Mar 26, 2016Updated 9 years ago
- A Haskell client library for Cayley database graph☆14Jan 6, 2026Updated last month
- ☆31Sep 9, 2015Updated 10 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Jan 10, 2026Updated last month
- A library simplifying user management for Haskell web applications☆51Oct 10, 2022Updated 3 years ago
- A tool for formally verifying Haskell code in Agda☆28Oct 25, 2016Updated 9 years ago
- Priority Search Queues in three different flavors for Haskell☆67Dec 28, 2025Updated last month
- Paper: The simple essence of automatic differentiation☆23Nov 9, 2018Updated 7 years ago
- probabilistic programming in Haskell☆17Aug 26, 2016Updated 9 years ago
- An unofficial issue tracker for all things Haskell-related☆18Mar 31, 2016Updated 9 years ago
- doom☆17Mar 8, 2016Updated 9 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- restricted boltzmann machine☆50Jan 27, 2016Updated 10 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Unification and type inference algorithms☆127Feb 21, 2015Updated 10 years ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago