worldturtle
LtuPatternFactory
Our great sponsors
worldturtle | LtuPatternFactory | |
---|---|---|
1 | 1 | |
4 | 977 | |
- | - | |
3.2 | 0.0 | |
about 2 years ago | 3 months ago | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | Apache License 2.0 |
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
-
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
LtuPatternFactory
-
design patterns
You can have a look at this for a beginning primer https://github.com/thma/LtuPatternFactory
What are some alternatives?
lambda-calculator - An introduction to the Lambda Calculus
r5rs-denot - A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
disco - Functional teaching language for use in a discrete mathematics course
validation-selective - 💂♂️ Lightweight pure validation based on Applicative and Selective functors
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.
rzk - An experimental proof assistant based on a type theory for synthetic ∞-categories.
xturtle
discokitty - An educational implementation of some aspects of the DisCoCat framework
monad-metrics-extensible - Type-safe and extensible metrics monad over ekg
design-patterns - Design large-scale systems / 2022 / Design Patterns: Behavioral, Creational, Structural, etc. @ S.Leschev. Google Engineering Level: L6+
tagged-identity - Trivial monad transformer that allows identical monad stacks have different types
categorifier - Interpret Haskell programs into any cartesian closed category.