Skip to content

@brownplt Brown University PLT

Change the repository type filter

All

    Repositories list

    60 repositories

    • LTLTutor

      Public
      Misconception-based tutor designed to help people learn Linear Temporal Logic.
      logicltltutorlinear-temporal-logicintelligent-tutoring-system
      Python
      •
      GNU General Public License v3.0
      •0•5•4•0•Updated Oct 2, 2024Oct 2, 2024

    • smol-translator

      Public
      Translate SMoL programs to other programming languages
      JavaScript
      •
      MIT License
      •1•2•6•0•Updated Oct 2, 2024Oct 2, 2024

    • smol-translator-app

      Public
      A web app that translate smol programs
      JavaScript
      •
      MIT License
      •0•1•0•0•Updated Sep 18, 2024Sep 18, 2024

    • code.pyret.org

      Public
      Website for serving Pyret to folks.
      JavaScript
      •
      Other
      •45•24•96•20•Updated Sep 17, 2024Sep 17, 2024

    • pyret-lang

      Public
      The Pyret language.
      educationcompilerlanguagepyret
      JavaScript
      •
      Other
      •110•1.1k•418•24•Updated Sep 17, 2024Sep 17, 2024

    • s-expression

      Public
      An S-expression parser written ReScript
      JavaScript
      •
      MIT License
      •0•1•0•0•Updated Sep 5, 2024Sep 5, 2024

    • examplar

      Public
      A Pyret editor for supporting example-first design.
      JavaScript
      •
      Other
      •4•7•5•12•Updated Sep 4, 2024Sep 4, 2024

    • pyret-docs

      Public
      The documentation for Pyret.
      Racket
      •18•9•13•5•Updated Jun 26, 2024Jun 26, 2024

    • pyret-codemirror-mode

      Public
      The Pyret CodeMirror mode, including default CSS, indenting, keyword matching, and syntax highlighting
      JavaScript
      •3•0•2•0•Updated Jun 25, 2024Jun 25, 2024

    • B2T2

      Public
      The Brown Benchmark for Table Types (B2T2)
      TypeScript
      •12•62•6•1•Updated Jun 14, 2024Jun 14, 2024

    • pyret.org

      Public
      The site for pyret.org
      Prolog
      •4•2•6•5•Updated Jan 24, 2024Jan 24, 2024

    • pyret-npm

      Public
      JavaScript
      •
      Apache License 2.0
      •2•4•2•1•Updated Dec 24, 2023Dec 24, 2023

    • cs19-stacker

      Public
      Small-step interpreter for a subset of 2htdp
      Racket
      •
      MIT License
      •1•0•0•1•Updated Sep 12, 2023Sep 12, 2023

    • chaff-gen-artifacts

      Public
      Artifacts for Conceptual Mutation Testing
      Pyret
      •0•1•1•0•Updated May 19, 2023May 19, 2023

    • insta-model

      Public
      TeX
      •0•6•0•0•Updated May 10, 2023May 10, 2023

    • pretty-fast-pretty-printer

      Public
      A simple, linear-time pretty printing library
      JavaScript
      •
      MIT License
      •1•3•1•4•Updated Mar 4, 2023Mar 4, 2023

    • smol-to-others

      Public
      Translate SMoL programs to other programming languages
      Racket
      •
      MIT License
      •0•1•0•0•Updated Dec 18, 2022Dec 18, 2022

    • LambdaJS

      Public archive
      Semantics and tools for JavaScript
      JavaScript
      •
      Other
      •18•90•6•3•Updated Feb 27, 2022Feb 27, 2022

    • flapjax-lang.org

      Public
      JavaScript
      •0•1•1•0•Updated Jul 7, 2020Jul 7, 2020

    • flapjax

      Public archive
      functional reactive programming for JavaScript
      JavaScript
      •
      BSD 3-Clause "New" or "Revised" License
      •12•232•9•1•Updated Nov 28, 2019Nov 28, 2019

    • powder-monkey

      Public
      Utilities for orchestrating massive automated evaluations of Pyret programs.
      JavaScript
      •2•1•0•0•Updated Oct 18, 2018Oct 18, 2018

    • anchor

      Public
      JavaScript
      •
      Other
      •0•1•1•0•Updated Jul 3, 2018Jul 3, 2018

    • Resugarer

      Public
      Lifting Reduction Semantics through Syntactic Sugar
      Racket
      •1•13•0•1•Updated May 13, 2018May 13, 2018

    • judgmental-resugaring

      Public
      Racket
      •
      MIT License
      •0•5•0•0•Updated Apr 17, 2018Apr 17, 2018

    • vscode-language-pyret

      Public
      3•4•3•0•Updated Mar 11, 2018Mar 11, 2018

    • atom-language-pyret

      Public
      Pyret language support for Atom
      1•2•1•1•Updated Dec 11, 2017Dec 11, 2017

    • pyret-pitometer

      Public
      Measuring Pyret performance
      JavaScript
      •1•0•0•0•Updated Sep 4, 2017Sep 4, 2017

    • scope-graph

      Public
      Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.
      Rust
      •0•8•0•0•Updated Aug 3, 2017Aug 3, 2017

    • admiral-edu

      Public
      Captain Teach 2.0
      JavaScript
      •3•6•23•1•Updated Sep 4, 2016Sep 4, 2016

    • ZZZ-captain-teach

      Public archive
      Set sail for Learning Island! Deprecated and no longer maintained
      JavaScript
      •1•5•22•1•Updated Jun 23, 2016Jun 23, 2016