dovin

A proof-assistant for Possibility Storm-style problems for Magic: The Gathering (by xaviershay)

Dovin Alternatives

Similar projects and alternatives to dovin based on common topics and language

  • GitHub repo Carp

    A statically typed lisp, without a GC, for real-time applications.

  • GitHub repo dunai

    Classic and Arrowized Functional Reactive Programming, Reactive Programming, and Stream programming, all via Monadic Stream Functions

  • GitHub repo haskell-snake

    Snake game implemetation in Haskell using SDL2

  • GitHub repo lazyboy

    An EDSL implemented in Haskell for programming the Nintendo Game Boy.

  • GitHub repo monpad

    A fully-customisable web-based gamepad, designed to be used from smartphones.

  • GitHub repo hcheckers

    HCheckers is a relatively simple implementation of checkers board game (also known as "draughts")

  • GitHub repo games

    :video_game: A list of popular/awesome video games, add-ons, maps, etc. hosted on GitHub. Any genre. Any platform. Any engine.

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better dovin alternative or higher similarity.

Posts

Posts where dovin has been mentioned. We have used some of these posts to build our list of alternatives and similar projects.

We don't know posts mentioning dovin yet. We started tracking mentions in Dec 2020.

Stats

Basic dovin repo stats
0
3
7.6
2 months ago

xaviershay/dovin is an open source project licensed under BSD 3-clause "New" or "Revised" License which is an OSI approved license.