jbrot / jstris-aiLinks
An AI for Tetris on Jstris
☆11Updated 5 years ago
Alternatives and similar repositories for jstris-ai
Users that are interested in jstris-ai are comparing it to the libraries listed below
Sorting:
- sliding fast fourier transform using haskell streaming☆13Updated 6 years ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- probabilistic programming in Haskell☆17Updated 9 years ago
- Haskell bindings to the Eigen C++ library☆16Updated last year
- Existential type.☆37Updated 10 months ago
- Programmatically create new instances using core-to-core plugins☆11Updated 4 years ago
- Typeclass for array types☆19Updated 6 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Updated 5 years ago
- Haskell numerical ODE solvers☆14Updated 8 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆14Updated this week
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Updated last year
- integrates several data analysis libraries into a single project with ihaskell frontend☆15Updated 7 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- Sample code to build a C library from a Haskell module, then call it from C☆16Updated 8 years ago
- ☆21Updated 2 years ago
- Bring fusion to everyone☆14Updated 5 years ago
- Deriving Storable instances using GHC.Generics☆16Updated 3 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Updated 2 weeks ago
- Unpinned byte arrays in GHC haskell☆22Updated 6 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆21Updated 2 months ago
- Functional Vector Graphics☆17Updated 8 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- CLI tool for Hackage☆27Updated 2 months ago
- A dependently typed actor framework for haskell.☆12Updated 6 years ago
- Futuristic New Age Golden Test management☆15Updated 3 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Game in Haskell☆14Updated last year
- Zippers for cofree types☆13Updated 3 years ago
- An application to visualize the semantic distance between two words using the Wordnet lexical database and algorithmic path finding.☆10Updated 4 years ago