## worldturtle

LOGO-like Turtle Graphics in the Haskell language using Monads. (by aneilmac)

## disco

Functional teaching language for use in a discrete mathematics course (by disco-lang)

worldturtle | disco | |
---|---|---|

1 | 1 | |

4 | 158 | |

- | 0.0% | |

3.2 | 6.7 | |

over 2 years ago | 10 days ago | |

Haskell | TeX | |

BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |

The number of

For example, an activity of

**mentions**indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.**Stars**- the number of stars that a project has on GitHub.**Growth**- month over month growth in stars.**Activity**is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.For example, an activity of

**9.0**indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.## worldturtle

Posts with mentions or

**reviews of worldturtle**. We have used some of these posts to build our list of alternatives and similar projects.-
FD 100 – A Single Line of Code That Changed My World
You can think of it that way, but you can also think of a Logo program as a purely functional computation that follows the monad laws. Here's a Haskell package that implements it: https://github.com/aneilmac/worldturtle-haskell#readme

## disco

Posts with mentions or

**reviews of disco**. We have used some of these posts to build our list of alternatives and similar projects.-
Is there a library for an eDSL for algebra expressions with an advanced simplifier?
Tangential, but just wanted to mention disco lang in this context, but it only handles rational numbers afaik.

## What are some alternatives?

When comparing worldturtle and disco you can also consider the following projects:

**lambda-calculator**
- An introduction to the Lambda Calculus

**hgeometry**
- HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

**xturtle**