Skip to content
View calvis's full-sized avatar
89 followers · 0 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Block or report calvis

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

Showing results

cisco / ChezScheme

Chez Scheme

Scheme 7,052 993 Updated Feb 27, 2025

jasonhemann / miniKanren

An outdated miniKanren implementation with a not-pairo constraint

Scheme 30 6 Updated Nov 28, 2013

eholk / harlan

A language for GPU computing.

Scheme 1,183 82 Updated Nov 4, 2015

calvis / IF

A paper for POPL's "Off the Beaten Track" workshop about Interactive Fiction

4 Updated Nov 15, 2011

eholk / elegant-weapons

An R6RS framework for creating compilers that target C.

Scheme 113 9 Updated Nov 3, 2015

calvis / cKanren

Constraint programming language embedded in Racket

Racket 153 33 Updated Sep 17, 2021
Showing results