-
midoriKanren Public
Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
-
mediKanren Public
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
-
scheme-primer Public
Interactive Scheme Primer, written in Scheme.
-
webmk Public
miniKanren for interactive tutorials on the web
-
bronze-to-gm-miniKanren Public
From Bronze to GM in miniKanren!
-
-
-
Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
-
Book and code and pointers to videos for my relational interpreter course
-
-
dafny-mcp Public
Forked from namin/dafny-mcpDafny Verifier Tool for the Model Context Protocol, which can be used with Claude
Python MIT License UpdatedJan 19, 2025 -
lambda-world-2024-talk Public
Code for my Lambda World 2024 talk
Scheme MIT License UpdatedOct 5, 2024 -
AbacusSuperC Public
Forked from MyDeveloperThoughts/AbacusSuperCLearn to program C on your Commodore 64 (C64) with Abacus Super C.
UpdatedJul 27, 2024 -
Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc.
-
clpset-miniKanren Public
Forked from namin/clpset-miniKanrenCLP(Set) in miniKanren
Scheme UpdatedMay 26, 2024 -
Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.
-
syntax-case-experiments Public
Trying to become less n00b with hygienic macros, with the help of talented friends.
-
ChezScheme Public
Forked from cisco/ChezSchemeChez Scheme
Scheme Apache License 2.0 UpdatedMay 4, 2024 -
-
imperishable-wonderland Public
An Imperishable Wonderland of Infinite Fun
-
'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd
-
aiKanren Public
Forked from emdonahue/minnaKanrenminiKanren with Variational Inference
Scheme MIT License UpdatedApr 12, 2024 -
soas-quine Public
Forked from fizruk/soas-quineGenerating quines via E-unification for second-order abstact syntax.
Haskell MIT License UpdatedApr 2, 2024 -
-
Scheme-macros Public
Code from the `Scheme macros` episodes of `Will's Guide to Programming Languages, Programming, Computation, and What-Have-You`
-
mkcdcl Public
Forked from michaelballantyne/mkcdclminiKanren with conflict-driven clause learning using a SAT solver
Scheme MIT License UpdatedJan 23, 2024 -
Silice Public
Forked from sylefeb/SiliceSilice is an open source language that simplifies prototyping and writing algorithms on FPGA architectures.
-
am Public
Forked from white-flame/amDouglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
UpdatedJan 3, 2024 -
llm-verified-with-monte-carlo-tree-search Public
Forked from namin/llm-verified-with-monte-carlo-tree-searchLLM verified with Monte Carlo Tree Search
Python UpdatedNov 11, 2023 -
mo Public
Forked from cicada-lang/chimeraTypeScript GNU General Public License v3.0 UpdatedNov 6, 2023
{{ message }}