Skip to content

Instantly share code, notes, and snippets.

@swannodette
swannodette / gist:997140
Created May 28, 2011 19:26
type-inf.clj
(ns logic.y
(:refer-clojure :exclude [== reify inc])
(:use [clojure.core.logic minikanren prelude
nonrel match]))
(defna findo [x l o]
([_ [[?y :- o] . _] _]
(project [x ?y] (== (= x ?y) true)))
([_ [_ . ?c] _] (findo x ?c o)))
@krisleech
krisleech / jsoup.rb
Created October 31, 2011 22:40
Using JSoup in JRuby
require 'java'
require 'stringio'
include Java
mydir = File.expand_path(File.dirname(__FILE__))
require File.join(mydir, 'jsoup-1.6.1.jar')
import "org.jsoup.Jsoup"
import "org.jsoup.safety.Whitelist"
@bmtgoncalves
bmtgoncalves / Joyplot.ipynb
Created May 22, 2022 03:01
Joyplot.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.