Repositories list

• dafny-annotator

  Public
  AI-assisted verification of Dafny Programs

  aiverificationsynthesis+ 2dafnyllm

  Python

  •

  MIT License

  •2•15•0•1•Updated Oct 25, 2025Oct 25, 2025

• neurosymbolic-class

  Public
  Neurosymbolic programming class

  HTML

  •0•2•0•0•Updated Oct 23, 2025Oct 23, 2025

• poof

  Public
  Prototypes: Object Orientation, Functionally

  Scheme

  •

  Apache License 2.0

  •6•46•0•3•Updated Oct 22, 2025Oct 22, 2025

• kappybara-mcp

  Public
  Python

  •

  MIT License

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• www-harvard

  Public
  HTML

  •0•0•0•0•Updated Oct 5, 2025Oct 5, 2025

• jadeo

  Public
  functional/relational reflective tower

  schemereflectionminikanren+ 1towers

  Scheme

  •

  MIT License

  •0•8•0•0•Updated Sep 28, 2025Sep 28, 2025

• cs2520r_neurosymbolic_hw

  Public
  Python

  •1•0•0•0•Updated Sep 5, 2025Sep 5, 2025

• metareflection.github.io

  Public
  HTML

  •0•0•0•0•Updated Aug 27, 2025Aug 27, 2025

• www-research

  Public
  HTML

  •2•0•0•0•Updated Aug 5, 2025Aug 5, 2025

• faster-clpset-minikanren

  Public
  A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.

  Scheme

  •

  MIT License

  •40•0•0•0•Updated Jun 21, 2025Jun 21, 2025

• aqua

  Public
  Relational tower of reified environments

  Scheme

  •

  MIT License

  •0•1•0•0•Updated Jun 14, 2025Jun 14, 2025

• lavender

  Public
  reflective tower with reified evaluators

  Scheme

  •

  MIT License

  •0•0•0•0•Updated Jun 11, 2025Jun 11, 2025

• scala3-lms-tutorials

  Public
  Scala

  •0•0•0•0•Updated Jun 1, 2025Jun 1, 2025

• scala3-lms

  Public
  Scala

  •1•3•0•0•Updated Jun 1, 2025Jun 1, 2025

• vite-react-sse-fastapi

  Public
  Server-Sent Events: demo with FastAPI server in Python and frontend in React Typescript

  TypeScript

  •0•1•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

  aitruth-maintenancellm

  Python

  •0•5•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

  pythonsmttruth-maintenance

  Python

  •

  MIT License

  •1•2•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)

  classsynthesisharvard

  Scheme

  •1•2•0•0•Updated Oct 8, 2024Oct 8, 2024

• clpllm

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

  Python

  •2•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

  •285•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

  •40•1•0•0•Updated Apr 12, 2024Apr 12, 2024

• synthesis-scheme

  Public
  explorations of Scheme synthesis in Scheme

  schemesynthesismonte-carlo-tree-search+ 1a-star-search

  Scheme

  •

  MIT License

  •0•9•0•0•Updated Feb 24, 2024Feb 24, 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

  scalasynthesis

  Scala

  •0•1•0•0•Updated Oct 28, 2023Oct 28, 2023