deepakjois / hs-logoLinks
Logo turtle graphics interpreter in Haskell
☆20Updated 11 years ago
Alternatives and similar repositories for hs-logo
Users that are interested in hs-logo are comparing it to the libraries listed below
Sorting:
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
 - A Haskell API into HTML5 Canvas☆72Updated 5 months ago
 - Source material for "Functional Pearl: Getting a Quick Fix on Comonads"☆46Updated 7 years ago
 - Haskell library containing isotopic masses and relative abundances for elements from Hydrogen to Bismuth and Thorium and Uranium (excludi…☆16Updated 6 years ago
 - Ragged writings on all things☆15Updated 3 years ago
 - Classic games recreated in netwire☆95Updated 8 years ago
 - A book about large-scale design in Haskell☆75Updated 11 years ago
 - A game about exponential growth written in Haskell☆31Updated 9 years ago
 - Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
 - it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
 - A Dockerfile to build a development environment for Android version of Epidemic.☆31Updated 9 years ago
 - Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
 - Describe Haskell code in GHCi☆72Updated 8 years ago
 - Companion code to the talk "Finite Flights on an Infinite Plane" (http://www.meetup.com/santa-monica-haskell/events/227156054/)☆15Updated 5 months ago
 - Companion code for "Why Dependent Types Matter" paper.☆60Updated 7 years ago
 - Combinators for bidirectional JSON parsing☆21Updated 11 years ago
 - Haskell tool to generate expressions from types☆101Updated 8 years ago
 - A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆70Updated 3 months ago
 - Agda-style equational reasoning in Haskell☆54Updated 6 months ago
 - A tool for caching cabal builds in a Nix store☆33Updated 9 years ago
 - a simple functional language for learners☆30Updated 8 years ago
 - 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
 - The proof of undecidability of halting problem, using the model -- WHILE language.☆21Updated 5 years ago
 - Units of measure as a GHC typechecker plugin☆31Updated 3 years ago
 - A wiki based on firm theoretical foundations☆51Updated 9 years ago
 - being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
 - Haskell binding for Chipmunk, 2D physics engine.☆22Updated 10 years ago
 - Haskeline wrapper for GHCi-like REPL interfaces☆106Updated 5 months ago
 - Classes for types where we know all the values☆39Updated 10 months ago
 - A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtd…☆71Updated 6 years ago