#

haskell-programming

Here are 12 public repositories matching this topic...

chengzh2008 / hpffp

Reading notes for Haskell Programming From First Principles

haskell haskell-book haskell-programming haskell-exercises

Updated Feb 3, 2018
Haskell

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-programming haskell-programming nuclear-weapon-frequency-scheming mathematical-specifications quickcheck-testing type-class-implementations

Updated Sep 1, 2023
Haskell

chaitanyabaranwal / Haskell_Solutions

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

haskell haskell-language haskell-book haskell-learning haskell-programming

Updated Jun 24, 2019
Haskell

masfranzhuo / haskell_guess_number_game

Haskell Guess Number Game

haskell haskell-language haskell-learning haskell-programming haskell-exercises haskell-game haskell-application haskell-progam learn-haskell

Updated Aug 17, 2023
Haskell

estraviz / haskellbook

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

haskell exercises haskellbook haskell-programming

Updated Feb 26, 2021
Haskell

carlosmaniero / Hue

(under development) Hue - Haskell Update Ecosystem

haskell elm haskell-programming

Updated Jan 17, 2018
Haskell

osrecki / programming-in-haskell

haskell haskell-programming

Updated Mar 11, 2018
Haskell

spidermoy / OnTheFly_ModelChecking

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

computer-science haskell logic ltl model-checking formal-methods ctl formal-verification computational-logic linear-temporal-logic computation-tree-logic haskell-programming ctl-formulas

Updated Dec 21, 2019
Haskell

mukeshsoni / haskell-programming-book

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

haskell assignment exercises haskell-book haskell-programming

Updated Dec 26, 2018
Haskell

glebec / haskell-programming-allen-moronuki

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

haskell book exercises haskell-programming hpffp

Updated Aug 8, 2019
Haskell

evturn / haskellbook

Solutions to exercises from the book Haskell Programming

haskell parser-combinators solutions algebraic-data-types monad functor monoid semigroup abstract-data-types monad-transformers applicative traversable sum-types haskell-book foldable haskellbook newtype haskell-programming product-type

Updated Aug 18, 2021
Haskell

raviksharma / bartosz-basics-of-haskell

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

haskell tutorial interpreter functional-programming exercises haskell-programming

Updated Jan 10, 2021
Haskell

Improve this page

Add a description, image, and links to the haskell-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the haskell-programming topic, visit your repo's landing page and select "manage topics."