zkourouma's Stars
EbookFoundation/free-programming-books
:books: Freely available programming books
jlevy/the-art-of-command-line
Master the command line, in one page
prakhar1989/awesome-courses
:books: List of awesome university courses for learning Computer Science!
carbon-app/carbon
:black_heart: Create and share beautiful images of your source code
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
bitemyapp/learnhaskell
Learn Haskell
exercism/exercism
Crowd-sourced code mentorship. Practice having thoughtful conversations about code.
gcanti/io-ts
Runtime type system for IO decoding/encoding
TheLocehiliosan/yadm
Yet Another Dotfiles Manager
dhall-lang/dhall-lang
Maintainable configuration files
system-f/fp-course
Functional Programming Course
tech-conferences/confs.tech
Frontend for https://confs.tech
vmbrasseur/Public_Speaking
A repository of resources about public speaking, specifically in the context of software development and IT conferences.
plfa/plfa.github.io
An introduction to programming language theory in Agda
haskell/aeson
A fast Haskell JSON library
pcapriotti/optparse-applicative
Applicative option parser
qfpl/applied-fp-course
Applied Functional Programming Course - Move from exercises to a working app!
spulec/uncurl
A library to convert curl requests to python-requests.
agda/agda-stdlib
The Agda standard library
pushcx/hpffp-resources
Haskell Programming From First Principles - Follow-up Resources
fimad/scalpel
A high level web scraping library for Haskell.
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
strangeloop/StrangeLoop2014
Strange Loop 2014 archives
strangeloop/StrangeLoop2017
Strange Loop 2017
strangeloop/StrangeLoop2015
strangeloop/StrangeLoop2018
Strange Loop 2018 resources
strangeloop/StrangeLoop2016
Strange Loop 2016
dylnb/esslli2015-monads
materials for ESSLLI 2015 course: Monads and Natural Language
anup-the-magic/haskell-gaming