Felienne / Quarto
This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie
☆14Updated 8 years ago
Related projects: ⓘ
- Completed and proposed katas to complete☆67Updated 6 years ago
- A sample server-side web app with support to run in the Azure App Service☆26Updated 8 years ago
- Framework for building applications based on the elm architecture.☆60Updated 6 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆105Updated 7 years ago
- [ARCHIVED] This is the archive of an older F# docker image repository. Now use https://hub.docker.com/_/microsoft-dotnet☆77Updated 3 years ago
- The official supporting materials repository for LambdaConf 2015.☆90Updated 9 years ago
- fsharp tutorials: *nix, docker, vim, mono, paket, oh my!☆36Updated 6 years ago
- ☆37Updated 8 months ago
- Slides from my recent talks on data science, data journalism, F#, programming language research and philosophy.☆90Updated 10 months ago
- Slides and sources from LambdaCon 2015 edition.☆43Updated 4 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆184Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆131Updated 5 years ago
- A library for programming with Algebraic Effects in F#☆96Updated 6 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 9 years ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆140Updated 3 years ago
- This is the training material for my hands-on 3 hour "Domain Modelling in F#" session.☆31Updated 9 years ago
- A logic programming library for F#☆45Updated 9 years ago
- Projects for LambdaConf 2015 Haskell web workshop☆63Updated 9 years ago
- This is an umbrella development repository for Cloud Haskell☆72Updated 5 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆59Updated 7 years ago
- Exercises from the readers of the Haskell Book☆55Updated 5 years ago
- Purescript implementation of Elm 0.16's signals modules☆91Updated 6 years ago
- ☆40Updated 5 years ago
- Examples from my "Refactoring F#" talk.☆24Updated 8 years ago
- Om with Haskell in it☆104Updated 9 years ago
- F# DeepDives☆63Updated 9 years ago
- Advent of Code 2017☆41Updated 5 years ago
- Archive of F# Language Bindings for Open Editors☆308Updated 6 years ago
- Running Haskell code on AWS Lambda☆135Updated 8 years ago
- DSLs in Action samples in Java, Groovy, Ruby, Clojure and Scala, translated to F#☆191Updated 2 years ago