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☆69Updated 7 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆90Updated last month
- A sample server-side web app with support to run in the Azure App Service☆26Updated 8 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Links to some of my publications☆38Updated last year
- fsharp tutorials: *nix, docker, vim, mono, paket, oh my!☆36Updated 7 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
- Framework for building applications based on the elm architecture.☆60Updated 6 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Automatically derive Elm functions to query servant webservices☆165Updated last year
- Projects for LambdaConf 2015 Haskell web workshop☆63Updated 9 years ago
- Event Sourcing library for Haskell☆106Updated 3 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆105Updated 8 years ago
- Om with Haskell in it☆104Updated 9 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 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
- Create Elm types and JSON decoders from Haskell source.☆115Updated last year
- A small strongly typed language that compiles to Erlang (not JavaScript)☆205Updated 4 years ago
- An implementation of the game "Minesweeper" in Elm.☆20Updated 5 years ago
- ☆72Updated 6 years ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 years ago
- F# port of gigasquid/wonderland-clojure-katas☆72Updated 7 years ago
- Purescript implementation of Elm 0.16's signals modules☆91Updated 6 years ago
- Test monadic programs using state machine based models☆202Updated 3 years ago
- ☆46Updated 8 years ago
- Cookiecutter template for Servant projects☆57Updated 4 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆183Updated 6 years ago
- Running Haskell code on AWS Lambda☆135Updated 8 years ago
- Repository for collaborative Haskell documentation☆208Updated 2 years ago