Skip to content

@cognitive-engineering-lab Cognitive Engineering Lab

Change the repository type filter

All

    Repositories list

    16 repositories

    • aquascope

      Public
      Interactive visualizations of Rust at compile-time and run-time
      Rust
      •
      MIT License
      •49•2.2k•25•1•Updated Jan 2, 2025Jan 2, 2025

    • argus

      Public
      An IDE extension for debugging trait errors in Rust.
      Rust
      •
      MIT License
      •3•99•16•0•Updated Jan 2, 2025Jan 2, 2025

    • rust-book

      Public
      The Rust Programming Language: Experimental Edition
      Rust
      •
      Other
      •3.5k•678•68•9•Updated Jan 1, 2025Jan 1, 2025

    • rqst-async

      Public template
      Rust
      •
      MIT License
      •0•2•9•17•Updated Dec 18, 2024Dec 18, 2024

    • repo-quest

      Public
      Learn programming concepts through interactive Github tutorials
      Rust
      •
      Apache License 2.0
      •5•11•7•2•Updated Dec 18, 2024Dec 18, 2024

    • rustc_plugin

      Public
      A framework for writing plugins that integrate with the Rust compiler
      Rust
      •
      MIT License
      •16•136•5•1•Updated Dec 16, 2024Dec 16, 2024

    • wasm-builds

      Public
      CEL projects precompiled for WASM
      Python
      •0•0•0•0•Updated Nov 23, 2024Nov 23, 2024

    • depot

      Public
      A JS devtool orchestrator
      Rust
      •
      MIT License
      •2•39•7•0•Updated Nov 20, 2024Nov 20, 2024

    • mdbook-quiz

      Public
      Interactive quizzes for Markdown
      rustlearningquizmdbook
      TypeScript
      •
      Apache License 2.0
      •23•111•13•1•Updated Oct 1, 2024Oct 1, 2024

    • rqst-test

      Public template
      Rust
      •0•0•3•5•Updated Sep 22, 2024Sep 22, 2024

    • argus-test

      Public
      Test repository for the Argus user study
      Rust
      •0•0•0•0•Updated Sep 11, 2024Sep 11, 2024

    • .github

      Public
      0•0•0•0•Updated Jul 6, 2024Jul 6, 2024

    • document-calculus

      Public
      Accompanying materials for "A Core Calculus for Documents"
      OCaml
      •
      Apache License 2.0
      •2•31•0•0•Updated Oct 5, 2023Oct 5, 2023

    • rust-book-backend

      Public
      Tools for analyzing data from the Rust Book Experiment
      Rust
      •0•4•0•0•Updated Oct 3, 2023Oct 3, 2023

    • doclang-benchmark

      Public
      OCaml
      •
      MIT License
      •0•14•5•0•Updated Jul 6, 2023Jul 6, 2023

    • quizicist

      Public
      AI-powered quiz generator
      Python
      •5•26•1•1•Updated May 17, 2023May 17, 2023