ECE 459: Programming for Performance, Winter 2015
Repository Index
71,372 visible repositories in the index
193–206 of 206 · Most stars
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
📊 🌐 🧑🏫 Website for graduate-level course on program evaluation and causal inference using R, built with Quarto
- causal-inference
- program-evaluation
- quarto
- r
Ready to go Domain-Driven Design workshop.
- spring-boot
- domain-driven-design
- ddd
- sample
Material used for teaching.
Wardley Maps Battle Camp - workshop, rules, cards, materials
- wardley-maps
- market
- gameplay
- workshop
a nodeschool workshop for munging data on the command line
Course materials for Zurich Initiative for Computational Economics (ZICE) 2014
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
Introduction to R for Social Scientists
proof script associated to tutorial material
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
Self guided workshops to teach you about hapi.