Block or report user
  • miniKanren in the browser

    JavaScript 36 3 Updated Mar 25, 2016
  • Scheme 5 Updated Mar 14, 2016
  • bbs written in Ur/Web

    UrWeb 10 1 Updated Feb 21, 2016
  • Erlang 2 Updated Oct 3, 2015
  • CSS Updated Sep 24, 2015
  • crypto

    Forked from golang/crypto

    [mirror] Go supplementary cryptography libraries

    Go 240 Updated Aug 17, 2015
  • up

    Forked from orchid-hybrid/up

    up

    C 1 Updated Aug 13, 2015
  • Scheme 2 Updated Jul 15, 2015
  • Updated Jul 13, 2015
  • miniKanren in Dylan

    Dylan 4 2 Updated Apr 22, 2015
  • Scheme Updated Mar 10, 2015
  • Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work

    Scheme 1 Updated Mar 6, 2015
  • Assembly Updated Feb 27, 2015
  • microKanren sagittarius

    Scheme 1 Updated Feb 12, 2015
  • Scheme Updated Feb 12, 2015
  • Updated Jan 29, 2015
  • Scheme 1 Updated Dec 7, 2014
  • having another go at autoref

    C 1 Updated Dec 6, 2014
  • JavaScript Updated Nov 9, 2014
  • un

    Forked from orchid-hybrid/un

    uncompressor

    Scheme 1 Updated Nov 4, 2014
  • collection of scheme libraries that I find essential

    Scheme 1 Updated Oct 26, 2014
  • Experiments in Eff

    Racket Updated Oct 5, 2014
  • SF

    Forked from orchid-hybrid/SF

    supreme fascist

    Coq 1 Updated Sep 19, 2014
  • Haskell Updated Sep 10, 2014
  • typhon

    Forked from vic/typhon

    Snakes on rbx-head. A Python implementation for the Rubinius VM

    Ruby 10 Updated Sep 1, 2014
  • 4 1 Updated Aug 5, 2014
  • x86 opcode tester

    1 Updated May 2, 2014
  • irc bot in racket

    Racket Updated Apr 11, 2014
  • succinct BBcode languages in ruby

    Ruby Updated Feb 4, 2012