A desktop Othello/Reversi game with AI built using Rust
☆15Nov 4, 2025Updated 8 months ago
Alternatives and similar repositories for FIA-Othello
Users that are interested in FIA-Othello are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- My git repository of the official SymbolicC++ release☆23Feb 15, 2020Updated 6 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆123Sep 21, 2020Updated 5 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆138Jul 1, 2026Updated 2 weeks ago
- Datalog with support for SMT queries and first-order functional programming☆177Jul 13, 2026Updated last week
- 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 simple ML-like programming language with subtyping and full type inference.☆191Dec 1, 2024Updated last year
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆218Jul 26, 2020Updated 5 years ago
- A demo implementation of a simple dependently-typed language☆625Nov 18, 2024Updated last year
- A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧☆622May 16, 2021Updated 5 years ago
- Official inference framework for 1-bit LLMs☆39,765Updated this week
- Rust parser combinator framework☆10,438Aug 26, 2025Updated 10 months ago
- 🦭 Video/Audio Downloader for Android, based on yt-dlp☆27,714Jun 25, 2026Updated 3 weeks ago
- A cross-platform GUI library for Rust, inspired by Elm☆31,025Updated this week
- Fully automatic censorship removal for language models☆26,529Updated this week
- 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.
- A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs☆21,804Updated this week
- All Algorithms implemented in Rust☆25,930Updated this week
- An Open Source implementation of Notebook LM with more flexibility and features☆35,781Updated this week
- Create stunning demos for free. Open-source, no subscriptions, no watermarks, and free for commercial use. An alternative to Screen Studi…☆39,591Jun 17, 2026Updated last month
- An open-source cross-platform alternative to AirDrop☆85,622Updated this week
- LLM inference in C/C++☆121,053Updated this week
- The API to search, scrape, and interact with the web at scale. 🔥☆153,440Updated this week
- Code for our paper "Barking up the right tree: an approach to search over molecule synthesis DAGs"☆48Apr 30, 2024Updated 2 years ago
- A Javascript-to-Python translation assistant.☆17Jul 2, 2013Updated 13 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A differential theory of radiative transfer☆62Feb 19, 2020Updated 6 years ago
- High-precision TE Annotator☆160Dec 4, 2025Updated 7 months ago
- Haskell program configuration using higher kinded data☆29May 21, 2024Updated 2 years ago
- Correctness of normalization-by-evaluation for STLC☆24Oct 1, 2019Updated 6 years ago
- ☆13Mar 6, 2010Updated 16 years ago
- Windows protocol library, including SMB and RPC implementations, among others.☆805Jul 14, 2026Updated last week
- SharpBox is a C# tool for compressing, encrypting, and exfiltrating data to DropBox using the DropBox API.☆111Jan 20, 2021Updated 5 years ago
- A sample project to accompany a blogpost☆11Oct 17, 2019Updated 6 years ago
- A versatile and interactive package for solving crystal structures from powder diffraction data☆14Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Discontinued - Unofficial modding toolkit for Halo 5☆13Oct 30, 2016Updated 9 years ago
- Splunk Dashboard for CobaltStrike logs☆90Mar 16, 2021Updated 5 years ago
- A translation framework for eliminating definitional equalities in Lean☆15Jun 17, 2026Updated last month
- Hoare Type Theory☆88Mar 17, 2026Updated 4 months ago
- ☆370Apr 13, 2026Updated 3 months ago
- Extended version of the Chemprop framework that allows the calculation of atomistic and molecular Jazzy/Kallisto features.☆16Jan 10, 2025Updated last year
- See https://github.com/bsky-watch/plc-mirror instead☆14Nov 18, 2024Updated last year