Felienne / QuartoLinks
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
Sorting:
- Completed and proposed katas to complete☆71Updated 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 10 years ago
- Framework for building applications based on the elm architecture.☆60Updated 6 years ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆91Updated last month
- Slides and sources from LambdaCon 2015 edition.☆43Updated 5 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
- Projects for LambdaConf 2015 Haskell web workshop☆63Updated 9 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Code and other projects for the Berlin Functional Programming Group.☆43Updated 7 years ago
- A sample server-side web app with support to run in the Azure App Service☆26Updated 9 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆105Updated 8 years ago
- Om with Haskell in it☆104Updated 10 years ago
- experimental library for Arrowized FRP in Elm☆41Updated 8 years ago
- F# port of gigasquid/wonderland-clojure-katas☆72Updated 8 years ago
- Advent of Code 2017☆41Updated 6 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆60Updated 8 years ago
- A small strongly typed language that compiles to Erlang (not JavaScript)☆204Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆50Updated 10 years ago
- Asteroids for a web browser, in PureScript☆44Updated 10 years ago
- Links to some of my publications☆39Updated 4 months ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- experiments with @robkuz LimitedValue type☆71Updated 5 years ago
- Code from the book "Purely Functional Data Structures" by Chris Okasaki (both original and my own solutions to the exercises, in Haskell)☆35Updated 15 years ago
- Haskell plugin for LightTable☆114Updated 10 years ago
- A Common Intermediate Language backend for Idris 1☆133Updated 6 years ago
- Running Haskell code on AWS Lambda☆136Updated 8 years ago
- A Real World Business Application using F# and Suave☆90Updated 2 years ago
- μKanren in Elm☆43Updated 8 years ago
- Purescript implementation of Elm 0.16's signals modules☆91Updated 7 years ago