chshersh / pragmatic-category-theory
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
☆75Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for pragmatic-category-theory
- Code and materials for my book "Pragmatic Type Level Design"☆75Updated this week
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆44Updated 2 months ago
- A functional programming language with shell scripting capabilities☆92Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆70Updated 5 months ago
- ☆79Updated 2 years ago
- A curated list of awesome functional programming jobs.☆35Updated this week
- Source material for Algebra-Driven Design☆137Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- ☆59Updated 10 months ago
- Interoperable effects based concurrency☆93Updated this week
- Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…☆40Updated 10 months ago
- Neural networks using parametric prelenses and Trimbara modules☆31Updated 8 months ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆99Updated last week
- Compositional Representable Executable Machines☆108Updated 3 weeks ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year
- Material for Haskell training☆32Updated last year
- Type inference from scratch - Material for my talk at F(by)19☆63Updated 4 years ago
- Source material for Certainty by Construction☆37Updated 10 months ago
- Learn Ocaml by reading code examples☆69Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆202Updated 8 months ago
- Best practices on how to be efficient with Haskell in production☆93Updated 4 months ago
- Effects libraries in Haskell☆72Updated last year
- A collection of programming languages and type systems.☆33Updated 3 months ago
- A minimal proof checker.☆65Updated 2 months ago
- A simple scheduler for OCaml 5☆93Updated last month
- PureScript crash course targeted at Elm developers☆36Updated 2 months ago
- Software Transactional Memory for OCaml☆109Updated last week
- Parser Combinators of Monad☆32Updated 3 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆69Updated last year
- Let's write some Advent of Code in OCaml☆14Updated 11 months ago