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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Canopy testing framework for mobile apps☆16Sep 18, 2018Updated 8 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Implementation of the Metropolis algorithm in the Rust programming language☆21May 12, 2019Updated 7 years ago
- Typesafe, composable SQL in haskell - Talk given at BFPG 2015-09☆11Sep 12, 2015Updated 11 years ago
- Sample for Vagrant☆12Oct 2, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- F# package for Sublime 2 text editor☆12Jan 25, 2013Updated 13 years ago
- The TodoMVC app written in F#, using Fable, Elmish and Fulma.☆18Nov 11, 2018Updated 7 years ago
- A Real World Business Application using F# and Suave☆91May 14, 2023Updated 3 years ago
- ☆40Apr 26, 2012Updated 14 years ago
- Completed and proposed katas to complete☆71Dec 22, 2017Updated 8 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- Run a command and report to Riemann☆14May 11, 2018Updated 8 years ago
- ☆13Sep 8, 2013Updated 13 years ago
- ReactConf Colombia 2020☆11Oct 12, 2019Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A decorater-based backport of PEP-3107 function annotations to Python 2.7, and related tools☆13Feb 19, 2013Updated 13 years ago
- A small virtual machine with focus on educating others about virtual machines☆31Apr 27, 2015Updated 11 years ago
- ☆14Jul 4, 2015Updated 11 years ago
- Перевод C++11 FAQ Бьярне Страуструпа☆17Jan 18, 2014Updated 12 years ago
- A library for modifying .NET assemblies.☆38Jan 21, 2014Updated 12 years ago
- notes from iclc workshop☆11Apr 21, 2016Updated 10 years ago
- Lightweight F# library for Suave.io web server using Razor engine adding some extra features like template composing, custom return codes…☆22Mar 2, 2018Updated 8 years ago
- Trace any method in any assembly in any (live) .NET process!☆11Mar 3, 2016Updated 10 years ago
- Message Broker over QUIC☆12Oct 28, 2023Updated 3 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.
- L'AGC : retour sur l'ordinateur qui a amené l'humanité sur la Lune☆16May 23, 2024Updated 2 years ago
- Copy-on-write fork()-like memory dump using Process Snapshotting APIs☆13Jul 23, 2017Updated 9 years ago
- A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelf…☆18Jul 15, 2021Updated 5 years ago
- Search engine for subtitles☆10Mar 28, 2015Updated 11 years ago
- CFDG interpreter in Javascript☆12Jan 14, 2013Updated 13 years ago
- Process Illumina instrument data into SAM/BAM/CRAM files.☆10Jul 6, 2026Updated 3 months ago
- A Halogen rendering library for purescript-markdown☆10Feb 28, 2018Updated 8 years ago
- Mono.Cecil object model explorer☆13Sep 1, 2016Updated 10 years ago
- A very simple implementation of a little dependently typed language☆11Aug 30, 2012Updated 14 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- generating workflows with XML and XSLT☆11Mar 15, 2015Updated 11 years ago
- unite.vim source for haddock☆12May 10, 2014Updated 12 years ago
- ☆13Mar 20, 2018Updated 8 years ago
- Prototypes for network and IO over Rx.☆22Jan 4, 2016Updated 10 years ago
- This extension allows that bindings can define scopes. All dependencies can now define that they want to use this instance as their scop…☆17Oct 23, 2017Updated 9 years ago
- Simple example of calling Python from Scala using Jep inside an SBT build environment.☆12Nov 11, 2012Updated 13 years ago
- such Conway's Game of Life, very dogescript☆15Apr 4, 2014Updated 12 years ago