A game of checkers written using minmax algorithm and alpha-beta pruning.
β50Oct 3, 2024Updated last year
Alternatives and similar repositories for checkers
Users that are interested in checkers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq & Haskell code for Calculating Correct Compilers IIβ12Feb 22, 2022Updated 4 years ago
- π A collection of resources about normalization-by-evaluationβ30Jul 29, 2025Updated 11 months ago
- β11Dec 12, 2021Updated 4 years ago
- Haskell implementation of a version of cubical type theory developed for my master thesisβ16Nov 19, 2022Updated 3 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languagesβ12Nov 13, 2025Updated 7 months ago
- 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.
- β12Sep 4, 2025Updated 10 months ago
- Awesome Agda Programmingβ19Sep 22, 2025Updated 9 months ago
- Git repository for the course Logika v raΔunalniΕ‘tvuβ15Apr 5, 2022Updated 4 years ago
- An interpreter for the While language written in Haskellβ14Mar 26, 2020Updated 6 years ago
- Exercises for EOPL in Haskellβ14Jun 8, 2026Updated last month
- Material for the Agda course at the EUTYPES Summer School '19 in Ohridβ23Sep 3, 2019Updated 6 years ago
- Modern Compiler Implementation in ML, in Haskellβ22May 29, 2021Updated 5 years ago
- miniKanren for interactive tutorials on the webβ34Jun 3, 2025Updated last year
- A monadic approach to static analysis following the methodology of AAMβ18Oct 31, 2015Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Example project of using cabal 2.0`s foreign-library feature to build a haskell library that lets you call haskell code from C/C++.β17Feb 22, 2020Updated 6 years ago
- exercises for the book - the little typerβ21May 15, 2025Updated last year
- llama4_trip_planning_agentβ13Apr 5, 2025Updated last year
- bidirectional type checking algorithms for higher-ranked polymorphismβ45Mar 23, 2022Updated 4 years ago
- VW, Liblinear and StreamSVM compared on webspamβ14Oct 16, 2014Updated 11 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.β29Jul 4, 2020Updated 6 years ago
- Programs that are used in the Cousineau/Mauny booksβ31Jun 22, 2021Updated 5 years ago
- Two attempts at formalizing LΓΆb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/). Write-up atβ¦β26Jun 30, 2023Updated 3 years ago
- He does.β11Jun 4, 2021Updated 5 years ago
- 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.
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4β27Oct 13, 2025Updated 8 months ago
- Repository containing the TextMate grammars used by StackBlitzβ15Oct 7, 2025Updated 9 months ago
- Project content to accompany the Adobe Marketing Summit developer labβ11Jun 15, 2015Updated 11 years ago
- String manipulation tool written in haskellβ29Mar 15, 2024Updated 2 years ago
- The official Cal.com Work Playlist, only on Cal.fmβ13Jun 4, 2026Updated last month
- A Python module to fetch and parse data from GaneshaSpeaks.β11Jun 23, 2018Updated 8 years ago
- Use common pre-trained ML models in Deno!β19Nov 21, 2021Updated 4 years ago
- Code accompanying AES Semantic Audio Conference paper titled "A Dataset and Method for Guitar Solo Detection in Rock Music"β12Jan 18, 2018Updated 8 years ago
- P523 Codeβ30Jan 21, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Scraper built with Scrapy.β18Jun 25, 2026Updated 2 weeks ago
- a web app for clipping parts of a songβ11Sep 20, 2022Updated 3 years ago
- A Mathematics helper for humans π¦β10Jan 7, 2022Updated 4 years ago
- Babysteps blogβ38Jun 22, 2026Updated 2 weeks ago
- Our official design system documentation.β13Mar 23, 2022Updated 4 years ago
- Android Push notifications SDK for IBM Cloud Mobile Servicesβ10Apr 30, 2021Updated 5 years ago
- β10Mar 25, 2015Updated 11 years ago