haskell-road2

Source code from The Haskell Road to Logic, Maths and Programming

Stars

3

Forks

3

Language

Haskell

Last Updated

Sep 01, 2021

Similar Repos
Repo Language Stars Description Updated At
Haskell 3 Constraint Logic Programming for Haskell Mar 30, 2021
Rust 40 Source code and logic to build OpenSSL from source Aug 03, 2022
Haskell 3 Code from "Haskell Programming from First Principles" Oct 17, 2018
Haskell 76 Search Haskell source code from the command line Aug 21, 2022
Haskell 83 :deciduous_tree: Crossing the road between Haskell and Elm Nov 01, 2022
Java 7 Source code of the X-Road software Sep 02, 2019
Haskell 26 From the book "Haskell Programming from first principles" Sep 01, 2022
Haskell 2 Exercises from "Haskell Programming" Jul 30, 2016
JavaScript 71 The Source Code for "The Road to React" Book Aug 17, 2022
Haskell 2 Code examples from Programming Collective Intelligence rewritten in Haskell Feb 14, 2020
Haskell 4 Notes and exercises from the "Haskell Programming from first principles" book Mar 16, 2023
Haskell 119 Source Code from "Making Music with Haskell" video Sep 09, 2022
Java 4 Digitraffic road metadata and data services source code repository Dec 14, 2022
Haskell 2 Drawing various maths problems using Haskell and its OpenGL api Apr 04, 2019
Haskell 4 haskell source code formatter Jan 13, 2022
Haskell 1311 Haskell source code suggestions Oct 19, 2022
Haskell 685 haskell source code formatter Mar 11, 2023
Haskell 24 Haskell source code formatter Oct 17, 2022
Haskell 80 haskell source code visualizer May 22, 2023
C++ 3 Source code from various competitive programming platforms and contests Nov 16, 2022
Haskell 3 Exercises from Haskell Programming From First Principles Feb 21, 2020
JavaScript 414 The Source Code for "The Road to learn React" E-Book Aug 29, 2022
Coq 279 Convert Haskell source code to Coq source code Feb 13, 2023
Coq 69 Convert Haskell source code to Coq source code. May 16, 2023
Jupyter Notebook 11 Source Code of the ROAD benchmark for feature attribution methods Apr 05, 2023
Haskell 6 Exercises and solutions from the book Haskell Programming from First Principles (http://haskellbook.com) Sep 04, 2021
JavaScript 16 Source code from Apache Cordova 4 Programming Jan 28, 2023
JavaScript 24 Source code from Apache Cordova 3 Programming Jan 28, 2023
C 28 Chess programming projects' source code from YouTube Aug 01, 2022
Haskell 3 Programming problems from rubyquiz.com in Haskell Apr 26, 2023
Clojure 3 The Road to Reality essay and newsletter source. Jan 29, 2023
Haskell 2 Exercises from Thompson's "Haskell: The Craft of Functional Programming" May 25, 2019
Haskell 2 Solutions to the book Haskell Programming from first principles. Apr 06, 2023
Haskell 7 CircuitHub's Haskell source code formatter Jan 23, 2022
Shell 45 Real World Haskell Source Code Feb 22, 2023
Rust 35 Logic programming, for Rust, from inside Rust. Mar 02, 2023
Haskell 316 Sample code to accompany the book "Parallel and Concurrent Programming in Haskell" Jul 18, 2022
Mercury 749 The Mercury logic programming system. Aug 21, 2022
Java 454 Source code of the X-Road® data exchange layer software Aug 17, 2022
Portugol 3 👨‍🚀 Estudonauta: Exercises and challenges from the Estudonauta Programming logic course - Portugol Studio. Mar 11, 2023
Rust 9 Port of the code from Typing Haskell in Haskell to Rust Sep 21, 2021
Haskell 2 Haskell implementation of "The Hardest Logic Puzzle Ever" Dec 05, 2019
Go 5 The Go Programming Language source code Jan 09, 2023
Haskell 2 Exercises in "Haskell Programming from first principles" Mar 20, 2020
Haskell 13 Haskell module for parsing of Go source code, forked from Hackage Dec 16, 2021
Haskell 764 A formatter for Haskell source code Aug 26, 2022
Emacs Lisp 31 A formatter for Haskell source code May 10, 2022
Vim script 37 Plugin for formatting Haskell source code Feb 27, 2023
Haskell 2 Haskell source code for maximilian-huber.de Mar 12, 2021
C++ 4 Official source code of Lightning Road To Liquid Radiator May 24, 2021