@metareflection
Guthub

metareflection

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Org. Rank 141,477 (Top 45 %)
  • Registered almost 5 years ago
  • Most used languages
    Python
         37.5 %
    Scheme
         25.0 %
    Scala
         12.5 %
    HTML
         12.5 %
    Racket
         12.5 %

Top repositories

1

poof

Prototypes: Object Orientation, Functionally
Racket
40
star
2

clpllm

CLP(LLM) -- using an LLM as a constraint solver
Python
5
star
3

llm-mysteries

LLMs to reason about whodunit mysteries
Python
4
star
4

synthesis-scheme

explorations of Scheme synthesis in Scheme
Scheme
4
star
5

synthesis-class

CS252R Advanced Topics in Programming Languages (Fall 2023)
Scheme
3
star
6

synthesis-scala-bus

Bottom-Up Enumerative Search in Scala
Scala
2
star
7

reason-maintenance

Towards a Modern Truth-Maintenance System and Inference Engine
Python
1
star
8

class

HTML
1
star