Skip to content

@cognitive-engineering-lab Cognitive Engineering Lab

Change the repository type filter

All

    Repositories list

    16 repositories

    • rust-book

      Public
      The Rust Programming Language: Experimental Edition
      Rust
      •
      Other
      •3.4k•591•52•6•Updated Sep 30, 2024Sep 30, 2024

    • mdbook-quiz

      Public
      Interactive quizzes for Markdown
      rustlearningquizmdbook
      TypeScript
      •
      Apache License 2.0
      •21•100•13•1•Updated Sep 29, 2024Sep 29, 2024

    • aquascope

      Public
      Interactive visualizations of Rust at compile-time and run-time
      Rust
      •
      MIT License
      •45•2k•26•1•Updated Sep 29, 2024Sep 29, 2024

    • repo-quest

      Public
      Learn programming concepts through interactive Github tutorials
      Rust
      •
      Apache License 2.0
      •0•1•0•0•Updated Sep 25, 2024Sep 25, 2024

    • rqst-async

      Public template
      Rust
      •
      MIT License
      •0•0•9•17•Updated Sep 22, 2024Sep 22, 2024

    • rqst-test

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

    • argus

      Public
      An IDE extension for debugging trait errors in Rust.
      Rust
      •
      MIT License
      •3•75•9•0•Updated Sep 13, 2024Sep 13, 2024

    • argus-test

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

    • depot

      Public
      A JS devtool orchestrator
      Rust
      •
      MIT License
      •2•35•7•0•Updated Sep 10, 2024Sep 10, 2024

    • wasm-builds

      Public
      CEL projects precompiled for WASM
      Python
      •0•0•0•0•Updated Aug 2, 2024Aug 2, 2024

    • rustc_plugin

      Public
      A framework for writing plugins that integrate with the Rust compiler
      Rust
      •
      MIT License
      •13•135•4•1•Updated Aug 2, 2024Aug 2, 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•24•1•1•Updated May 17, 2023May 17, 2023