LuKuangChen/Towards-a-miniKanren-with-fair-search-strategies LuKuangChen/Towards-a-miniKanren-with-fair-search-strategies

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Racket
  • Created almost 6 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
LuKuangChen/Towards-a-miniKanren-with-fair-search-strategies
github

LuKuangChen

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

stacker-on-racket

A notional machine for the SMoL languages
Racket
21
star
2

stacker-2023

A notional machine for the SMoL languages
ReScript
14
star
3

visualize-lambda

Visualize lambda expressions
Racket
7
star
4

vscode-language-bugs

BUGS language support for Visual Studio Code
TypeScript
2
star
5

notebook

An HTML-based notebook
HTML
1
star
6

Learn-LSP

My playground for learning the Language Server Protocol (LSP)
TypeScript
1
star
7

B-expr

An alternative to S-expressions.
Racket
1
star