A very simple chess engine written in Haskell (work in progress).
☆19May 13, 2018Updated 8 years ago
Alternatives and similar repositories for haskell-chess
Users that are interested in haskell-chess are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Loquat: A System for Large-Scale Actor Programming☆11Mar 17, 2017Updated 9 years ago
- Some basic libraries for Coq.☆14Sep 9, 2025Updated 11 months ago
- Graphenee - Enterprise Application Development Framework☆16Apr 2, 2026Updated 4 months ago
- Classical simulator for Kuperberg's quantum collimation sieve, generalized to arbitrary finite cyclic groups and focused on CSIDH-512.☆15Jun 18, 2019Updated 7 years ago
- ☆12Jul 1, 2026Updated 2 months 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 python package for growing random graphs using quantum random walks☆20Aug 3, 2020Updated 6 years ago
- Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]☆26Nov 3, 2021Updated 4 years ago
- Library for simulating time progression in Python☆16Aug 16, 2025Updated last year
- A collection of simple games built with the LOVE game framework.☆15Aug 16, 2018Updated 8 years ago
- New way to do academic writing.☆22Jan 14, 2021Updated 5 years ago
- Teach Yourself Game Programming in 21 Days☆12Feb 11, 2019Updated 7 years ago
- A remake of the 1990's classic mario hit. Play the game here:☆11Jun 17, 2016Updated 10 years ago
- A C++ Console PAC-MAN Clone☆14Jul 30, 2016Updated 10 years ago
- ☆13Jul 22, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- ☆16Jan 11, 2026Updated 7 months ago
- Alpine Linux libvirt (qemu+kvm) docker image☆14May 28, 2021Updated 5 years ago
- Command-line email client☆12Oct 19, 2016Updated 9 years ago
- Algebraic Combinatorics in Coq☆38Aug 18, 2026Updated 2 weeks ago
- Collection of generative art made by me.☆10Jul 8, 2018Updated 8 years ago
- Analytic sampler compiler for combinatorial systems☆31Jul 10, 2022Updated 4 years ago
- A pre-commit hook that lints Gitlab CI configurations☆11Sep 19, 2023Updated 2 years ago
- This was a fork of Checked C clang used from 2021-2024. The changes have been merged into the original Checked C clang repo, which is now…☆15Sep 30, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆19Sep 16, 2024Updated last year
- Integrate Security into your CircleCI pipeline with Snyk☆21Aug 3, 2026Updated 3 weeks ago
- Simple Tic Tac Toe Game for Java☆21Apr 16, 2022Updated 4 years ago
- A GUI for tagging and managing document metadata for books, textbooks, or articles.☆17Jun 16, 2023Updated 3 years ago
- Python implementation of the STAR Voting system☆13Dec 18, 2024Updated last year
- Loft Plugin for DevSpace - adds commands like `devspace create space` or `devspace create vcluster` to DevSpace☆22Apr 28, 2026Updated 4 months ago
- Happy Haskell Hacking with Atom and ghc-mod☆29May 27, 2015Updated 11 years ago
- 3-dimensional hex maps with Pygame☆11Apr 25, 2017Updated 9 years ago
- Source Code for 'Practical C++20 Financial Programming' by Carlos Oliveira☆29Sep 22, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆14Jul 9, 2019Updated 7 years ago
- Specifications of cryptographic algorithms in Cryptol☆51Updated this week
- Manage lockfiles in PKGBUILDs for upstreams that don't ship them, `updpkgsums` for dependency trees (Arch Linux tooling)☆14Mar 13, 2026Updated 5 months ago
- Akos is a nocode visual-novel engine☆13Apr 30, 2023Updated 3 years ago
- ☆17Updated this week
- RingMUD Java Mud Server and Engine☆20Aug 17, 2020Updated 6 years ago
- Multi-User Dungeon command line game in Java☆20Jan 25, 2011Updated 15 years ago