hmemcpy / milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
☆11,117Updated last month
Alternatives and similar repositories for milewski-ctfp-pdf:
Users that are interested in milewski-ctfp-pdf are comparing it to the libraries listed below
- What I Wish I Knew When Learning Haskell☆2,583Updated 2 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,197Updated 4 months ago
- Functional Programming Course☆4,153Updated last month
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,259Updated last week
- Learn Haskell☆7,993Updated last year
- Programming Language Theory λΠ☆5,255Updated last month
- A friendly programming language from the future☆5,867Updated this week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,356Updated 4 years ago
- Blog post previews in need of peer review☆2,199Updated last year
- ☆3,430Updated 3 years ago
- A free book: "The Science of Functional Programming"☆1,417Updated this week
- A Dependently Typed Functional Programming Language☆3,437Updated 5 months ago
- Maintainable configuration files☆4,253Updated this week
- A modern editor with a backend written in Rust.☆19,813Updated 9 months ago
- Haskell 101 and 102: slides and codelabs☆1,399Updated last year
- Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python☆2,694Updated 5 years ago
- The Haskell Tool Stack☆3,992Updated this week
- Parsing, analyzing, and comparing source code across many languages☆9,003Updated 5 months ago
- A strongly-typed language that compiles to JavaScript☆8,624Updated 3 months ago
- Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"☆7,239Updated 3 months ago
- The engine for haskell ide-integration. Not an IDE☆2,377Updated 4 years ago
- Defines a common protocol for language servers.☆11,455Updated this week
- DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc☆1,970Updated 2 years ago
- Enso Analytics is a self-service data prep and analysis platform designed for data teams.☆7,386Updated this week
- HTML5/EPUB3 version of SICP☆4,382Updated last year
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,123Updated last year
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,287Updated last month
- Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.☆1,090Updated 3 weeks ago
- Resources for learning and using recursion schemes.☆1,226Updated 8 months ago
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆9,973Updated 10 months ago