duobei Goto Github PK

beijing-exercises

Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023

beta_curriculum

coding-haskell

Katas at Codewars

course

Functional Programming Course

dune

A composable build system for OCaml.

duobei

duobei.github.io

A gem-based responsive simple texture styled Jekyll theme.

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

elixirschool

The content behind Elixir School

ex_audit

Ecto auditing library that transparently tracks changes and can revert them.

exercises

Exercises for the Haskell Beginners 2022 course

firehose

haskell-challenges

Code challenges to solve with Haskell

haskell-course

This course is designed to teach students Haskell from zero to everything needed to work with Marlowe and Plutus. The course itself doesn't contain content specific to Marlowe or Plutus. So, if you want to use it to learn Haskell for other purposes, you can! 😃

haskell-resources

A List of Foundational Haskell Papers

hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

ifl-tut

incubator-pekko

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

katas

learn-tt

A collection of resources for learning type theory.

learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

live_beats

memory-usage-zurihac-2021

ocaml-style

A style guide for OCaml

optics

Optics as an abstract interface

optics-zurihac-2021

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

parconc-examples

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

persistent

Persistence interface for Haskell allowing multiple storage methods.