This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
☆14Nov 22, 2015Updated 10 years ago
Alternatives and similar repositories for Quarto
Users that are interested in Quarto are comparing it to the libraries listed below
Sorting:
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Sep 30, 2015Updated 10 years ago
- ☆11Jun 23, 2022Updated 3 years ago
- Haskell integration for Visual Studio☆22Aug 10, 2014Updated 11 years ago
- UI for generating simple chord diagrams for guitar, bass and piano☆13Aug 22, 2025Updated 6 months ago
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Jul 23, 2017Updated 8 years ago
- Python neighbor-joining library. Goal: Efficient O(n^2) neighbor-joining algorithm.☆12May 5, 2014Updated 11 years ago
- Materials and presentation for my OpenF# 2019 talk titled 'An introduction to profiling and performance analysis in .NET Core 3'☆12Dec 8, 2022Updated 3 years ago
- a simple lightweight workflow engine for data analysis scripting☆11Sep 5, 2019Updated 6 years ago
- ☆26Dec 16, 2025Updated 2 months ago
- ☆13Jan 24, 2024Updated 2 years ago
- Basic, no assumptions, multi-pileup☆24Mar 26, 2014Updated 11 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- ☆10Jan 12, 2022Updated 4 years ago
- Process Illumina instrument data into SAM/BAM/CRAM files.☆10Jan 5, 2026Updated last month
- Set of tools for viral metagenomics.☆14Jan 21, 2026Updated last month
- RndPhrase: Auto-generated secure passwords.☆21May 4, 2016Updated 9 years ago
- Energy system for social games☆30Jun 24, 2014Updated 11 years ago
- repository for scratch code☆14Jun 21, 2016Updated 9 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- This is archive.cfgmtmcamp.eu ... the new site lives on https://github.com/cfgmgmtcamp/cfgmgmtcamp.eu☆12Dec 2, 2018Updated 7 years ago
- ☆19Dec 20, 2016Updated 9 years ago
- OpenSCAD DSL for OCaml☆15Oct 4, 2022Updated 3 years ago
- Find how to pronounce words by breaking them up into their phones.☆24Jul 7, 2017Updated 8 years ago
- Unity Stealth Project Update☆13Jun 13, 2025Updated 8 months ago
- Search engine for subtitles☆10Mar 28, 2015Updated 10 years ago
- An RSS/Atom feed reader that runs on your laptop or on almost any free hosting provider or server.☆11Jun 24, 2023Updated 2 years ago
- Utility to compute number of mandates based on election results, uting D'Hondt method☆11Sep 6, 2013Updated 12 years ago
- All in pursuit of ICorDebugModule2::ApplyChanges...☆11Mar 15, 2016Updated 9 years ago
- A powerful GUI based cryptocurrency miner☆10Jun 2, 2018Updated 7 years ago
- Prototypes for network and IO over Rx.☆24Jan 4, 2016Updated 10 years ago
- ☆12May 20, 2022Updated 3 years ago
- This project shows how to use ReactiveUI to create a reactive viewmodel for a program that shows the Twitter user's timeline every 15 sec…☆12Feb 18, 2017Updated 9 years ago
- Galaxy Quest game☆11Oct 21, 2018Updated 7 years ago
- Provides easy read/write access to genomic tracks☆22Mar 18, 2016Updated 9 years ago
- ☆10Mar 7, 2018Updated 7 years ago
- such Conway's Game of Life, very dogescript☆15Apr 4, 2014Updated 11 years ago
- Efficient, concise stream data processing.☆12Jul 22, 2015Updated 10 years ago
- ☆29Jan 27, 2016Updated 10 years ago
- ☆14May 10, 2020Updated 5 years ago