Cognitive Engineering Lab

Cognitive Engineering Lab's repositories

Interactive visualizations of Rust at compile-time and run-time

Language:RustMIT1970 18 53

The Rust Programming Language: Experimental Edition

Language:RustNOASSERTION595 14 99

A framework for writing plugins that integrate with the Rust compiler

Language:RustMIT135 4 7

Interactive quizzes for Markdown

Language:TypeScriptApache-2.0100 6 35

An IDE extension for debugging trait errors in Rust.

Language:RustMIT82 2 20

A JS devtool orchestrator

Language:RustMIT35 3 31

Accompanying materials for "A Core Calculus for Documents"

Language:OCamlApache-2.031 10

AI-powered quiz generator

Language:Python24 4 3

Language:OCamlMIT14 2 5

Tools for analyzing data from the Rust Book Experiment

Language:Rust4 20

Language:Racket100

010

Language:Rust000

Language:RustMIT000

000

CEL projects precompiled for WASM

Language:Python000