DrearyLisper / aoc-2022Links
Solving Advent of Code 2022 in OCaml
☆19Updated last year
Alternatives and similar repositories for aoc-2022
Users that are interested in aoc-2022 are comparing it to the libraries listed below
Sorting:
- Code and materials for my book "Pragmatic Type Level Design"☆141Updated 3 months ago
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆52Updated 6 months ago
- Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples☆117Updated 7 months ago
- Parser Combinators of Monad☆37Updated 4 years ago
- ☆85Updated 3 years ago
- Idris version of Domain Modeling Made Functional Book.☆138Updated 3 years ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆156Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- A collection of awesome Haskell videos. Inspired by awesome projects line.☆45Updated 2 years ago
- Coq Lecture Notes (WIP)☆54Updated 4 years ago
- A course on formal verification at https://compsciclub.ru/en, Spring term 2021☆57Updated 2 years ago
- A visual catalogue + story of morphisms displayed across computational structures.☆125Updated 3 years ago
- It is just my own wiki website. Nothing personal there, so it's public.☆38Updated 6 months ago
- Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]☆48Updated 6 months ago
- Parallel Programming over Domains☆177Updated 3 months ago
- OCaml plus Jane Street extensions☆74Updated last year
- Learn Ocaml by reading code examples☆72Updated 2 years ago
- TypeScript implementations and exercises from Chris Okasaki's book, Purely Functional Data Structures☆10Updated 6 years ago
- ✨ Zero Bullshit Git☆229Updated last year
- The official OCaml website.☆176Updated this week
- Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.☆195Updated 10 months ago
- A simple scheduler for OCaml 5☆110Updated last week
- Teaching language LaMa for a compiler course☆75Updated 2 months ago
- Opam repository for the development version of Jane Street packages☆128Updated last month
- Solutions to OCaml Programming☆85Updated last month
- Just a list of Awesome Alt Langs to check out☆101Updated last year
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Updated 2 years ago
- My slides and compilation of resources.☆154Updated 10 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆135Updated 2 years ago