Pinned Repositories
class
clpllm
CLP(LLM) -- using an LLM as a constraint solver
faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
llm-mysteries
LLMs to reason about whodunit mysteries
plti-class
Programming Language Theory Implementation Class
poof
Prototypes: Object Orientation, Functionally
synthesis-class
CS252R Advanced Topics in Programming Languages (Fall 2023)
synthesis-scala-bus
Bottom-Up Enumerative Search in Scala
synthesis-scheme
explorations of Scheme synthesis in Scheme
www-harvard
metareflection's Repositories
metareflection/poof
Prototypes: Object Orientation, Functionally
metareflection/dafny-annotator
AI-assisted verification of Dafny Programs
metareflection/llm-mysteries
LLMs to reason about whodunit mysteries
metareflection/clpllm
CLP(LLM) -- using an LLM as a constraint solver
metareflection/synthesis-scheme
explorations of Scheme synthesis in Scheme
metareflection/synthesis-class
CS252R Advanced Topics in Programming Languages (Fall 2023)
metareflection/dolorem-c
Dolorem with a C target
metareflection/synthesis-scala-bus
Bottom-Up Enumerative Search in Scala
metareflection/class
metareflection/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
metareflection/plti-class
Programming Language Theory Implementation Class
metareflection/reason-maintenance
Towards a Modern Truth-Maintenance System and Inference Engine
metareflection/certified-reasoning
Certified Reasoning with Language Models
metareflection/www-harvard
metareflection/dafny
Dafny is a verification-aware programming language
metareflection/metareflection.github.io
metareflection/ragdoc
RAG over docs
metareflection/www-research