Skip to content
View keyz's full-sized avatar
🔑
🔑
926 followers · 72 following

Sponsoring

@tekezo

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair Extraordinairex3Achievement: Pull Sharkx4Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Organizations

@reactjs @openai

Block or report keyz

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

7 stars written in Scheme
Clear filter

the-little-prover / j-bob

Scheme 436 66 Updated Feb 8, 2024

akeep / nanopass-framework

The new nanopass framework; an embedded DSL for writing compilers in Scheme

Scheme 324 43 Updated May 1, 2021

jasonhemann / microKanren

The implementation of microKanren, a featherweight relational programming language

Scheme 317 33 Updated Jun 12, 2014

webyrd / quines

Relational interpreter in miniKanren that can generate quines

Scheme 132 14 Updated Jan 29, 2015

miniKanren / TheReasonedSchemer

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.

Scheme 129 24 Updated Feb 5, 2013

jasonhemann / lambdajam2013

Code for the interpreters workshop at Lambda Jam 2013

Scheme 13 1 Updated Sep 24, 2013

webyrd / MU-puzzle

Hofstadter's MU puzzle in miniKanren

Scheme 4 1 Updated Feb 25, 2014