Type-safe tic-tac-toe using Typesafe programming in Haskell
☆15Sep 1, 2017Updated 8 years ago
Alternatives and similar repositories for Type-Tac-Toe
Users that are interested in Type-Tac-Toe are comparing it to the libraries listed below
Sorting:
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 6 years ago
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- Extends stdenv.mkDerivation based builds with a distributed build cache on Amazon S3.☆25Feb 6, 2021Updated 5 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated last month
- Use Emacs to highlight source code listings in LaTeX and HTML documents!☆18Feb 14, 2023Updated 3 years ago
- Extensible HTTP Web server configured entirely by a yaml file☆25Dec 14, 2017Updated 8 years ago
- Haskell data types and functions for countries☆28Mar 7, 2025Updated 11 months ago
- ☆24Jan 23, 2017Updated 9 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- A database migration library for Haskell☆22Jun 13, 2017Updated 8 years ago
- it's a starcraft clone but with a dope typesystem☆51Apr 7, 2020Updated 5 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Pragmatic functional programming language☆10Dec 26, 2016Updated 9 years ago
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Exploration of the Free monad without point☆11Oct 23, 2016Updated 9 years ago
- Simple schema migration manager for Haskell☆14Jan 26, 2021Updated 5 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- I use Makefile as a sort of command dispatcher/secondary memory, this is a repo of the common ones I keep reusing☆17Jun 8, 2018Updated 7 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- Interval Arithmetic☆27Jan 23, 2025Updated last year
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- Bitcoin CLI tools: Haskell port of Sx using Haskoin☆12Nov 2, 2015Updated 10 years ago
- Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Sep 29, 2019Updated 6 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- Quake 3 map viewer in Haskell using LambdaCube 3D☆70Jan 12, 2023Updated 3 years ago
- Composable monadic short-circuiting streaming folds☆19Mar 28, 2018Updated 7 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- A utility library for the purescript foreign function interface☆21Jun 12, 2018Updated 7 years ago
- Lean Tutorials☆46Oct 4, 2020Updated 5 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Updated this week