chshersh / pragmatic-category-theory
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
☆75Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for pragmatic-category-theory
- Code and materials for my book "Pragmatic Type Level Design"☆74Updated this week
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆44Updated 2 months ago
- ☆79Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆124Updated last year
- Interoperable effects based concurrency☆90Updated last week
- Petrol's an OCaml SQL API made to go FAST.☆113Updated last month
- Source material for Algebra-Driven Design☆136Updated 11 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 5 months ago
- Lock-free data structures for multicore OCaml☆202Updated this week
- Learn Ocaml by reading code examples☆69Updated last year
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆42Updated last year
- OCaml version of Category Theory For Programmers☆125Updated 4 years ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆203Updated 7 months ago
- A functional programming language with shell scripting capabilities☆91Updated 2 weeks ago
- ☆59Updated 9 months ago
- ☆38Updated 2 years ago
- Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.☆42Updated 10 months ago
- A simple scheduler for OCaml 5☆93Updated 3 weeks ago
- Software Transactional Memory for OCaml☆109Updated this week
- A dependently typed programming language with direct style effects and linearity☆19Updated 3 months ago
- Template for an ocaml project with modern tooling☆75Updated 3 weeks ago
- Solutions to Advent of Code 2019☆50Updated 4 years ago
- Best practices on how to be efficient with Haskell in production☆93Updated 4 months ago
- Effects libraries in Haskell☆72Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆213Updated last year
- Material for Haskell training☆32Updated last year
- Idris version of Domain Modeling Made Functional Book.☆132Updated 3 years ago
- ☆43Updated last year
- OCaml plus Jane Street extensions☆72Updated 3 months ago
- Render HTML, SVG, MathML, htmx markup from your OCaml app☆160Updated 2 months ago