veloce / cordova-plugin-stockfish
Cordova interface for the Stockfish chess engine
☆10Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cordova-plugin-stockfish
- FICS timeseal v2 client implementation☆19Updated 3 years ago
- Chess engine entirely written in Haskell☆47Updated last week
- Haskell bindings to SymEngine☆25Updated last year
- Collection of algorithms in Computational Geometry.☆18Updated 7 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Updated 4 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- A web-based version of the board game Yinsh☆63Updated 3 months ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆23Updated 4 years ago
- Symbolic logic expressions☆14Updated 4 years ago
- ☆21Updated 2 years ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Disciplined Convex Programming in Haskell☆22Updated 7 months ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆16Updated 7 months ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated 5 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- Special mathematical functions☆40Updated 7 months ago
- Haskell port of the Tensor Algebra COmpiler☆16Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- The backend for the chess database☆20Updated 2 years ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- ☆10Updated 8 years ago
- Combinators for drawing 2D shapes and images in Haskell (using OpenGL)☆32Updated 6 years ago
- Deposited packages of the homalg project☆12Updated last month
- Haskell bindings to the Eigen C++ library☆16Updated 5 months ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- A computer formalisation of parts of Martin Liebeck's book "a concise introduction to pure mathematics"☆10Updated last year