hmemcpy / milewski-ctfp-pdfLinks
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
☆11,255Updated 2 weeks ago
Alternatives and similar repositories for milewski-ctfp-pdf
Users that are interested in milewski-ctfp-pdf are comparing it to the libraries listed below
Sorting:
- Jargon from the functional programming world in simple terms!☆18,644Updated last year
- What I Wish I Knew When Learning Haskell☆2,586Updated 3 years ago
- Functional Programming Course☆4,192Updated 6 months ago
- Programming Language Theory λΠ☆5,299Updated 6 months ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,386Updated 4 years ago
- A collection of resources for learning type theory and type theory adjacent fields.☆2,313Updated 2 months ago
- A friendly programming language from the future☆6,059Updated this week
- Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com☆1,278Updated 5 months ago
- A modern editor with a backend written in Rust.☆19,823Updated last year
- ☆3,427Updated 4 years ago
- Learn Haskell☆8,003Updated last year
- Class materials for a distributed systems lecture series☆9,188Updated 3 months ago
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,161Updated 2 years ago
- For when people get too hyped up about things☆7,281Updated last year
- Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python☆2,696Updated 5 years ago
- A strongly-typed language that compiles to JavaScript☆8,719Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆5,673Updated 6 months ago
- Specification for interoperability of common algebraic structures in JavaScript☆10,193Updated 7 months ago
- A free book: "The Science of Functional Programming"☆1,445Updated this week
- Maintainable configuration files☆4,333Updated 2 months ago
- HTML5/EPUB3 version of SICP☆4,430Updated 2 years ago
- A command-line benchmarking tool☆25,394Updated last month
- Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"☆7,335Updated 8 months ago
- Curated list of awesome resources on Compilers, Interpreters and Runtimes☆9,296Updated last year
- a structural diff that understands syntax 🟥🟩☆22,420Updated this week
- Blog post previews in need of peer review☆2,198Updated last year
- A library and language for building parsers, interpreters, compilers, etc.☆5,323Updated this week
- A Haskell library that simplifies access to remote data, such as databases or web-based services.☆4,305Updated last month
- Koka language compiler and interpreter☆3,525Updated 3 weeks ago
- A modern commutative diagram editor for the web.☆3,265Updated 3 weeks ago