Cognitive Engineering Lab

Pinned Repositories

aquascope
Interactive visualizations of Rust at compile-time and run-time
Language:Rust1.8k 17 5041
argus
An IDE extension for debugging trait errors in Rust.
Language:Rust38 2 43
depot
A JS devtool orchestrator
Language:Rust32 3 221
doclang-benchmark
Language:OCaml140
document-calculus
Accompanying materials for "A Core Calculus for Documents"
Language:OCaml28 1 01
mdbook-quiz
Interactive quizzes for Markdown
Language:TypeScript93 5 3116
quizicist
AI-powered quiz generator
Language:Python22 4 35
rust-book
The Rust Programming Language: Experimental Edition
Language:Rust484 12 8979
rust-book-backend
Tools for analyzing data from the Rust Book Experiment
Language:Rust40
rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
Language:Rust128 5 511

Cognitive Engineering Lab's Repositories

cognitive-engineering-lab/aquascope
Interactive visualizations of Rust at compile-time and run-time
Language:Rust1.8k 17 5041
cognitive-engineering-lab/rust-book
The Rust Programming Language: Experimental Edition
Language:Rust484 12 8979
cognitive-engineering-lab/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
Language:Rust128 5 511
cognitive-engineering-lab/mdbook-quiz
Interactive quizzes for Markdown
Language:TypeScript93 5 3116
cognitive-engineering-lab/argus
An IDE extension for debugging trait errors in Rust.
Language:Rust38 2 43
cognitive-engineering-lab/depot
A JS devtool orchestrator
Language:Rust32 3 221
cognitive-engineering-lab/document-calculus
Accompanying materials for "A Core Calculus for Documents"
Language:OCaml28 1 01
cognitive-engineering-lab/quizicist
AI-powered quiz generator
Language:Python22 4 35
cognitive-engineering-lab/doclang-benchmark
Language:OCaml140
cognitive-engineering-lab/rust-book-backend
Tools for analyzing data from the Rust Book Experiment
Language:Rust40
cognitive-engineering-lab/.github
00