Five-in-a-Row online with Haskell and Server-sent Events
☆32Jun 17, 2016Updated 10 years ago
Alternatives and similar repositories for tfoo
Users that are interested in tfoo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic boilerplate for snap using OpenId, Digestive Functors, Etc.☆18Aug 12, 2013Updated 13 years ago
- for lstoll to work his magic on.☆18Jul 10, 2011Updated 15 years ago
- Merge sort correctness proof☆11May 21, 2015Updated 11 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 9 years ago
- An example of back-propagation implemented in Haskell.☆26Nov 7, 2014Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for the CUFP 2011 Snap Framework Tutorial☆21Apr 15, 2013Updated 13 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- Smuggle arbitrary values in ()☆12Apr 18, 2023Updated 3 years ago
- Disproof of the Aharoni–Korman conjecture☆12Dec 1, 2025Updated 9 months ago
- 👃 Mock your records of functions with ease☆14Feb 13, 2020Updated 6 years ago
- Make presentations for data types☆25Oct 21, 2021Updated 4 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- 📚 - Resources for Machine Learning and Haskell☆27Nov 14, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Dec 3, 2023Updated 2 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- The sublibrary of Mathlib dedicated to additive combinatorics☆19Updated this week
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 7 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 5 years ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 7 months ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 9 years ago
- Faker is pure Haskell library for generating fake data.☆46Nov 6, 2022Updated 3 years ago
- Bridgewalker server component☆26Mar 15, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Haskell helpers for deploying to Heroku☆18Jun 30, 2015Updated 11 years ago
- This installs a Snap web app on Heroku.☆17Nov 30, 2022Updated 3 years ago
- A Demo of how to use Warp and SO_REUSEPORT to create a zero downtime deploy.☆49Oct 17, 2016Updated 9 years ago
- An FRP-based game engine written in Haskell.☆15Sep 5, 2014Updated 11 years ago
- [UNMAINTAINED] A Yesod/Haskell based CMS☆21Nov 18, 2014Updated 11 years ago
- ☆27May 6, 2024Updated 2 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆25May 7, 2026Updated 3 months ago
- A Heroku buildpack using Nix.☆13Mar 28, 2017Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Haskell Standard Input and Output☆46May 13, 2018Updated 8 years ago
- Various cabal query commands wrapped in a simple CLI tool☆18Nov 24, 2017Updated 8 years ago
- HackerNews API☆40Dec 14, 2024Updated last year
- ANCIENT REPO. ARCHIVED. A Heroku buildpack for Haskell/Cabal applications☆20May 27, 2022Updated 4 years ago
- Make your Haskell git repositories fashionable.☆55May 12, 2018Updated 8 years ago
- Forth clone in Haskell☆32Jun 14, 2017Updated 9 years ago
- Code for the sc2blog Snap project, given as an example at the Unmeetup presentation☆17Jun 23, 2012Updated 14 years ago