Skip to content

@metareflection metareflection

Change the repository type filter

All

    Repositories list

    44 repositories

    • poof

      Public
      Prototypes: Object Orientation, Functionally
      Scheme
      •
      Apache License 2.0
      •8•55•2•3•Updated Apr 22, 2026Apr 22, 2026

    • guardians

      Public
      an implementation of the ideas in Erik Meijer's "Guardians of the Agents: Formal Verification of AI Workflows" (Communications of the ACM, January 2026)
      verificationllm
      verificationllm
      Python
      •
      MIT License
      •2•11•0•0•Updated Apr 9, 2026Apr 9, 2026

    • cotlog

      Public
      experiments in natural language and first-order logic
      Python
      •
      MIT License
      •0•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • dafny2js

      Public
      streamline compilation to JavaScript from Dafny (graduated from dafny-replay)
      C#
      •
      MIT License
      •1•0•0•0•Updated Apr 2, 2026Apr 2, 2026

    • claimcheck

      Public
      Dafny verifies proofs; claimcheck confirms intent.
      dafnyfact-checkingllm
      dafnyfact-checkingllm
      JavaScript
      •
      MIT License
      •2•21•0•0•Updated Mar 27, 2026Mar 27, 2026

    • dolev-yao

      Public
      Lean 4 formalization of the Dolev-Yao attacker model for symbolic cryptographic protocols
      lean4cryptographic-protocols
      lean4cryptographic-protocols
      Lean
      •
      MIT License
      •0•1•0•0•Updated Mar 22, 2026Mar 22, 2026

    • vickrey

      Public
      Lean 4 formalization of strategy-proofness for the Vickrey (second-price sealed-bid) auction
      game-theorylean4
      game-theorylean4
      Lean
      •
      MIT License
      •0•2•0•0•Updated Mar 22, 2026Mar 22, 2026

    • www-harvard

      Public
      HTML
      •1•0•0•0•Updated Mar 11, 2026Mar 11, 2026

    • future-of-programming-class

      Public
      Harvard CS2520R Fall 2026
      HTML
      •0•11•0•0•Updated Mar 11, 2026Mar 11, 2026

    • dafny-replay

      Public
      Verified kernels, written in Dafny and compiled to JavaScript, for correct-by-construction state in interactive web applications
      javascriptreactjsverification
      javascriptreactjsverificationdafnyllm
      TypeScript
      •
      MIT License
      •1•32•0•0•Updated Mar 9, 2026Mar 9, 2026

    • jadeo

      Public
      functional/relational reflective tower
      schemereflectionminikanren
      schemereflectionminikanrentowers
      Scheme
      •
      MIT License
      •1•9•0•0•Updated Feb 17, 2026Feb 17, 2026

    • henri

      Public
      a small, hackable agent CLI in Python, with explicit control via tools, permissions, and hooks
      cliaiai-agents
      cliaiai-agentsllm
      Python
      •
      MIT License
      •4•14•0•0•Updated Feb 11, 2026Feb 11, 2026

    • rlm

      Public
      General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.
      Python
      •
      MIT License
      •688•0•0•0•Updated Feb 4, 2026Feb 4, 2026

    • dafny-tasker

      Public
      dafnytraining-data
      dafnytraining-data
      Python
      •
      MIT License
      •1•0•0•0•Updated Jan 18, 2026Jan 18, 2026

    • dafny-replay-bench

      Public
      Dafny proof benchmark based on dafny-replay
      Dafny
      •
      MIT License
      •1•1•0•0•Updated Jan 15, 2026Jan 15, 2026

    • dafny-lemma-eraser

      Public
      erase Dafny lemma bodies and helpers to create proof benchmarks
      Python
      •1•0•0•0•Updated Jan 15, 2026Jan 15, 2026

    • neurosymbolic-class

      Public
      Neurosymbolic programming class
      HTML
      •1•3•0•0•Updated Nov 20, 2025Nov 20, 2025

    • dafny-poetry

      Public
      dafnyllmproofsketcher
      dafnyllmproofsketcher
      Python
      •
      MIT License
      •1•0•0•0•Updated Nov 10, 2025Nov 10, 2025

    • dafny-annotator

      Public
      AI-assisted verification of Dafny Programs
      aiverificationsynthesis
      aiverificationsynthesisdafnyllm
      Python
      •
      MIT License
      •4•20•0•0•Updated Nov 9, 2025Nov 9, 2025

    • dafny-admitter

      Public
      dafnyproofsketcher
      dafnyproofsketcher
      Python
      •
      MIT License
      •1•0•0•0•Updated Oct 28, 2025Oct 28, 2025

    • kappybara-mcp

      Public
      Python
      •
      MIT License
      •1•0•0•0•Updated Oct 22, 2025Oct 22, 2025

    • cs2520r_neurosymbolic_hw

      Public
      Python
      •2•0•0•0•Updated Sep 5, 2025Sep 5, 2025

    • metareflection.github.io

      Public
      HTML
      •1•0•0•0•Updated Aug 27, 2025Aug 27, 2025

    • www-research

      Public
      HTML
      •3•0•0•0•Updated Aug 5, 2025Aug 5, 2025

    • faster-clpset-minikanren

      Public
      A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.
      Scheme
      •
      MIT License
      •41•0•0•0•Updated Jun 21, 2025Jun 21, 2025

    • aqua

      Public
      Relational tower of reified environments
      Scheme
      •
      MIT License
      •1•1•0•0•Updated Jun 14, 2025Jun 14, 2025

    • lavender

      Public
      reflective tower with reified evaluators
      Scheme
      •
      MIT License
      •1•0•0•0•Updated Jun 11, 2025Jun 11, 2025

    • scala3-lms-tutorials

      Public
      Scala
      •1•0•0•0•Updated Jun 1, 2025Jun 1, 2025

    • scala3-lms

      Public
      Scala
      •2•4•0•0•Updated Jun 1, 2025Jun 1, 2025

    • vite-react-sse-fastapi

      Public
      Server-Sent Events: demo with FastAPI server in Python and frontend in React Typescript
      TypeScript
      •1•1•0•0•Updated Mar 27, 2025Mar 27, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.