Thanks to visit codestin.com
Credit goes to github.com

Skip to content
Change the repository type filter

All

    Repositories list

    • AI-assisted verification of Dafny Programs
      Python
      21501Updated Oct 25, 2025Oct 25, 2025
    • Neurosymbolic programming class
      HTML
      0200Updated Oct 23, 2025Oct 23, 2025
    • poof

      Public
      Prototypes: Object Orientation, Functionally
      Scheme
      64603Updated Oct 22, 2025Oct 22, 2025
    • Python
      0000Updated Oct 22, 2025Oct 22, 2025
    • HTML
      0000Updated Oct 5, 2025Oct 5, 2025
    • jadeo

      Public
      functional/relational reflective tower
      Scheme
      0800Updated Sep 28, 2025Sep 28, 2025
    • Python
      1000Updated Sep 5, 2025Sep 5, 2025
    • HTML
      0000Updated Aug 27, 2025Aug 27, 2025
    • HTML
      2000Updated Aug 5, 2025Aug 5, 2025
    • A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.
      Scheme
      40000Updated Jun 21, 2025Jun 21, 2025
    • aqua

      Public
      Relational tower of reified environments
      Scheme
      0100Updated Jun 14, 2025Jun 14, 2025
    • lavender

      Public
      reflective tower with reified evaluators
      Scheme
      0000Updated Jun 11, 2025Jun 11, 2025
    • Scala
      0000Updated Jun 1, 2025Jun 1, 2025
    • Scala
      1300Updated Jun 1, 2025Jun 1, 2025
    • Server-Sent Events: demo with FastAPI server in Python and frontend in React Typescript
      TypeScript
      0100Updated Mar 27, 2025Mar 27, 2025
    • JavaScript
      0000Updated Mar 22, 2025Mar 22, 2025
    • LLMs to reason about whodunit mysteries
      Python
      0500Updated Feb 27, 2025Feb 27, 2025
    • Programming Language Theory Implementation Class
      TeX
      1100Updated Jan 18, 2025Jan 18, 2025
    • Towards a Modern Truth-Maintenance System and Inference Engine
      Python
      1200Updated Jan 18, 2025Jan 18, 2025
    • dolorem-c

      Public
      Dolorem with a C target
      C
      0310Updated Oct 8, 2024Oct 8, 2024
    • CS252R Advanced Topics in Programming Languages (Fall 2023)
      Scheme
      1200Updated Oct 8, 2024Oct 8, 2024
    • clpllm

      Public
      CLP(LLM) -- using an LLM as a constraint solver
      Python
      2500Updated Jun 18, 2024Jun 18, 2024
    • ragdoc

      Public
      RAG over docs
      Python
      0000Updated Apr 16, 2024Apr 16, 2024
    • dafny

      Public
      Dafny is a verification-aware programming language
      C#
      285000Updated Apr 15, 2024Apr 15, 2024
    • class

      Public
      HTML
      0100Updated Apr 15, 2024Apr 15, 2024
    • A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
      Scheme
      40100Updated Apr 12, 2024Apr 12, 2024
    • explorations of Scheme synthesis in Scheme
      Scheme
      0900Updated Feb 24, 2024Feb 24, 2024
    • Certified Reasoning with Language Models
      Python
      4000Updated Nov 5, 2023Nov 5, 2023
    • Bottom-Up Enumerative Search in Scala
      Scala
      0100Updated Oct 28, 2023Oct 28, 2023