chshersh / pragmatic-category-theory
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
☆115Updated 4 months ago
Alternatives and similar repositories for pragmatic-category-theory
Users that are interested in pragmatic-category-theory are comparing it to the libraries listed below
Sorting:
- Code and materials for my book "Pragmatic Type Level Design"☆128Updated last month
- A hands-on tutorial on the new parallelism features in OCaml 5☆207Updated last year
- Lambda Calculus Core! A collaborative effort at showing how the core of lambda calculus can be implemented in every programming language.☆43Updated 3 months ago
- A functional programming language with shell scripting capabilities☆114Updated 4 months ago
- Interoperable effects based concurrency☆131Updated last week
- 📜 CCL: Categorical Configuration Language, The most elegant configuration language☆216Updated 2 months ago
- OCaml version of Category Theory For Programmers☆132Updated 5 years ago
- Lock-free data structures for multicore OCaml☆246Updated last week
- ☆83Updated 3 years ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆50Updated 4 months ago
- Petrol's an OCaml SQL API made to go FAST.☆121Updated 7 months ago
- A simple scheduler for OCaml 5☆105Updated last month
- A minimal proof checker.☆74Updated 8 months ago
- ☆267Updated 2 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆173Updated 3 years ago
- Learn Ocaml by reading code examples☆73Updated 2 years ago
- Type-safe markup rendering, form validation, and routing for OCaml Dream web framework☆181Updated 2 weeks ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- The Flambda backend project for OCaml☆143Updated this week
- A categorical programming language with effects☆278Updated 2 years ago
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆30Updated 2 months ago
- 🚧 a work in progress effect system for Haskell 🚧☆126Updated last year
- Admiran compiler, library, and examples☆62Updated this week
- Parallel Programming over Domains☆177Updated last month
- ☆219Updated last month
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated last month
- Я - extremely composable embeddable programming language☆54Updated this week
- An automated tutorial to teach you about Haskell!☆171Updated 2 years ago
- Build reactive web interfaces in OCaml.☆74Updated last month
- Template for an ocaml project with modern tooling☆82Updated 3 months ago