haskell-programming

There are 1 repository under haskell-programming topic.

• raviksharma / bartosz-basics-of-haskell

  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

  haskellfunctional-programmingtutorialhaskell-programmingexercisesinterpreter
  Language:Haskell 490

• evturn / haskellbook

  Solutions to exercises from the book Haskell Programming

  haskell-programminghaskellbookhaskellfunctorapplicativemonadparser-combinatorsmonad-transformersalgebraic-data-typesabstract-data-typesnewtypesolutionsmonoidsemigroupproduct-typesum-typesfoldabletraversablehaskell-book
  Language:Haskell 26

• glebec / haskell-programming-allen-moronuki

  Personal notes for learning Haskell through Chris Allen and Julie Moronuki's book

  haskell-programminghaskellbookexerciseshpffp
  Language:Haskell 12

• mukeshsoni / haskell-programming-book

  Haskell book exercises - http://haskellbook.com/

  haskell-bookhaskellexercisesassignmenthaskell-programming
  Language:Haskell 12

• spidermoy / OnTheFly_ModelChecking

  Efficient On-the-Fly Model Checking for LTL and CTL★.

  model-checkingltlctlctl-formulaslinear-temporal-logiccomputation-tree-logichaskellhaskell-programmingcomputer-sciencelogiccomputational-logicformal-verificationformal-methods
  Language:Haskell 5

• carlosmaniero / Hue

  (under development) Hue - Haskell Update Ecosystem

  haskellhaskell-programmingelm
  Language:Haskell 1

• osrecki / programming-in-haskell

  haskellhaskell-programming
  Language:Haskell 1

• chaitanyabaranwal / Haskell_Solutions

  Solutions of exercises from the book "Haskell Programming from First Principles"

  haskellhaskell-learninghaskell-bookhaskell-languagehaskell-programming
  Language:Haskell 0

• ChasingTheDream369 / Frequency-Scheming-for-Tortoise-Nuclear-Weapon

  🐢💥Welcome to the Tortoise Nuclear Weapon Frequency Scheming Repo! 🐢💥 We're leveraging Haskell's functional prowess to optimize frequency management for our weapon systems. Dive into our mathematically-driven code, QuickCheck tests, and type class implementations. Join us in this journey of innovation! 💣📈📚

  functional-programminghaskell-programmingmathematical-specificationsnuclear-weapon-frequency-schemingquickcheck-testingtype-class-implementations
  Language:Haskell

• chengzh2008 / hpffp

  Reading notes for Haskell Programming From First Principles

  haskell-programminghaskellhaskell-bookhaskell-exercises
  Language:Haskell

• estraviz / haskellbook

  My solutions to the exercises of the "Haskell Programming from First Principles" book

  exerciseshaskellhaskell-programminghaskellbook
  Language:Haskell

• masfranzhuo / haskell_guess_number_game

  Haskell Guess Number Game

  haskellhaskell-applicationhaskell-exerciseshaskell-gamehaskell-languagehaskell-learninghaskell-progamhaskell-programminglearn-haskell
  Language:Haskell