Syllabus and other general course information
Repository Index
61,275 visible repositories in the index
49–55 of 55 · Most stars
Learn Lisp efficiently and become a happy programmer.
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Course materials for Zurich Initiative for Computational Economics (ZICE) 2014
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
mongodb-aggregate-adventure will run through a series of MongoDB aggregation workshops. Starting at a basic aggregation tasks and moving on to more advanced exercises about dealing with aggregation using MongoDB.