Syllabus and other general course information
Repository Index
87,075 visible repositories in the index
361–377 of 377 · Most stars
Learn Lisp efficiently and become a happy programmer.
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
Exercises for the lecture "Selected Topics in Audio Signal Processing"
📊 🌐 🧑🏫 Website for graduate-level course on program evaluation and causal inference using R, built with Quarto
- causal-inference
- program-evaluation
- quarto
- r
nodeschool curriculum for debugging Node.js
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
An adventure workshop to teach CSS
Course materials for Zurich Initiative for Computational Economics (ZICE) 2014
Security workshop
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!
- serverless
- serverless-framework
- event-gateway
:sparkles: A curated walkthrough to start your journey as a blockchain developer and become an Algorand Pro 0️⃣ -> 🦸🏼♂️
In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.
- swift
- swift3
- playgroundbook
- geometry
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754
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.
Advanced introduction to R in French.