metareflection/synthesis-class

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Scheme
Created over 1 year ago
Updated 12 months ago

metareflection/synthesis-class

metareflection

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

CS252R Advanced Topics in Programming Languages (Fall 2023)

poof

Prototypes: Object Orientation, Functionally

clpllm

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

llm-mysteries

LLMs to reason about whodunit mysteries

synthesis-scheme

explorations of Scheme synthesis in Scheme

synthesis-scala-bus

Bottom-Up Enumerative Search in Scala

reason-maintenance

Towards a Modern Truth-Maintenance System and Inference Engine

class