8000 metareflection repositories · GitHub

More Web Proxy on the site http://driver.im/

metareflection

All

23 repositories

scala3-lms-tutorials
Public
Scala
•0•0•0•0•Updated Jun 1, 2025Jun 1, 2025
scala3-lms
Public
Scala
•0•3•0•0•Updated Jun 1, 2025Jun 1, 2025
dafny-annotator
Public
AI-assisted verification of Dafny Programs
ai verification synthesis dafny llm
Python
•
MIT License
•2•9•0•0•Updated Jun 1, 2025Jun 1, 2025
www-harvard
Public
HTML
•0•0•0•0•Updated May 11, 2025May 11, 2025
poof
Public
Prototypes: Object Orientation, Functionally
Racket
•
Apache License 2.0
•6•44•0•3•Updated Apr 25, 2025Apr 25, 2025
neurosymbolic-class
Public
Neurosymbolic programming class
HTML
•0•2•0•0•Updated Apr 13, 2025Apr 13, 2025
vite-react-sse-fastapi
Public
Server-Sent Events: demo with FastAPI server in Python and frontend in React Typescript
TypeScript
•0•0•0•0•Updated Mar 27, 2025Mar 27, 2025
webyrd-blog
Public
JavaScript
•0•0•0•0•Updated Mar 22, 2025Mar 22, 2025
llm-mysteries
Public
LLMs to reason about whodunit mysteries
ai truth-maintenance llm
Python
•0•6•0•0•Updated Feb 27, 2025Feb 27, 2025
plti-class
Public
Programming Language Theory Implementation Class
TeX
•1•1•0•0•Updated Jan 18, 2025Jan 18, 2025
reason-maintenance
Public
Towards a Modern Truth-Maintenance System and Inference Engine
python smt truth-maintenance
Python
•
MIT License
•0•1•0•0•Updated Jan 18, 2025Jan 18, 2025
dolorem-c
Public
Dolorem with a C target
C
•0•3•1•0•Updated Oct 8, 2024Oct 8, 2024
synthesis-class
Public
CS252R Advanced Topics in Programming Languages (Fall 2023)
class synthesis harvard
Scheme
•1•3•0•0•Updated Oct 8, 2024Oct 8, 2024
www-research
Public
HTML
•2•0•0•0•Updated Oct 4, 2024Oct 4, 2024
clpllm
Public
CLP(LLM) -- using an LLM as a constraint solver
Python
•0•5•0•0•Updated Jun 18, 2024Jun 18, 2024
ragdoc
Public
RAG over docs
Python
•
MIT License
•0•0•0•0•Updated Apr 16, 2024Apr 16, 2024
dafny
Public
Dafny is a verification-aware programming language
C#
•
Other
•279•0•0•0•Updated Apr 15, 2024Apr 15, 2024
class
Public
HTML
•0•1•0•0•Updated Apr 15, 2024Apr 15, 2024
faster-minikanren
Public
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
Scheme
•
MIT License
•38•1•0•0•Updated Apr 12, 2024Apr 12, 2024
synthesis-scheme
Public
explorations of Scheme synthesis in Scheme
scheme synthesis monte-carlo-tree-search a-star-search
Scheme
•
MIT License
•0•7•0•0•Updated Feb 24, 2024Feb 24, 2024
metareflection.github.io
Public
HTML
•0•0•0•0•Updated Feb 11, 2024Feb 11, 2024
certified-reasoning
Public
Certified Reasoning with Language Models
Python
•
MIT License
•4•0•0•0•Updated Nov 5, 2023Nov 5, 2023
synthesis-scala-bus
Public
Bottom-Up Enumerative Search in Scala
scala synthesis
Scala
•0•2•0•0•Updated Oct 28, 2023Oct 28, 2023

0