deepakjois / hs-logo
Logo turtle graphics interpreter in Haskell
☆20Updated 10 years ago
Alternatives and similar repositories for hs-logo:
Users that are interested in hs-logo are comparing it to the libraries listed below
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A Haskell API into HTML5 Canvas☆71Updated last month
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 6 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskell☆61Updated 7 months ago
- Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
- Combinators for bidirectional JSON parsing☆21Updated 10 years ago
- Haskell binding to inotify☆31Updated this week
- Because Kmett is not expressive enough. You need CoKmett!☆35Updated 11 years ago
- A very fast Haskell library for generating high quality pseudo-random numbers.☆55Updated last month
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- λtext - higher-order file applicator☆36Updated last year
- Cookbook for working with Nix☆14Updated 10 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- Diffing of (expression) trees.☆77Updated last month
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 8 months ago
- List monad transformer☆60Updated 9 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A very general logging effect for Haskell☆60Updated 9 months ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- library to manipulate git repositories in haskell (no bindings)☆49Updated 6 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 4 months ago
- a simple functional language for learners☆30Updated 8 years ago
- Ragged writings on all things☆15Updated 3 years ago
- ☆33Updated 9 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago
- 2048 in Idris☆121Updated 7 years ago