Felienne / Quarto
This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
☆14Updated 9 years ago
Alternatives and similar repositories for Quarto:
Users that are interested in Quarto are comparing it to the libraries listed below
- Completed and proposed katas to complete☆70Updated 7 years ago
- fsharp tutorials: *nix, docker, vim, mono, paket, oh my!☆36Updated 7 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- [ARCHIVED] This is the archive of an older F# docker image repository. Now use https://hub.docker.com/_/microsoft-dotnet☆76Updated 3 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆90Updated 2 months ago
- A sample server-side web app with support to run in the Azure App Service☆26Updated 8 years ago
- Elm + F#☆16Updated 8 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Updated 9 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆105Updated 8 years ago
- Links to some of my publications☆38Updated this week
- Framework for building applications based on the elm architecture.☆60Updated 6 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 3 years ago
- Sample application written in Suave.IO☆71Updated 7 years ago
- ☆25Updated 5 years ago
- Collection of F# snippets☆40Updated 11 months ago
- Examples from my "Refactoring F#" talk.☆24Updated 8 years ago
- Vim runtime files for F# (fsharp)☆44Updated 10 years ago
- F# port of gigasquid/wonderland-clojure-katas☆72Updated 8 years ago
- This is the training material for my hands-on 3 hour "Domain Modelling in F#" session.☆31Updated 10 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 9 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- A Real World Business Application using F# and Suave☆90Updated last year
- Functional Reactive Programming for F#☆18Updated 6 years ago
- Event Sourcing library for Haskell☆106Updated 3 years ago
- A logic programming library for F#☆46Updated 9 years ago
- A type-level logic programming language embedded in F#☆32Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- A lightweight framework for reactive programming☆16Updated 8 years ago