Skip to content
Block or Report

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.

Report abuse

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

Report abuse

Popular repositories

  1. cKanren Public

    Constraint programming language embedded in Racket

    Racket 147 31

  2. kraken Public

    Prototype of a new constraint-logic programming language in Racket

    Racket 28 1

  3. IF Public

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


  4. racket Public

    Forked from racket/racket

    The Racket repository

    Racket 1

  5. eopl3 Public

    Forked from mwand/eopl3

    Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

    Scheme 1

  6. om-tools Public

    Forked from plumatic/om-tools

    Tools for building Om applications

    Clojure 1 1

11 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

November 2022

calvis has no activity yet for this period.

Seeing something unexpected? Take a look at the GitHub profile guide.