Skip to content

@metareflection metareflection

All

    Repositories list

    50 repositories

    • poof

      Public
      Prototypes: Object Orientation, Functionally
      Scheme
      •
      Apache License 2.0
      •8•66•2•3•Updated Sep 7, 2026Sep 7, 2026

    • scheme-macros

      Public
      an io.livecode.ch tutorial on Scheme macros
      HTML
      •1•0•0•0•Updated Sep 6, 2026Sep 6, 2026

    • future-of-programming-class

      Public
      Harvard CS2520R Fall 2026
      HTML
      •1•12•1•1•Updated Sep 5, 2026Sep 5, 2026

    • www-harvard

      Public
      HTML
      •1•0•0•0•Updated Aug 15, 2026Aug 15, 2026

    • dafny-re

      Public
      regular expressions in Dafny: from semantics to specialized matchers
      Dafny
      •0•2•0•0•Updated Aug 2, 2026Aug 2, 2026

    • elms

      Public
      Equality-guided Lightweight Modular Staging
      Scala
      •
      MIT License
      •0•3•0•0•Updated Jul 22, 2026Jul 22, 2026

    • elms-koika

      Public
      C
      •
      MIT License
      •0•1•0•0•Updated Jul 18, 2026Jul 18, 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
      •10•151•1•0•Updated Jul 16, 2026Jul 16, 2026

    • formal-disco

      Public
      A framework for scalable, distributed discovery systems.
      verificationdafnyframa-c
      verificationdafnyframa-cverusllmdiscovery-system
      Python
      •1•11•0•1•Updated Jul 8, 2026Jul 8, 2026

    • claimcheck

      Public
      Dafny verifies proofs; claimcheck confirms intent.
      dafnyfact-checkingllm
      dafnyfact-checkingllm
      JavaScript
      •
      MIT License
      •5•29•0•1•Updated Jul 5, 2026Jul 5, 2026

    • www-research

      Public
      HTML
      •3•0•0•0•Updated Jun 30, 2026Jun 30, 2026

    • dafny-lemma-eraser

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

    • dafny-replay-bench

      Public
      Dafny proof benchmark based on dafny-replay
      Dafny
      •
      MIT License
      •1•2•0•0•Updated May 29, 2026May 29, 2026

    • jadeo

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

    • dafny-replay-bench-baselines

      Public
      Baselines for dafny-replay benchmark
      TypeScript
      •0•1•0•0•Updated May 9, 2026May 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•2•0•0•Updated Apr 2, 2026Apr 2, 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•2•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•3•0•0•Updated Mar 22, 2026Mar 22, 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•39•0•0•Updated Mar 9, 2026Mar 9, 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
      •897•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

    • 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.