Skip to content
@metareflection

metareflection

Popular repositories Loading

  1. poof poof Public

    Prototypes: Object Orientation, Functionally

    Racket 43 5

  2. llm-mysteries llm-mysteries Public

    LLMs to reason about whodunit mysteries

    Python 6

  3. dafny-annotator dafny-annotator Public

    AI-assisted verification of Dafny Programs

    Python 6

  4. clpllm clpllm Public

    CLP(LLM) -- using an LLM as a constraint solver

    Python 5

  5. synthesis-scheme synthesis-scheme Public

    explorations of Scheme synthesis in Scheme

    Scheme 4

  6. dolorem-c dolorem-c Public

    Dolorem with a C target

    C 3

Repositories

Showing 10 of 20 repositories
  • vite-react-sse-fastapi Public

    Server-Sent Events: demo with FastAPI server in Python and frontend in React Typescript

    TypeScript 0 0 0 0 Updated Mar 27, 2025
  • poof Public

    Prototypes: Object Orientation, Functionally

    Racket 43 Apache-2.0 5 0 2 Updated Mar 25, 2025
  • www-harvard Public
    HTML 0 0 0 0 Updated Mar 22, 2025
  • webyrd-blog Public
    JavaScript 0 0 0 0 Updated Mar 22, 2025
  • llm-mysteries Public

    LLMs to reason about whodunit mysteries

    Python 6 0 0 0 Updated Feb 27, 2025
  • dafny-annotator Public

    AI-assisted verification of Dafny Programs

    Python 6 MIT 0 0 0 Updated Jan 30, 2025
  • plti-class Public

    Programming Language Theory Implementation Class

    TeX 1 1 0 0 Updated Jan 18, 2025
  • reason-maintenance Public

    Towards a Modern Truth-Maintenance System and Inference Engine

    Python 1 MIT 0 0 0 Updated Jan 18, 2025
  • dolorem-c Public

    Dolorem with a C target

    C 3 0 1 0 Updated Oct 8, 2024
  • synthesis-class Public

    CS252R Advanced Topics in Programming Languages (Fall 2023)

    Scheme 3 1 0 0 Updated Oct 8, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…